Preemption Sealing for Efficient Concurrency Testing
Abstract elided by the publisher.
Related papers
- Stateless model checking with data-race preemption points OOPSLA 2016
- Concurrency testing using schedule bounding: an empirical study PPoPP 2014
- JavaScript Sealed Classes ECOOP 2022
- Bounded partial-order reduction OOPSLA 2013
- HipHop.js: (A)Synchronous reactive web programming PLDI 2020
- Preemption-aware planning on big-data systems PPoPP 2016
- Reconciling Preemption Bounding with DPOR TACAS 2023
- Sealing, Encapsulation, and Mutability ECOOP 2001