Scalable Timing Analysis with Refinement
No abstract available.
Related papers
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks CAV 2020
- Intensional datatype refinement: with application to scalable verification of pattern-match safety POPL 2021
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- A scalable distance-1 vertex coloring algorithm for power-law graphs PPoPP 2018
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- A modular cost analysis for probabilistic programs OOPSLA 2020
- Modular Refinement of Hierarchic Reactive Machines POPL 2000