Latest
- 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