Publications tagged "races"

Journal, Conference, and Workshop Papers

2011

Locksmith: Practical Static Race Detection for C
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
ACM Transactions on Programming Languages and Systems (TOPLAS), 33(1):3:1–3:55, January 2011.
tags: analysis, races
[ bibtex | doi ]

2009

Triaging Checklists: a Substitute for a PhD in Static Analysis
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal
In Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), Orlando, Florida, October 2009.
tags: analysis, races, usability
[ bibtex ]

2008

Path Projection for User-Centered Static Analysis Tools
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal
In Program Analysis for Software Tools and Engineering (PASTE), pages 57–63, Atlanta, Georgia, November 2008.
tags: analysis, races, usability
[ bibtex | doi ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 37–49, San Francisco, USA, January 2008.
tags: analysis, dsu, races, types
[ bibtex | doi ]

2006

Locksmith: Context-Sensitive Correlation Analysis for Race Detection
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 320–331, Ottawa, Canada, June 2006.
tags: analysis, races
[ bibtex | doi ]

Lock Inference for Atomic Sections
Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
In First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, Ottawa, Canada, June 2006.
tags: analysis, races
[ bibtex ]

Technical Reports

Path Projection for User-Centered Static Analysis Tools
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal
Technical Report CS-TR-4919, Computer Science Department, University of Maryland, College Park, August 2008.
tags: analysis, races, usability
[ bibtex | doi ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
Technical Report CS-TR-4920, Computer Science Department, University of Maryland, College Park, November 2007.
tags: analysis, dsu, races, types
[ bibtex | doi ]

Locksmith: Context-Sensitive Correlation Analysis for Race Detection
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
Technical Report CS-TR-4789, Computer Science Department, University of Maryland, College Park, June 2006.
tags: analysis, races
[ bibtex | doi ]