Werner Dietl at the University of Waterloo

Werner Dietl

Electrical and Computer Engineering, University of Waterloo

Also see my publications by topic.

2022

“Least-Privilege Calls to Amazon Web Services”
by P. Gill, W. Dietl, and M. Tripunitara.
{IEEE Transactions on Dependable and Secure Computing}, 2022, pp. 1-13.
Details.

2021

“Scalability and Precision by Combining Expressive TypeSystems and Deductive Verification”
by F. Lanzinger, A. Weigl, M. Ulbrich, and W. Dietl.
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), vol. 5, 2021, pp. 1-29.
Details.

“Ensuring correct cryptographic algorithm and provider usage at compile time”
by W. Xing, Y. Cheng, and W. Dietl.
Details.

2020

“A Computational Complexity Analysis of Tunable Type Inference for Generic Universe Types”
by N. Juma, W. Dietl, and M. Tripunitara.
Theoretical Computer Science, vol. 814, 2020, pp. 189-209.
Details.

“Precise Inference of Expressive Units of Measurement Types”
by T. Xiang, J.Y. Luo, and W. Dietl.
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2020, pp. 1-28.
Details.

2018

“Don't Miss the End: Preventing Unsafe End-of-File Comparisons”
by C.Z. Chen and W. Dietl.
In NASA Formal Methods, 2018, pp. 87-94.
Details.

2017

“Granullar: Gradual Nullable Types for Java”
by D. Brotherston, W. Dietl, and O. Lhoták.
In Compiler Construction (CC), Feb. 2017, pp. 87-97.
Details.

2015

“Static analysis of implicit control flow: Resolving Java reflection and Android intents”
by P. Barros, R. Just, S. Millstein, P. Vines, W. Dietl, M. d'Amorim, and M. D. Ernst.
In Automated Software Engineering (ASE), Nov. 2015, pp. 669-679.
Details. Download: PDF, extended version, SPARTA toolset, Checker Framework.

“Lessons Learned in Game Development for Crowdsourced Software Formal Verification”
by D. Dean, S. Guarino, L. Eusebi, A. Keplinger, T. Pavlik, R. Watro, A. Cammarata, J. Murray, K. McLaughlin, J. Cheng, and T. Maddern.
In USENIX Summit on Gaming, Games, and Gamification in Security Education (3GSE), Aug. 2015.
Details. Download: PDF.

2014

“Collaborative verification of information flow for a high-assurance app store”
by M. D. Ernst, R. Just, S. Millstein, W. Dietl, S. Pernsteiner, F. Roesner, K. Koscher, P. Barros, R. Bhoraskar, S. Han, P. Vines, and E. X. Wu.
In Computer and Communications Security (CCS), Nov. 2014, pp. 1092-1104.
Details. Download: PDF.

“Annotations on Java types”
by JSR 308 Expert Group.
Jan. 2014. Proposed Final Draft.
Details. Download: PDF.

2013

“JavaUI: Effects for Controlling UI Object Access”
by C. S. Gordon, W. Dietl, M. D. Ernst, and D. Grossman.
In European Conference on Object-Oriented Programming (ECOOP), July 2013, pp. 179-204.
Details.

“Type Annotations, the Checker Framework, and JML”
by W. Dietl.
In The Java Modeling Language., (Gary T. Leavens, Peter H. Schmitt, and Jooyong Yi, eds.), May 2013, pp. 12-13. http://www.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2013-3.pdf.
Details.

“Object Ownership in Program Verification”
by W. Dietl and P. Müller.
In Aliasing in Object-Oriented Programming, vol. 7850 of Lecture Notes in Computer Science, (D. Clarke, J. Noble, and T. Wrigstad, eds.), 2013, pp. 289-318.
Details. Download: PDF.

2012

“ReIm & ReImInfer: Checking and inference of reference immutability and method purity”
by W. Huang, A. Milanova, W. Dietl, and M. D. Ernst.
In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Oct. 2012, pp. 879-896.
Details. Download: PDF.

“Verification Games: Making Verification Fun”
by W. Dietl, S. Dietzel, M. D. Ernst, N. Mote, B. Walker, S. Cooper, T. Pavlik, and Z. Popović.
In Formal Techniques for Java-like Programs (FTfJP), June 2012, pp. 42-49.
Details. Download: PDF.

“A type system for regular expressions”
by E. Spishak, W. Dietl, and M. D. Ernst.
In Formal Techniques for Java-like Programs (FTfJP), June 2012, pp. 20-26.
Details. Download: PDF.

“Inference and Checking of Object Ownership”
by W. Huang, W. Dietl, A. Milanova, and M. D. Ernst.
In European Conference on Object-Oriented Programming (ECOOP), June 2012, pp. 181-206.
Details. Download: PDF.

2011

“Tunable Static Inference for Generic Universe Types”
by W. Dietl, M. D. Ernst, and P. Müller.
In European Conference on Object-Oriented Programming (ECOOP), July 2011, pp. 333-357. Best Paper Award.
Details. Download: PDF.

“EnerJ: Approximate Data Types for Safe and General Low-Power Computation”
by A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman.
In Programming Language Design and Implementation (PLDI), June 2011, pp. 164-174.
Details. Download: PDF.

“EnerJ: Approximate Data Types for Safe and General Low-Power Computation — Full Proofs”
by A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman.
University of Washington technical report UW-CSE-10-12-01, June 2011.
Details. Download: PDF.

“Building and Using Pluggable Type-Checkers”
by W. Dietl, S. Dietzel, M. D. Ernst, K. Muslu, and T. W. Schiller.
In Software Engineering in Practice Track, International Conference on Software Engineering (ICSE), May 2011, pp. 681-690.
Details. Download: PDF.

“Separating ownership topology and encapsulation with Generic Universe Types”
by W. Dietl, S. Drossopoulou, and P. Müller.
ACM Transactions on Programming Languages and Systems, vol. 33, 2011, pp. 20:1-20:62, ACM.
Details. Download: PDF.
A previous version appeared as “Separating Ownership Topology and Encapsulation with Generic Universe Types” by W. Dietl, S. Drossopoulou, and P. Müller. June 2010. Submitted.

2010

“Universe Types: Topology, Encapsulation, Genericity, and Tools”
by W. Dietl.
July 2010. Summary of my thesis published in the 2009 GI Outstanding Dissertation Award proceedings. Available in German only.
Details. Download: PDF.

2009

“Universe Types: Topology, Encapsulation, Genericity, and Tools”
by W. Dietl.
Ph.D. dissertation, Department of Computer Science, ETH Zurich, Dec. 2009. Doctoral Thesis ETH No. 18522.
Details. Download: PDF.

“Tunable Universe Type Inference”
by W. Dietl, M. D. Ernst, and P. Müller, Department of Computer Science.
ETH Zurich technical report 659, Dec. 2009. Updated March 2010.
Details. Download: PDF.

“Comparing Universes and Existential Ownership Types”
by N. Cameron and W. Dietl, School of Engineering and Computer Science.
VUW technical report 06, July 2009. https://ecs.victoria.ac.nz/twiki/pub/Main/TechnicalReportSeries/ECSTR09-06.pdf.
Details. Download: PDF.

“Comparing Universes and Existential Ownership Types”
by N. Cameron and W. Dietl.
In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), July 2009.
Details. Download: PDF.

2008

“Universe Types for Topology and Encapsulation”
by D. Cunningham, W. Dietl, S. Drossopoulou, A. Francalanza, P. Müller, and A. J. Summers.
In Formal Methods for Components and Objects (FMCO), (F. S. de Boer, M. M. Bonsangue, S. Graf, and W.-P. de Roever, eds.), Dec. 2008, pp. 72-112.
Details. Download: PDF.

“Universe Type System — Quick-Reference”
by W. Dietl, P. Müller, and D. Schregenberger.
July 2008. Available from http://pm.inf.ethz.ch/research/universes/tools/juts-quickref.pdf.
Details. Download: PDF.

“JML Reference Manual”
by G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, P. Müller, J. Kiniry, P. Chalin, D. M. Zimmerman, and W. Dietl.
June 2008. Available from http://www.jmlspecs.org/.
Details. Download: PDF.

“Ownership Type Systems and Dependent Classes”
by W. Dietl and P. Müller.
In Foundations of Object-Oriented Languages (FOOL), Jan. 2008.
Details. Download: PDF.

“Three papers”
by W. Dietl et al..
In Annual Report, (B. Meyer, P. Müller, and M. Oriol, eds.), 2008.
Details.

2007

“Runtime Universe Type Inference”
by W. Dietl and P. Müller.
In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), July 2007.
Details. Download: PDF.

“2007 State of the Universe Address”
by W. Dietl and P. Müller.
In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), July 2007.
Details. Download: PDF.

“Generic Universe Types”
by W. Dietl, S. Drossopoulou, and P. Müller.
In European Conference on Object-Oriented Programming (ECOOP), (E. Ernst, ed.), July 2007, pp. 28-53.
Details. Download: PDF.

“Generic Universe Types”
by W. Dietl, S. Drossopoulou, and P. Müller.
In Foundations and Developments of Object-Oriented Languages (FOOL/WOOD), Jan. 2007.
Details. Download: PDF.

“Four papers”
by W. Dietl et al..
In Annual Report, (B. Meyer, P. Müller, and M. Oriol, eds.), 2007.
Details.

2006

“Formalization of Generic Universe Types”
by W. Dietl, S. Drossopoulou, and P. Müller, Department of Computer Science.
ETH Zurich technical report 532, 2006.
Details. Download: PDF.

“Four papers”
by W. Dietl et al..
In Annual Report, (B. Meyer, P. Müller, and M. Oriol, eds.), 2006.
Details.

2005

“Universes: Lightweight Ownership for JML”
by W. Dietl and P. Müller.
Journal of Object Technology (JOT), Special Issue: ECOOP 2004 Workshop FTfJP, vol. 4, no. 8, Oct. 2005, pp. 5-32.
Details. Download: PDF.

2004

“Key-Dependency for a Wavelet-Based Blind Watermarking Algorithm”
by M. Brachtl, W. Dietl, and A. Uhl.
In Multimedia and Security Workshop, (J. Dittmann and J. Fridrich, eds.), Sep. 2004, pp. 175-179.
Details. Download: PDF.

“Robustness against Unauthorized Watermark Removal Attacks via Key-dependent Wavelet Packet Subband Structures”
by W. Dietl and A. Uhl.
In International Conference on Multimedia and Expo (ICME), June 2004.
Details. Download: PDF.

“Exceptions in Ownership Type Systems”
by W. Dietl and P. Müller.
In Formal Techniques for Java-like Programs (FTfJP), (E. Poll, ed.), June 2004, pp. 49-54.
Details. Download: PDF.

“A Type System for Checking Applet Isolation in Java Card”
by W. Dietl, P. Müller, and A. Poetzsch-Heffter.
In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS), Mar. 2004, pp. 129-150.
Details. Download: PDF.

2003

“Watermark Security via Secret Wavelet Packet Subband Structures”
by W. Dietl and A. Uhl.
In Communications and Multimedia Security, (A. Lioy and D. Mazzocchi, eds.), Oct. 2003, pp. 214-225.
Details. Download: PDF, slides (PDF).

“Protection of Wavelet-based Watermarking Systems using Filter Parametrization”
by W. Dietl, P. Meerwald, and A. Uhl.
Signal Processing (Special Issue on Security of Data Hiding Technologies), vol. 83, July 2003, pp. 2095-2116, Elsevier.
Details. Download: PDF.

“Key-dependent Pyramidal Wavelet Domains for Secure Watermark Embedding”
by W. Dietl, P. Meerwald, and A. Uhl.
In Electronic Imaging, Security and Watermarking of Multimedia Contents V, (E. J. Delp and P. W. Wong, eds.), Jan. 2003, pp. 728-739.
Details. Download: PDF.

2002

“Improving the Security of Wavelet-based Watermarking Systems”
by W. Dietl.
Masters thesis, Salzburg University, Department of Scientific Computing, Dec. 2002.
Details. Download: PDF.

“Watermark Security via High-Resolution Wavelet Filter Parametrization”
by W. Dietl, P. Meerwald, and A. Uhl.
In International Scientific Conference, Section 1: Applied Mathematics, (S. Kmet and M. Pavlus, eds.), May 2002, pp. 21-28.
Details.

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

(This webpage was created with bibtex2web.)

Publications