Abstract Transformers for Thread Correlation Analysis
No abstract available.
Related papers
- LOCKSMITH: context-sensitive correlation analysis for race detection PLDI 2006
- Inferring frame conditions with static correlation analysis POPL 2019
- Interprocedural Conditional Branch Elimination PLDI 1997
- Static correlated branch prediction TOPLAS 1999
- Relational Analysis of Correlation SAS 2008
- 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