A Scalable Memory Model for Low-Level Code
No abstract available.
Related papers
- A case study in top-down performance estimation for a large-scale parallel application PPoPP 2006
- Reconciling high-level optimizations and low-level code in LLVM OOPSLA 2018
- SATCheck: SAT-directed stateless model checking for SC and TSO OOPSLA 2015
- Checking Concurrent Data Structures Under the C/C++11 Memory Model PPoPP 2017
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- A Practical Approach for Model Checking C/C++11 Code TOPLAS 2016
- CDSchecker: checking concurrent data structures written with C/C++ atomics OOPSLA 2013
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026