Static Analysis in the Continuously Changing World
Abstract elided by the publisher.
Related papers
- Continuously reasoning about programs using differential Bayesian inference PLDI 2019
- On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability POPL 2024
- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages ESOP 2024
- RacerD: compositional static race detection OOPSLA 2018
- Continuity analysis of programs POPL 2010
- D4: fast concurrency debugging with parallel differential analysis PLDI 2018
- Rethinking Static Analysis by Combining Discrete and Continuous Reasoning SAS 2019
- Language Support for Changeable Large Real Time Systems OOPSLA 1986