J-ReCoVer: Java Reducer Commutativity Verifier
No abstract available.
Related papers
- Commutativity of Reducers TACAS 2015
- The anchor verifier for blocking and non-blocking concurrent software OOPSLA 2020
- Verification of semantic commutativity conditions and inverse operations on linked data structures PLDI 2011
- The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach CAV 2016
- Transactional Data Structures with Orthogonal Metadata PPoPP 2025
- The lambda-calculus with constructors: Syntax, confluence and separation JFP 2009
- Automatic scalable atomicity via semantic locking PPoPP 2015
- CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI 2023