Positive Sharing and Abstract Machines
Abstract elided by the publisher.
Related papers
- A Type Based Sharing Analysis for Update Avoidance and Optimisation ICFP 1998
- SHERIFF: precise detection and automatic mitigation of false sharing OOPSLA 2011
- Deriving a Lazy Abstract Machine JFP 1997
- A simple and efficient implementation of strong call by need by an abstract machine JFP 2026
- A simple and efficient implementation of strong call by need by an abstract machine ICFP 2022
- A systematic derivation of the STG machine verified in Coq Haskell 2010
- PAEAN: Portable and scalable runtime support for parallel Haskell dialects JFP 2016
- Position Paper on Optimizing Compilers POPL 1981