A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
No abstract available.
Related papers
- Mostly static program partitioning of binary executables TOPLAS 2009
- Refining semantics for multi-stage programming GPCE 2017
- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned CAV 2024
- Improving implicit parallelism Haskell 2015
- GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks CGO 2025
- Artemis: practical runtime monitoring of applications for execution anomalies PLDI 2006
- Automatic adaptive approximation for stencil computations CC 2019
- Partially Evaluating Finite-State Runtime Monitors Ahead of Time TOPLAS 2012