Litmus: Running Tests against Hardware
Abstract elided by the publisher.
Related papers
- The semantics of shared memory in Intel CPU/FPGA systems OOPSLA 2021
- Modelling the ARMv8 architecture, operationally: concurrency and ISA POPL 2016
- Generating Litmus Tests for Contrasting Memory Consistency Models CAV 2010
- Synthesizing memory models from framework sketches and Litmus tests PLDI 2017
- Specifying and testing GPU workgroup progress models OOPSLA 2021
- Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures OOPSLA 2024
- Reconciling Event Structures with Modern Multiprocessors ECOOP 2020
- Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models CAV 2021