Main »

Publications

Wiki Help

Login

edit SideBar

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]
Page last modified on July 21, 2008, at 03:23 PM

Edit - History - Print - Recent Changes (All) - Search

Warning: fopen(wiki.d/.flock): failed to open stream: Permission denied in /var/www/local/ivy.cs.berkeley.edu/ivywiki/pmwiki.php on line 417

PmWiki can't process your request

Cannot acquire lockfile

We are sorry for any inconvenience.

Warning: fopen(wiki.d/.flock): failed to open stream: Permission denied in /var/www/local/ivy.cs.berkeley.edu/ivywiki/pmwiki.php on line 417

PmWiki can't process your request

Cannot acquire lockfile

We are sorry for any inconvenience.