About

I’m a recent graduate with a Ph.D. in Computer Science from UIUC, where I worked with Vikram Adve on 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

Guided Linking: Dynamic Linking without the Costs”

Authors:Sean Bartell, Will Dietz, and Vikram Adve
Published:Proc. of the 2020 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA‘20)
Where:Virtual
Links:[DOI] [OOPSLA Page]

Aligning Intent and Behavior in Software Systems: How Programs Communicate & their Distribution and Organization”

Authors:Will Dietz
Published:Ph.D. Dissertation, UIUC, 2020
Links:[IDEALS] [PDF]

Software Multiplexing: Share Your Libraries and Statically Link Them Too”

Authors:Will Dietz and Vikram Adve
Published:Proc. of the 2018 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA‘18)
Where:Boston, Massachusetts
Links:[PDF] [DOI]

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] [Slides]
Other:Awarded an ACM SIGSOFT Distinguished Paper Award