The Library
Graded monads and type-level programming for dependence analysis
Tools
Keating, Finnbar and Gale, Michael B. (2021) Graded monads and type-level programming for dependence analysis. In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell pp. 27-40. ISBN 9781450386159. doi:10.1145/3471874.3472981
|
PDF
WRAP-Graded-monads-type-level-programming-dependence-analysis-2021.pdf - Accepted Version - Requires a PDF viewer. Download (679Kb) | Preview |
Official URL: https://doi.org/10.1145/3471874.3472981
Abstract
Programmers make assumptions about the order of memory operations, which are not captured in the operations' types and therefore cannot be enforced statically by a compiler. This can lead programmers to accidentally violate those assumptions if they are not careful. To address this issue, we encode the memory locations that are accessed by a given computation using a graded monad. We use the data flow dependencies which arise from this to construct a type-level graph that we analyse to automatically order the computations so that no dependencies are violated. This also allows for computations which have no dependencies on each other to be run concurrently.
Item Type: | Conference Item (Paper) | ||||||||
---|---|---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||||
Library of Congress Subject Headings (LCSH): | Compilers (Computer programs), Computer programming, Software engineering, Programming languages (Electronic computers), Computer software | ||||||||
Journal or Publication Title: | Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell | ||||||||
Publisher: | ACM | ||||||||
ISBN: | 9781450386159 | ||||||||
Official Date: | August 2021 | ||||||||
Dates: |
|
||||||||
Page Range: | pp. 27-40 | ||||||||
DOI: | 10.1145/3471874.3472981 | ||||||||
Status: | Peer Reviewed | ||||||||
Publication Status: | Published | ||||||||
Reuse Statement (publisher, data, author rights): | "© ACM, 2021. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell 27-40 http://doi.acm.org/10.1145/3471874.3472981 | ||||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||||
Date of first compliant deposit: | 14 July 2021 | ||||||||
Date of first compliant Open Access: | 7 June 2022 | ||||||||
RIOXX Funder/Project Grant: |
|
||||||||
Conference Paper Type: | Paper | ||||||||
Title of Event: | 14th ACM SIGPLAN International Haskell Symposium | ||||||||
Type of Event: | Conference | ||||||||
Location of Event: | Virtual conference | ||||||||
Date(s) of Event: | 26-27 Aug 2021 | ||||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year