Modular Software Fault Isolation as Abstract Interpretation
No abstract available.
DOI 10.1007/978-3-319-99725-4_12
Related papers
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- Efficient and Language-Independent Mobile Programs PLDI 1996
- Compiling Sandboxes: Formally Verified Software Fault Isolation ESOP 2019
- Speculations: providing fault-tolerance and improving performance of parallel applications PPoPP 2007
- Error Invariants for Fault Localization via Abstract Interpretation SAS 2023
- Using Abstract Interpretation to Correct Synchronization Faults VMCAI 2017
- Stabilizers: a modular checkpointing abstraction for concurrent functional programs ICFP 2006
- Instrumentation and sampling strategies for cooperative concurrency bug isolation OOPSLA 2010