Freeze after writing, quasi-deterministic parallel programming with LVars

DOI10.1145/2535838.2535842MaRDI QIDQ5408423zbMATH OpenOpenAlexFDO

Authors Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2535838.2535842

zbMATH Keywords

deterministic parallelismlatticesquasi-determinism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)

Recommendations

• Safe nondeterminism in a deterministic-by-default parallel language
• Toward a formal semantic framework for deterministic parallel programming
• A type and effect system for determinism in multithreaded programs
• scientific article; zbMATH DE number 756078
• scientific article; zbMATH DE number 4001452

Cited in

(3)

• Vats: a safe, reactive storage abstraction
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Transparent fault tolerance for scalable functional computation

Describes a project that uses

Uses Software

• Haskell
• PLT Redex

This page was built for publication: Freeze after writing, quasi-deterministic parallel programming with LVars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408423)