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 |