Curriculum Vitae - Department of Computer Science & Engineering

Werner M. Dietl
University of Washington, Box 352350
Seattle, WA 98195-2350
Education
wmdietl@cs.washington.edu
http://homes.cs.washington.edu/~wmdietl/
Tel: +1 (206) 414-9634 Fax: +1 (206) 616-3804
Swiss Federal Institute of Technology, ETH Zürich, Switzerland. 09/2003 – 10/2009.
Doctor of Technical Sciences, 12/2009.
Research on Trusted Components with a focus on type systems that enable software verification.
Research and teaching assistant with Prof. Peter Müller at the Chair of Programming Methodology.
Thesis examiners: Prof. Michael D. Ernst (UW) and Prof. Martin Odersky (EPFL).
Salzburg University, Austria. 10/1996 – 08/1999 and 10/2001 – 08/2003.
Diplom-Ingenieur, 01/2003.
Study of Applied Computer Science and Business; passed both diploma examinations with distinction.
Thesis about image watermarking in the wavelet domain, supervised by Prof. Andreas Uhl.
Research Assistant in an Austrian Science Fund FWF project. Student tutor.
Bowling Green State University, OH, USA. 08/1999 – 08/2000.
Master of Science in Computer Science, 08/2000.
Passed with 4.00 GPA. Employed as a Research Assistant.
Work Experience
University of Washington, Seattle, WA, USA. 11/2009 – Now. Working with Prof. Michael D. Ernst in
the Programming Languages and Software Engineering group.
Synapta Corporation, Palo Alto, CA, USA. 10/2000 – 07/2001. Software Engineer.
SBS Software Ges.m.b.H., Austria. 11/1997 – 09/2000. Software Engineer.
Siemens AG, Austria. 07/1997 – 09/1997. Software Engineer.
Awards and Honors
Best Paper Award at ECOOP 2011. 07/2011.
Thesis nominated for the 2009 German Informatics Society Outstanding Dissertation Award. 01/2010.
Fellowship for Prospective Researchers from the Swiss NSF. 06/2009.
Short-Term Research Grant from ETH Zurich/IDEA League. 03/2008.
Excellent Diploma Thesis Award from the Austrian Computer Society OCG. 09/2004.
Excellence Scholarship from Salzburg University. 07/1999.
Current Projects
1. SPARTA: Static Program Analysis for Reliable Trusted Apps: type-system-based verification for mobile
device security. (technical lead, DARPA funded)
2. Verification Games: crowd-sourced formal verification of software using games. Described in [W2].
(technical lead, DARPA funded)
3. Java type annotations: implemented the Java 8 annotation syntax for OpenJDK (JSR 308 reference
implementation). (technical lead, Oracle funded)
4. Checker Framework: supports pluggable type checking in Java. Chief architect, prime implementor,
and main supervisor for remainder of team. Responsible for foundations and extensions, such as type
inference and dataflow analysis, and external tools. Described in [C5]. (technical lead, NSF funded)

2 / 10 Werner M. Dietl
Previous projects
1. Static Universe Type Inference: static inference of Universe Types using a SAT solver. Described in
[C3, U3]. Previous project reports [EM4, EM7, EM10].
2. EnerJ Energy-aware Programming System: static type system and runtime simulation framework for
low-power computation. Described in [C4]. (NSF funded)
3. MultiJava and Java Modeling Language (JML): full implementation of the Generic Universe Types
system, including type checking, storage of type information, and runtime checking, in the Common
JML2 tools. Described in [J3, U8, U7]. Project reports [EM3, ES5, ES10, ES12, ES13].
4. JML2 Eclipse Plug-In: integration of the JML2 tools into Eclipse. Used by students at ETH and other
universities to easily use the Common JML2 tools. Also a part of the Mobius Program Verification
Environment. Project reports [EM4, ES6].
5. Runtime Universe Type Inference: inference of Universe Types from program execution traces. Command
line tool and integration into Eclipse. Described in [U3, W5]. Project reports [EM4, EM8, EM11].
6. Visualization of Ownership Structures: Eclipse GEF plug-in that visualizes ownership structures.
Integrated with the static and runtime Universe Types inference to visualize the inference results. Project
reports [ES2, ES6, ES8].
7. Static Purity Inference: implementation of the purity inference described in “Purity and Side Effect
Analysis for Java Programs” (VMCAI 2005) by Alexandru D. Sǎlcianu and Martin C. Rinard. Command
line tool and integration into Eclipse. Project report [ES7]. Also see [C1].
8. Universe Type Annotation Tools: common XML schema used for storing the results of the static, runtime,
and purity inference tools. Command line tool to insert the annotations into existing Java sources and
integration into Eclipse.
9. ESC/Java2: implementation of a Universe Type System checker. Project report [ES9].
10. Universe Type System Tools for Scala: type checker and runtime system for Generic Universe Types for
Scala implemented as compiler plug-in. Project reports [EM1, EM6].
11. Wavelet-based image watermarking systems: Described in [C8, W10, C9, J4, W11, U12, W12].
Publications
Total citations: 797; most cited: [J3] with 177. h-index of 12, i10-index of 15. Information based on Google
Scholar.
Journals and Book Chapters
[J1] W. Dietl and P. Müller. Object ownership in program verification. In D. Clarke, J. Noble, and
T. Wrigstad, editors, Aliasing in Object-Oriented Programming, Lecture Notes in Computer Science.
Springer-Verlag, 2012. To appear.
[J2] W. Dietl, S. Drossopoulou, and P. Müller. Separating ownership topology and encapsulation with
Generic Universe Types. ACM Transactions on Programming Languages and Systems, 33:20:1–
20:62, 2011.
[J3] W. Dietl and P. Müller. Universes: Lightweight Ownership for JML. Journal of Object Technology
(JOT), Special Issue: ECOOP 2004 Workshop FTfJP, 4(8):5–32, October 2005.
[J4] W. Dietl, P. Meerwald, and A. Uhl. Protection of Wavelet-based Watermarking Systems using
Filter Parametrization. Signal Processing (Special Issue on Security of Data Hiding Technologies),
83:2095–2116, July 2003.

Werner M. Dietl 3 / 10
Conference Proceedings
[C1] W. Huang, A. Milanova, W. Dietl, and M. D. Ernst. ReIm & ReImInfer: Checking and inference of
reference immutability and method purity. In Object-Oriented Programming Systems, Languages,
and Applications (OOPSLA), October 2012.
[C2] W. Huang, W. Dietl, A. Milanova, and M. D. Ernst. Inference and checking of object ownership.
In European Conference on Object-Oriented Programming (ECOOP), June 2012.
[C3] W. Dietl, M. D. Ernst, and P. Müller. Tunable Static Inference for Generic Universe Types. In
European Conference on Object-Oriented Programming (ECOOP), July 2011. Best Paper Award.
[C4] A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. EnerJ: Approximate
Data Types for Safe and General Low-Power Computation. In Programming Language
Design and Implementation (PLDI), June 2011.
[C5] W. Dietl, S. Dietzel, M. D. Ernst, K. Muslu, and T. W. Schiller. Building and Using Pluggable
Type-Checkers. In Software Enginnering in Practice Track, International Conference on Software
Engineering (ICSE), May 2011.
[C6] D. Cunningham, W. Dietl, S. Drossopoulou, A. Francalanza, P. Müller, and A. J. Summers. Universe
Types for Topology and Encapsulation. In F. S. de Boer, M. M. Bonsangue, S. Graf, and
W.-P. de Roever, editors, Formal Methods for Components and Objects (FMCO), volume 5382 of
Lecture Notes in Computer Science, pages 72–112. Springer-Verlag, December 2008.
[C7] W. Dietl, S. Drossopoulou, and P. Müller. Generic Universe Types. In E. Ernst, editor, European
Conference on Object-Oriented Programming (ECOOP), volume 4609 of Lecture Notes in
Computer Science, pages 28–53. Springer-Verlag, July 2007.
[C8] W. Dietl and A. Uhl. Robustness against Unauthorized Watermark Removal Attacks via Keydependent
Wavelet Packet Subband Structures. In International Conference on Multimedia and
Expo (ICME), June 2004.
[C9] W. Dietl and A. Uhl. Watermark Security via Secret Wavelet Packet Subband Structures. In A. Lioy
and D. Mazzocchi, editors, Communications and Multimedia Security, volume 2828 of Lecture
Notes in Computer Science, pages 214–225. Springer-Verlag, October 2003.
Workshop Proceedings
[W1] E. Spishak, W. Dietl, and M. D. Ernst. A type system for regular expressions. In Formal Techniques
for Java-like Programs (FTfJP), June 2012.
[W2] W. Dietl, S. Dietzel, M. D. Ernst, N. Mote, B. Walker, S. Cooper, T. Pavlik, and Z. Popović.
Verification games: Making verification fun. In Formal Techniques for Java-like Programs
(FTfJP), June 2012.
[W3] N. Cameron and W. Dietl. Comparing Universes and Existential Ownership Types. In International
Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO),
July 2009.
[W4] W. Dietl and P. Müller. Ownership Type Systems and Dependent Classes. In Foundations of
Object-Oriented Languages (FOOL), January 2008.
[W5] W. Dietl and P. Müller. Runtime Universe Type Inference. In International Workshop on Aliasing,
Confinement and Ownership in object-oriented programming (IWACO), July 2007.

4 / 10 Werner M. Dietl
[W6] W. Dietl and P. Müller. 2007 State of the Universe Address. In International Workshop on Aliasing,
Confinement and Ownership in object-oriented programming (IWACO), July 2007.
[W7] W. Dietl, S. Drossopoulou, and P. Müller. Generic Universe Types. In Foundations and Developments
of Object-Oriented Languages (FOOL/WOOD), January 2007.
[W8] W. Dietl and P. Müller. Exceptions in Ownership Type Systems. In E. Poll, editor, Formal
Techniques for Java-like Programs (FTfJP), technical report, Nr. NIII-R0426, University of
Nijmegen, pages 49–54, June 2004.
[W9] W. Dietl, P. Müller, and A. Poetzsch-Heffter. A Type System for Checking Applet Isolation in Java
Card. In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS),
volume 3362 of Lecture Notes in Computer Science, pages 129–150. Springer-Verlag, March 2004.
[W10] M. Brachtl, W. Dietl, and A. Uhl. Key-Dependency for a Wavelet-Based Blind Watermarking
Algorithm. In J. Dittmann and J. Fridrich, editors, Multimedia and Security Workshop, pages
175–179, September 2004.
[W11] W. Dietl, P. Meerwald, and A. Uhl. Key-dependent Pyramidal Wavelet Domains for Secure
Watermark Embedding. In E. J. Delp and P. W. Wong, editors, Electronic Imaging, Security and
Watermarking of Multimedia Contents V, volume 5020, pages 728–739. SPIE, January 2003.
[W12] W. Dietl, P. Meerwald, and A. Uhl. Watermark Security via High-Resolution Wavelet Filter
Parametrization. In S. Kmet’ and M. Pavluš, editors, International Scientific Conference, Section
1: Applied Mathematics, pages 21–28, May 2002.
Technical Reports, Theses, and Unpublished Material
[U1] A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. EnerJ: Approximate
Data Types for Safe and General Low-Power Computation — Full Proofs. Technical Report
UW-CSE-10-12-01, University of Washington, June 2011.
[U2] W. Dietl. Universe Types: Topology, Encapsulation, Genericity, and Tools. Summary of my thesis
published in the 2009 GI Outstanding Dissertation Award proceedings. Available in German only,
July 2010.
[U3] W. Dietl, M. D. Ernst, and P. Müller. Tunable Universe Type Inference. Technical Report 659,
Department of Computer Science, ETH Zurich, December 2009. Updated March 2010.
[U4] W. Dietl. Universe Types: Topology, Encapsulation, Genericity, and Tools. PhD thesis, Department
of Computer Science, ETH Zurich, December 2009. Doctoral Thesis ETH No. 18522.
[U5] N. Cameron and W. Dietl. Comparing Universes and Existential Ownership Types. Technical
Report 06, School of Engineering and Computer Science, VUW, July 2009. https://ecs.
victoria.ac.nz/twiki/pub/Main/TechnicalReportSeries/ECSTR09-06.pdf.
[U6] W. Dietl et al. Three papers. In B. Meyer, P. Müller, and M. Oriol, editors, Annual Report. Chair
of Software Engineering, ETH Zurich, 2008.
[U7] 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. JML Reference Manual. Available from http://www.jmlspecs.
org/, June 2008.
[U8] W. Dietl, P. Müller, and D. Schregenberger. Universe Type System — Quick-Reference. Available
from http://pm.inf.ethz.ch/research/universes/tools/juts-quickref.pdf, July
2008.

Werner M. Dietl 5 / 10
Talks
[U9] W. Dietl et al. Four papers. In B. Meyer, P. Müller, and M. Oriol, editors, Annual Report. Chair of
Software Engineering, ETH Zurich, 2007.
[U10] W. Dietl, S. Drossopoulou, and P. Müller. Formalization of Generic Universe Types. Technical
Report 532, Department of Computer Science, ETH Zurich, 2006.
[U11] W. Dietl et al. Four papers. In B. Meyer, P. Müller, and M. Oriol, editors, Annual Report. Chair of
Software Engineering, ETH Zurich, 2006.
[U12] W. Dietl. Improving the Security of Wavelet-based Watermarking Systems. Master’s thesis,
Salzburg University, Department of Scientific Computing, December 2002.
1. Build Your Own Type System for Fun and Profit. JavaOne 2012. San Francisco, USA. October 2 nd ,
2012.
2. Verification Games: Making Verification Fun.
(a) Department of Computer Science and Engineering, University of California, San Diego. San
Diego, USA. August 21 st , 2012.
(b) Technical University Vienna: Institute of Computer Languages and Austrian Society for Rigorous
Systems Engineering Colloquium. Vienna, Austria. June 20 th , 2012.
(c) Formal Techniques for Java-like Programs (FTfJP). Beijing, China. June 12 th , 2012.
(d) ETH Zurich, Chair of Programming Methodology. Zurich, Switzerland. June 4 th , 2012.
3. Developing and Using Pluggable Type Systems.
(a) OSCON Open Source Convention. Portland, USA. July 17 th , 2012.
(b) Open Source Bridge 2012. Portland, USA. June 26 th , 2012.
(c) Technical University Vienna: Institute of Computer Languages and Austrian Society for Rigorous
Systems Engineering Colloquium. Vienna, Austria. June 20 th , 2012.
(d) Programming Language Design and Implementation (PLDI) Tutorial. Beijing, China. June 16 th ,
2012.
(e) ETH Zurich, Chair of Programming Methodology. Zurich, Switzerland. June 4 th , 2012.
4. A type system for regular expressions. Formal Techniques for Java-like Programs (FTfJP). Beijing,
China. June 12 th , 2012.
5. Build your own type systems for fun and profit. Lang.NEXT 2012 lightning talk. Redmond, USA. April
4 th , 2012.
6. SPARTA: Static Program Analysis for Reliable Trusted Apps. DARPA APAC kick-off meeting. Las
Vegas, USA. February 23 rd , 2012.
7. Tunable Static Inference for Generic Universe Types.
(a) Technical University Vienna, Institute of Computer Languages Colloquium. Vienna, Austria.
August 5 th , 2011.
(b) European Conference on Object-Oriented Programming (ECOOP) 2011. Lancaster, UK. July 28 th ,
2011.
(c) Microsoft Research, Verification Group Meeting. Redmond, USA. July 14 th , 2011.
8. Preventing Runtime Errors at Compile Time. Open Source Bridge 2011. Portland, USA. June 22 nd ,
2011. 105 minute interactive tutorial on the Checker Framework.
9. Building and Using Pluggable Type-Checkers.
(a) UW CSE affiliates meeting. Seattle, USA. October 19 th , 2011.

6 / 10 Werner M. Dietl
(b) International Conference on Software Engineering (ICSE) 2011. Waikiki, USA. May 26 th , 2011.
10. EnerJ: Approximate Data Types for Safe and General Low-Power Computation.
(a) Technical University Vienna, Institute of Computer Languages Colloquium. Vienna, Austria.
January 24 th , 2011.
(b) IBM Research Zurich, Seminar. Zurich, Switzerland. January 14 th , 2011.
11. Universe Types: Type System and Inference.
(a) University of British Columbia, Software Practices Lab Seminar. Vancouver, Canada. November
23 rd , 2010.
(b) Carnegie Mellon University, Institute for Software Research Seminar. Pittsburgh, USA. October
12 th , 2010.
(c) Microsoft Research, Verification Group Meeting. Redmond, USA. June 24 th , 2010.
(d) Karlsruhe Institute of Technology, Group Meeting. Karlsruhe, Germany. May 18 th , 2010.
(e) University of Kaiserslautern, Group Meeting. Kaiserslautern, Germany. May 17 th , 2010.
12. Universe Types: Topology, Encapsulation, Genericity, and Tools. GI Outstanding Dissertation Award
Seminar. Schloss Dagstuhl, Germany. May 11 th , 2010.
13. Ownership Type Systems and Dependent Classes. Foundations of Object-Oriented Languages (FOOL)
2008. San Francisco, USA. January 13 th , 2008.
14. Generic Universe Types.
(a) Formal Methods for Components and Objects (FMCO) 2007. Amsterdam, Netherlands. October
24 th , 2007. Invited Talk.
(b) European Conference on Object-Oriented Programming (ECOOP) 2007. Berlin, Germany. August
1 st , 2007.
(c) Imperial College London, Group Meeting. London, United Kingdom. July 19 th , 2007.
(d) Foundations and Developments of Object-Oriented Languages (FOOL/WOOD) 2007. Nice,
France. January 20 th , 2007.
15. Runtime Universe Type Inference. International Workshop on Aliasing, Confinement and Ownership in
object-oriented programming (IWACO) 2007. Berlin, Germany. July 30 th , 2007.
16. Static Universe Type Inference. Imperial College London, Group Meeting. London, United Kingdom.
May 23 rd , 2006.
17. Object Ownership — Overview and Issues. IFIP TC 2 WG 2.3 Meeting. Prato, Italy. September 9 th ,
2004. Invited Talk.
18. Exceptions in Ownership Type Systems. Formal Techniques for Java-like Programs (FTfJP) 2004. Oslo,
Norway. June 15 th , 2004.
19. Key-dependent Pyramidal Wavelet Domains for Secure Watermark Embedding. SPIE Electronic Imaging
2003. Santa Clara, California, USA. January 24 th , 2003.
20. Watermark Security via High-Resolution Wavelet Filter Parametrization. 7 th International Scientific
Conference. Košice, Slovakia. May 22 nd , 2002.
21. Database Connectivity using JDBC. Northwest Ohio Computer Science Workshop. Bowling Green,
Ohio, USA. November 19 th , 1999.

Werner M. Dietl 7 / 10
Student Project Supervision
Projects at the University of Washington
[UW1] Philip Lai. SPARTA: case studies and extensions. Undergraduate research (ongoing, started
June 2012), December 2012.
[UW2] Tyler Rigsby. Verification games: extended type systems; game generation. Undergraduate
research (ongoing, started March 2012), December 2012.
[UW3] Nathaniel Mote. Verification games: graph description and layout; game generation. Undergraduate
research (ongoing, started January 2011), December 2012.
[UW4] Brian Walker. Verification games: website integration. Undergraduate research (ongoing, started
January 2012), December 2012.
[UW5] Stefan Heule. Improved dataflow analysis for the Checker Framework. Undergraduate and
Master’s research (ongoing, started September 2011), December 2012.
[UW6] Dimitrios C. Gklezakos, Stefan Heule, and Brandon Holt. Evaluating Practical Non-Null Type
Systems for Java. CSE 503 course project, December 2011.
[UW7] Mark Davis. Fake enumerations and nullness type checker case study on the OpenJDK javac.
Undergraduate research (started July 2011), July 2012.
[UW8] Eric Spishak. Fake enumerations and regular expression type checker case studies and extensions;
verification games: annotation and cast handling. Undergraduate and Master’s research (ongoing,
started April 2011), December 2012.
[UW9] Stephanie Dietzel. Interning type checker case studies; verification games: KeyFor integration;
testing framework. Undergraduate and Master’s research (ongoing, started July 2011), December
2012.
[UW10] Andreas Abel, Kivanc Muslu, and Brandon Myers. Dataflow support for the Checker Framework.
CSE 501 course project, December 2010.
Master’s projects at ETH Zurich
Master’s projects are six month full-time projects.
[EM1] Manfred Stock. Implementing a Universe Type Checker in Scala. Master’s thesis, January 2008.
[EM2] Mathias Ottiger. Runtime Support for Generics and Transfer in Universe Types. Master’s thesis,
co-supervised with A. Rudich, August 2007.
[EM3] Robin Züger. Generic Universe Types in JML. Master’s thesis, July 2007.
[EM4] Andreas Fürer. Combining Runtime and Static Universe Type Inference. Master’s thesis, March
2007.
[EM5] Martin Klebermaß. An Isabelle Formalization of the Universe Type System. Master’s thesis,
co-supervised with Prof. T. Nipkow, T. U. München, April 2007.
[EM6] Daniel Schregenberger. Universe Type System for Scala. Master’s thesis, June 2007.
[EM7] Matthias Niklaus. Static Universe Type Inference using a SAT-Solver. Master’s thesis, June
2006.
[EM8] Marco Bär. Practical Runtime Universe Type Inference. Master’s thesis, May 2006.

8 / 10 Werner M. Dietl
[EM9] Stefan Nägeli. Ownership in Design Patterns. Master’s thesis, March 2006.
[EM10] Nathalie Kellenberger. Static Universe Type Inference. Master’s thesis, October 2005.
[EM11] Frank Lyner. Runtime Universe Type Inference. Master’s thesis, July 2005.
[EM12] Thomas Hächler. Applying the Universe Type System to an Industrial Application. Master’s
thesis, March 2005.
Semester projects at ETH Zurich
Semester projects have a workload of around 160 hours.
[ES1] Phokham Nonava. A Universe Type Checker using JSR308. Semester project, September 2008.
[ES2] Timur Erdag. Visualizer for Universe Type Inference Information. Semester project, September
2007.
[ES3] Dominique Schneider. Testing Tool for Compilers. Semester project, March 2007.
[ES4] Annetta Schaad. Universe Type System for Eiffel. Semester project, October 2006.
[ES5] Ovidio Mallo. MultiJava, JML, and Generics. Semester project, October 2006.
[ES6] Paolo Bazzi. Integration of Universe Type System Tools into Eclipse. Semester project, October
2006.
[ES7] David Graf. Implementing Purity and Side Effect Analysis for Java Programs. Semester project,
March 2006.
[ES8] Marco Meyer. Interaction with Ownership Graphs. Semester project, March 2006.
[ES9] Dirk Wellenzohn. Implementation of a Universe type checker in ESC/Java2. Semester project,
October 2005.
[ES10] Alex Suzuki. Bytecode support for the Universe type system and compiler. Semester project,
March 2005.
[ES11] Thomas Hächler. Static Fields in the Universe Type System. Semester project, July 2004.
[ES12] Daniel Schregenberger. Dynamic Typechecking in the Universe Type System. Semester project,
October 2004.
[ES13] Yann Müller. Testcases for the Universe type system compiler. Project assistant, September 2004.
Teaching at ETH Zurich
A semester at ETH has 14 weeks. Lectures and exercise sessions are 45 minutes long.
1. Concepts of Object-Oriented Programming
(a) Fall 2008, with Prof. P. Müller. Teaching assistant for one-hour exercise sessions with around
25 students. Substitute lecturer for two hours. Supervised oral exams and the preparation of the
written exam.
(b) Winter 2006/07, with Prof. P. Müller. Teaching assistant for one-hour exercise sessions with around
40 students. Substitute lecturer for two hours.
(c) Winter 2005/06, with Prof. P. Müller. Only teaching assistant for one-hour exercise sessions with
around 80 students. Prepared and corrected the two-hour written exam.

Werner M. Dietl 9 / 10
(d) Winter 2004/05, with Prof. P. Müller. Only teaching assistant for one-hour exercise sessions with
around 80 students. Substitute lecturer for eight hours. Prepared and corrected the two-hour
written exam.
(e) Winter 2003/04, with Prof. P. Müller. First-time course. Only teaching assistant for one-hour
exercise sessions with around 50 students. Supervised oral exams.
2. Core-Course on Software Engineering
(a) Spring 2009, with Prof. P. Müller. Teaching assistant for two-hour exercise sessions with around
20 students. Written exam preparation.
(b) Summer 2007, with Prof. B. Meyer. First-time course. Teaching assistant for two-hour exercise
sessions with around 20 students. Written exam preparation and correction.
(c) Summer 2006, with Prof. P. Müller. First-time course. Teaching assistant for two-hour exercise
sessions with around 25 students. Substitute lecturer for three hours. Written exam preparation
and correction.
3. IT Project Management
(a) Winter 2004/05, with Prof. P. Müller. Supervision of student projects.
(b) Winter 2003/04, with Prof. P. Müller. First-time course. Supervision of student projects.
4. Programming in the Large
(a) Summer 2004, with Prof. B. Meyer. Teaching assistant for two-hour exercise sessions with around
20 students. Written exam preparation and correction.
5. Seminars
(a) Winter 2006/07, Software Engineering Seminar, with Prof. B. Meyer, Prof. P. Müller, Prof. D. Kröning.
Supervised two seminar students.
(b) Winter 2005/06, Seminar on Specification and Verification of Object-Oriented Software, with
Prof. P. Müller, Prof. D. Kröning. Supervised one seminar student.
(c) Winter 2004/05, Seminar on Specification and Verification of Object-Oriented Software, with
Prof. P. Müller, Prof. D. Kröning. Supervised three seminar students.
(d) Summer 2004, Seminar on References and Aliasing in Object-Oriented Software, with Prof. A. Biere,
Prof. P. Müller. Supervised two seminar students.
(e) Winter 2003/04, Seminar on Specification and Verification of Object-Oriented Software, with
Prof. A. Biere, Prof. P. Müller. Supervised two seminar students.
Reviewing
As program committee member:
1. Formal Techniques for Java-like Programs (FTfJP) 2013, Chair.
2. Static Analysis Symposium (SAS) 2013.
3. Workshop on Developing Tools as Plug-ins (TOPI) 2013, 2012.
4. International Workshops on Foundations of Object-Oriented Languages (FOOL) 2011.
5. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming
(IWACO) 2011, Deputy chair; 2008.
6. Foundations of Aspect-Oriented Languages (FOAL) 2011.

10 / 10 Werner M. Dietl
As sub-reviewer:
1. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011, 2009.
2. European Symposium on Programming (ESOP) 2011, 2008.
3. International Conference on Software Engineering (ICSE) 2011.
4. Technology of Object-Oriented Languages and Systems (TOOLS) 2011, 2010, 2007.
5. European Conference on Object-Oriented Programming (ECOOP) 2010, 2008.
6. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming
(IWACO) 2007.
7. Perspectives of System Informatics (PSI) 2006.
8. Formal Techniques for Java-like Programs (FTfJP) 2004.
Service Activities
01/2005 – 10/2009: Department Conference: representative of the assistants in the department conference,
which is the quarterly assembly of professors, assistants, and students at the Department of Computer
Science, ETH Zurich.
10/2007 – 10/2009: Association of Computer Science Assistants at ETH Zurich (VMI): member of the
board.
07/2008: TOOLS EUROPE 2008: Objects, Models, Components, and Patterns: conference assistant.
06/2007: TOOLS EUROPE 2007: Objects, Models, Components, and Patterns: member of the organization
committee.
10/2005: Verified Software: Theories, Tools, Experiments Conference: member of the organization
committee.
09/2004: IFIP TC 2 WG 2.3 Meeting in Prato, Italy: local co-organizer.
Last updated: December 15 th , 2012