SAFECode Publications
-
Efficiently Detecting All Dangling Pointer Uses in Production Servers
Dinakar Dhurjati and Vikram Adve.
International Conference on Dependable Systems and Networks (DSN), 2006
-
SAFECode: Enforcing Alias Analysis for Weakly Typed Languages
Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve.
ACM SIGPLAN Conference on Programming Language Design and
Implementation (PLDI), June 2006
-
Backwards-Compatible Array Bounds Checking for C with Very Low Overhead
Dinakar Dhurjati and Vikram Adve.
International Conference on Software Engineering (ICSE), May 2006
-
Enforcing Alias Analysis for Weakly Typed Languages
Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve.
Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., University of Illinois, Nov 2005
-
Memory Safety Without Garbage Collection for Embedded Applications
Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
ACM Transactions in Embedded Computing Systems (TECS) ,
February 2005.
-
Memory Safety without Runtime Checks or Garbage Collection for Embedded
Systems
Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
Languages Compilers and Tools for Embedded Systems (LCTES), June 2003.
-
Ensuring Code Safety without Runtime Checks for Real Time Control
Systems
Sumant Kowshik, Dinakar Dhurjati, Vikram Adve.
Internaltional Conference on Compilers, Architecture and Synthesis for
Embedded Systems (CASES), October 2002.
Related Publications
-
Memory Safety for Low-Level Software/Hardware Interactions
John Criswell, Nicolas Geoffray, and Vikram Adve
Proceedings of the Eighteenth USENIX Security Symposium,
Montreal, Canada, August 2009.
-
Secure Virtual Architecture: A Safe Execution Environment for Commodity
Operating Systems
John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve
Proceedings of the Twenty First ACM Symposium on Operating Systems
Principles (SOSP '07), Stevenson, WA, October 2007.
Received an SOSP 2007 Audience Choice Award.
-
A Virtual Instruction Set
Interface for Operating System Kernels
John Criswell, Brent Monroe, and Vikram Adve.
Workshop on the Interaction between Operating Systems and Computer
Architecture (WIOSCA '06), Boston, Massachusetts, 2006.