Also see my publications by topic.


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.
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.
Details. Download: PDF.

“Annotations on Java types”, Jan. 2014. Proposed Final Draft.
Details. Download: PDF.

2013

“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.

“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.
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.

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.
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. Popovic.
In Formal Techniques for Java-like Programs (FTfJP), June 2012.
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.
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.
Details. Download: PDF.

2011

“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.

“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. 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.
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.
Details. Download: PDF.

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

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

“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.

2007

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

“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.

“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.

“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 Foundations and Developments of Object-Oriented Languages (FOOL/WOOD), Jan. 2007.
Details. Download: PDF.

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.



(This webpage was created with bibtex2web.)