Understanding integer overflow in C/C++ W Dietz, P Li, J Regehr, V Adve Proceedings of the 34th International Conference on Software Engineering …, 2012 | 269 | 2012 |
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation N Dautenhahn, T Kasampalis, W Dietz, J Criswell, V Adve Proceedings of the Twentieth International Conference on Architectural …, 2015 | 194 | 2015 |
Software multiplexing: share your libraries and statically link them too W Dietz, V Adve Proceedings of the ACM on Programming Languages 2 (OOPSLA), 154, 2018 | 9 | 2018 |
Slipstream: automatic interprocess communication optimization W Dietz, J Cranmer, N Dautenhahn, V Adve 2015 {USENIX} Annual Technical Conference ({USENIX}{ATC} 15), 431-443, 2015 | 8 | 2015 |
Guided linking: dynamic linking without the costs S Bartell, W Dietz, VS Adve Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 4 | 2020 |
ALLVM Project V Adve, W Dietz | 2 | 2016 |
Aligning intent and behavior in software systems: how programs communicate & their distribution and organization WB Dietz University of Illinois at Urbana-Champaign, 2020 | | 2020 |
Prevalence of Integer Wraparound in C/C+ W Dietz, V Adve | | |
MoZyg: Secure Framework for Cross Platform Applications on Mobile Devices W Dietz, K Larson, S Venkataraman | | |