Java Memory Model-Aware Model Checking
No abstract available.
Related papers
- Java and the Java Memory Model - A Unified, Machine-Checked Formalisation ESOP 2012
- Verification of MPI Java programs using software model checking PPoPP 2016
- Making the java memory model safe TOPLAS 2013
- jMT: Testing Correctness of Java Memory Models TACAS 2026
- Resource aware programming TOPLAS 2005
- Effective lock handling in stateless model checking OOPSLA 2019
- MemSAT: checking axiomatic specifications of memory models PLDI 2010
- POSTER: Pattern-Aware Sparse Communication for Scalable Recommendation Model Training PPoPP 2024