Papers

• Locksmith: Practical Static Race Detection for C
  Polyvios Pratikakis, Jeffrey S. Foster and Michael Hicks.
  ACM Transactions on Programming Languages and Systems (TOPLAS)
  March 2010. Accepted for publication. bib
• Formalizing Soundness of Contextual Effects
  Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks and Iulian Neamtiu.
  Theorem Proving in Higher Order Logics (TPHOLs'08)
  August 2008. bib
• Type-preserving Compilation for Large-scale Optimizing Object-Oriented Compilers
  Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee and Polyvios Pratikakis.
  In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 183-192, Tucson, AZ, USA.
  June 2008. bib
• Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
  Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis.
  In Proceedings of the ACM Conference on Principles of Programming Languages (POPL), pages 37-50, San Francisco, CA, USA.
  January 2008. bib
• Existential Label Flow Inference via CFL Reachability.
  Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
  Static Analysis Symposium (SAS), Seoul, Korea.
  August 2006. bib
• 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
• 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
• Transparent Proxies for Java Futures.
  Polyvios Pratikakis, Jaime Spacco, and Michael Hicks.
  In Proceedings of the ACM Conference on Object-Oriented Programming Languages, Systems, and Appilcations (OOPSLA), Vancouver, Canada.
  October 2004. bib

Technical Reports

• Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
  Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis.
  Technical Report CS-TR-4920, Department of Computer Science, University of Maryland, 2007. bib
• Context-sensitive Correlation Analysis for Detecting Races
  Polyvios Pratikakis, Jeffrey S. Foster and Michael Hicks.
  Technical Report CS-TR-4789, Department of Computer Science, University of Maryland, April 2006. bib
• Existential Label Flow Inference via CFL Reachability.
  Polyvios Pratikakis, Michael Hicks, and Jeffrey S. Foster.
  Technical Report CS-TR-4700, Department of Computer Science, University of Maryland, July 2005. bib
• Transparent Proxies for Java Futures.
  Polyvios Pratikakis, Jaime Spacco and Michael Hicks.
  Technical Report CS-TR-4574, Department of Computer Science, University of Maryland, October 2004. bib