Publications

Ivy papers:

• SharC: Checking Data Sharing Strategies for Multithreaded C, Zachary Anderson, Rob Ennals, David Gay and Eric Brewer. PLDI'08: ACM SIGPLAN Conference on Programming Language Design and Implementation, Tucson, Arizona, June 2008. [PDF]
• Safe Manual Memory Management, David Gay, Rob Ennals, and Eric Brewer. ISMM'07: ACM SIGPLAN International Symposium on Memory Management, Montreal, Canada, October 2007. [PDF]
• Beyond Bug-Finding: Sound Program Analysis for Linux, Zachary Anderson, Eric Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George Necula, and Feng Zhou. HotOS XI: Workshop on Hot Topics in Operating Systems, San Diego, California, May 2007. [PDF]
• Multi-Language Synchronization, Rob Ennals and David Gay. ESOP'07: European Symposim on Programming, Braga, Portugal, March-April 2007. [PDF]
• Dependent Types for Low-Level Programming, Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, and George Necula. ESOP'07: European Symposim on Programming, Braga, Portugal, March-April 2007. [PDF]
• SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques, Feng Zhou, Jeremy Condit, Zachary Anderson, Illya Bagrak, Rob Ennals, Matthew Harren, George Necula, and Eric Brewer. OSDI'06: Operating Systems Design and Implementation [PDF]
• ASTEC: A New Approach to Refactoring C, Bill McCloskey and Eric Brewer. FSE 2005. [PDF]
• Autolocker: Synchronization Inference for Atomic Sections, Bill McCloskey, Feng Zhou, David Gay and Eric Brewer. POPL'06: ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, January 2006. [PDF]
• Thirty Years is Long Enough: Getting Beyond C, Eric Brewer, Jeremy Condit, Bill McCloskey, and Feng Zhou. HotOS 2005 [PDF]

Papers using Ivy:

• Efficient Memory Safety for TinyOS, Nathan Cooprider, Will Archer, Eric Eide, David Gay and John Regehr Sensys'07: ACM International Conference on Embedded Networked Sensor Systems, Sydney, Australia, November 2007. [PDF]