Relational Analysis of Correlation
Abstract elided by the publisher.
Related papers
- Inferring frame conditions with static correlation analysis POPL 2019
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis ICFP 2016
- Probabilistic Inference for Datalog with Correlated Inputs OOPSLA 2025
- Abstract Transformers for Thread Correlation Analysis APLAS 2009
- Precise Data Flow Analysis in the Presence of Correlated Method Calls SAS 2015
- Correlation Tracking for Points-To Analysis of JavaScript ECOOP 2012
- The LOFAR correlator: implementation and performance analysis PPoPP 2010
- Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs ECOOP 2021