Guided Static Analysis
No abstract available.
Related papers
- Synthesizing Imperative Programs from Examples Guided by Static Analysis SAS 2017
- Profile-guided static typing for dynamic scripting languages OOPSLA 2009
- Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation CGO 2019
- User-guided program reasoning using Bayesian inference PLDI 2018
- Abstraction refinement guided by a learnt probabilistic model POPL 2016
- Generalized profile-guided iterator recognition CC 2018
- Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language ISMM 2004
- Software Model Checking via Summary-Guided Search OOPSLA 2025