About

I’m a Ph.D student at UIUC, studying Computer Science under Vikram Adve with high-level interests of Compilers and Systems.

Research Interests

  • Integer Overflows
  • Static and Dynamic Information Flow
  • Dynamic Binary Rewriting, Translation
  • JIT Compilation, Adaptive Compilation
  • Compiler-based security techniques
  • Virtualization Technologies
  • Program Analysis (esp C/C++)
  • Operating System Design

Publications

Understanding Integer Overflow in C/C++”

Authors:Will Dietz, Peng Li, John Regehr, and Vikram Adve
Published:ACM Transactions on Software Engineering and Methodology Volume 25 Issue 1, December 2015 (TOSEM 25 Issue 1)
Other:Updated and expanded version of our ICSE‘12 paper.
Links:[PDF] [DOI]

Slipstream: Automatic Interprocess Communication Optimization”

Authors:Will Dietz, Joshua Cranmer, Nathan Dautenhahn, Vikram Adve
Published:Proc. of the 2015 USENIX Annual Technical Conference (USENIX ATC 15)
Where:Santa Clara, CA
Links:[WWW] [PDF] [USENIX Page]

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation”

Authors:Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram Adve
Published:Proc. of the 2015 International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS‘15)
Where:Istanbul, Turkey
Links:[WWW] [PDF] [DOI]

Understanding Integer Overflow in C/C++”

Authors:Will Dietz, Peng Li, John Regehr, and Vikram Adve
Published:Proc. of the 2012 International Conference on Software Engineering (ICSE‘12)
Where:Zurich, Switzerland
Links:[PDF] [IOC (Integer Overflow Checker)] [LLVM Publication Page]
Other:Awarded an ACM SIGSOFT Distinguished Paper Award