Rethinking Static Analysis by Combining Discrete and Continuous Reasoning
Abstract elided by the publisher.
Related papers
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- Scripted signal functions Haskell 2020
- Rethinking compilers in the rise of machine learning and AI (keynote) CC 2018
- Bit Blasting Probabilistic Programs PLDI 2024
- Hyperstream processing systems: nonstandard modeling of continuous-time signals POPL 2013
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Reasoning about Continuations with Control Effects PLDI 1989