Latest
- Efficient Decrease-And-Conquer Linearizability Monitoring
- Efficient Timestamping for Sampling-Based Race Detection
- Program Skeletons for Automated Program Translation
- Selectively Uniform Concurrency Testing
- The Decision Problem for Regular First-Order Theories
- Greybox Fuzzing for Concurrency Testing
- Predictive Monitoring with Strong Trace Prefixes
- A faster FPRAS for #NFA
- Optimistic Prediction of Synchronization-Reversal Data Races
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
- Coarser Equivalences for Causal Concurrency
- How Hard Is Weak-Memory Testing?
- Predictive Monitoring against Pattern Regular Languages