Locksmith - Publications

Papers

Existential Label Flow Inference via CFL Reachability.
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
In Proceedings of the Static Analysis Symposium (SAS).
August 2006. bib Abstract
Context-sensitive Correlation Analysis for Detecting Races.
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks,
In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), Ottawa, Canada.
June 2006. bib Abstract
Lock Inference for Atomic Sections.
Michael Hicks, Jeffrey S. Foster and Polyvios Pratikakis.
In Informal Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT), Ottawa, Canada.
June, 2006. bib Abstract

Context-sensitive Correlation Analysis for Detecting Races.
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks,
Technical Report. bib
Existential Label Flow Inference via CFL Reachability.
Polyvios Pratikakis, Michael Hicks, and Jeffrey S. Foster
Technical Report. bib