Online Efficient Predictive Safety Analysis of Multithreaded Programs
Abstract elided by the publisher.
Related papers
- Maple: a coverage-driven testing tool for multithreaded programs OOPSLA 2012
- Partial Online Cycle Elimination in Inclusion Constraint Graphs PLDI 1998
- PLUM: static parallel program locality analysis under uniform multiplexing PPoPP 2020
- Sound Dynamic Deadlock Prediction in Linear Time PLDI 2023
- Shallow embedding of DSLs via online partial evaluation GPCE 2015
- A Widening Approach to Multithreaded Program Verification TOPLAS 2014
- Casts and costs: harmonizing safety and performance in gradual typing ICFP 2018
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption CAV 2022