Constraint-Based Inter-Procedural Analysis of Parallel Programs
Abstract elided by the publisher.
Related papers
- May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization SAS 2015
- On inter-procedural analysis of programs with lists and data PLDI 2011
- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis TACAS 2023
- Incremental Algorithms for Inter-procedural Analysis of Safety Properties CAV 2005
- Scaling Inter-procedural Dataflow Analysis on the Cloud TOPLAS 2026
- The road not taken: exploring alias analysis based optimizations missed by the compiler OOPSLA 2022
- GPU-accelerated fixpoint algorithms for faster compiler analyses CC 2019
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025