The Correctness of Set-Sharing
No abstract available.
Related papers
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- Efficient and Correct Execution of Parallel Programs that Share Memory TOPLAS 1988
- Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems CAV 2020
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- An optimizing compiler for GPGPU programs with input-data sharing PPoPP 2010
- Versioned E-Graphs PLDI 2026
- A Non-Deterministic Call-by-Need Lambda Calculus ICFP 1998
- Set-Sharing is Redundant for Pair-Sharing SAS 1997