Locksmith - Publications

Papers

Locksmith: Practical Static Race Detection for C .
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
In ACM Transactions on Programming Languages and Systems (TOPLAS).
January 2011. bib Abstract
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