SAFECode and SVA Publications

• KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
  John Criswell, Nathan Dautenhahn, and Vikram Adve
  Proceedings of the Thirty Fifth IEEE Symposium on Security and Privacy (Oakland '14), San Jose, CA, May 2014.


• Virtual Ghost: Protecting Applications from Hostile Operating Systems
  John Criswell, Nathan Dautenhahn, and Vikram Adve
  Proceedings of the Nineteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '14), Salt Lake City, UT, March 2014.


• 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.


• Recovery Domains: An Organizing Principle for Recoverable Operating Systems
  Andrew Lenharth, Samuel T. King, and and Vikram Adve
  Proceedings of the Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Washington, D.C., March 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.
  

• 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.
  International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), October 2002.