Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
No abstract available.
Related papers
- Synthesis of ranking functions using extremal counterexamples PLDI 2015
- May-happen-in-parallel analysis with static vector clocks CGO 2018
- Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols OOPSLA 2023
- Partial Online Cycle Elimination in Inclusion Constraint Graphs PLDI 1998
- Efficient Reflection String Analysis via Graph Coloring ECOOP 2018
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Design and implementation of sparse global analyses for C-like languages PLDI 2012
- Global Guidance for Local Generalization in Model Checking CAV 2020