THIS SITE

Information for

Werner Dietl

Assistant Professor

Contact InformationWerner Dietl

Website

Research Interests

  • Programming Languages
  • Software Engineering
  • Software Correctness And Robustness

Education

  • 2009, Doctorate, Technical Sciences, Swiss Federal Institute of Technology
  • 2000, Master of Science, Computer Science, Bowling State University
  • 1999, Other, Applied Computer Science and Business, Salzburg University

Courses

  • SE 102 - Seminar
  • SE 499 - Project
  • ECE 654 - Software Reliability Engineering
  • SE 464 - Software Design and Architectures
  • SE 201 - Seminar
  • ECE 651 - Foundations of Software Engineering

Selected/Recent Publications

  • Barros, Paulo and Just, René and Millstein, Suzanne and Vines, Paul and Dietl, Werner and d’Amorim, Marcelo and Ernst, Michael D, Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version), University of Washington Department of Computer Science and Engineering, Seattle, WA, USA, Tech. Rep. UW-CSE-15-08-01, 2015
  • Dietl, Werner and Drossopoulou, Sophia and Müller, Peter, Separating ownership topology and encapsulation with generic universe types, ACM Transactions on Programming Languages and Systems (TOPLAS), 33(6), 2011
  • Dietl, Werner and Ernst, Michael and Müller, Peter, Tunable Universe Type Inference Technical Report 659 Department of Computer Science, ETH Zurich, , 2009
  • Dietl, Werner and Müller, Peter, Ownership type systems and dependent classes, Foundations of Object-Oriented Languages (FOOL), 2008
  • Cunningham, Dave and Dietl, Werner and Drossopoulou, Sophia and Francalanza, Adrian and Müller, Peter, UJ: Type Soundness for Universe Types, development, 2007
  • Wellenzohn, Dirk and Dietl, Werner, Implementation of a Universe type checker in ESC/Java2, Semester project, Department of Computer Science, ETH Zurich, 2005
  • Dietl, Werner and Müller, Peter, Universes: Lightweight Ownership for JML., Journal of Object Technology, 4(8), 2005, 5 - 32
  • Dietl, Werner and Meerwald, Peter and Uhl, Andreas, Protection of wavelet-based watermarking systems using filter parametrization, Signal Processing, 83(10), 2003, 2095 - 2116
  • Barni, M and Bartolini, F and Furon, T and Zhang, T and Ping, Xijian and Dietl, W and Meerwald, P and Uhl, A and Paquet, AH and Ward, RK and others, Guest Editors: S. Voloshynovskiy, T. Pun, J. Fridrich, F. Perez-Gonzalez and N. Memon, Signal Processing, 83(10), 2003
  • DIETL, WM, History Maps, Salzburg, Austria: University of Salzburg, Computer Science Department. Retrieved June, 14, 2000
  • Gordon, Colin S and Dietl, Werner and Ernst, Michael D and Grossman, Dan, JavaUI: Effects for Controlling UI Object Access (Extended Version)⋆,
  • Dietl, Werner and Müller, Peter, 2007 State of the Universe Address, Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
  • {i}vanç and Schiller, Todd and Sezgin, Ali and Tasiran, Serdar and Muslu, Kivanc and Qadeer, Shaz, ACHIEVEMENTS AND AWARDS, Cell, 1(206), 849 - 1411
  • Dietl, Werner and Ernst, Michael and Müller, Peter, Tunable Universe Type Inference Technical Report 659 Department of Computer Science, ETH Zurich,
  • Barros, Paulo and Just, René and Millstein, Suzanne and Vines, Paul and Dietl, Werner and Ernst, Michael D and others, Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T), Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, January 2015, 669 - 679
  • Ernst, Michael D and Just, René and Millstein, Suzanne and Dietl, Werner and Pernsteiner, Stuart and Roesner, Franziska and Koscher, Karl and Barros, Paulo Barros and Bhoraskar, Ravi and Han, Seungyeop and others, Collaborative verification of information flow for a high-assurance app store, Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, January 2014, 1092 - 1104
  • Gordon, Colin S and Dietl, Werner and Ernst, Michael D and Grossman, Dan, Java UI: effects for controlling UI object access, European Conference on Object-Oriented Programming, January 2013, 179 - 204
  • Gordon, Colin S and Dietl, Werner and Ernst, Michael D and Grossman, Daniel Joseph, Java UI, 27th European Conference on Object-Oriented Programming, ECOOP 2013, January 2013
  • Dietl, Werner and Dietzel, Stephanie and Ernst, Michael D and Mote, Nathaniel and Walker, Brian and Cooper, Seth and Pavlik, Timothy and Popović, Zoran, Verification games: Making verification fun, Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, January 2012, 42 - 49
  • Spishak, Eric and Dietl, Werner and Ernst, Michael D, A type system for regular expressions, Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, January 2012, 20 - 26
  • Huang, Wei and Milanova, Ana and Dietl, Werner and Ernst, Michael D, ReIm & ReImInfer: Checking and inference of reference immutability and method purity, ACM SIGPLAN Notices, January 2012, 879 - 896
  • Huang, Wei and Dietl, Werner and Milanova, Ana and Ernst, Michael D, Inference and checking of object ownership, European Conference on Object-Oriented Programming, January 2012, 181 - 206
  • Dietl, Werner and Ernst, Michael D and Müller, Peter, Tunable static inference for generic universe types, European Conference on Object-Oriented Programming, January 2011, 333 - 357
  • Sampson, Adrian and Dietl, Werner and Fortuna, Emily and Gnanapragasam, Danushen and Ceze, Luis and Grossman, Dan, EnerJ: Approximate data types for safe and general low-power computation, ACM SIGPLAN Notices, January 2011, 164 - 174
  • Dietl, Werner and Dietzel, Stephanie and Ernst, Michael D and Muşlu, Kivanç and Schiller, Todd W, Building and using pluggable type-checkers, Proceedings of the 33rd International Conference on Software Engineering, January 2011, 681 - 690
  • Dietl, Werner, Universe Types-Topologie, Kapselung, Generizität und Tools., Ausgezeichnete Informatikdissertationen, January 2009, 51 - 60
  • Dietl, Werner and Müller, Peter, Runtime universe type inference, International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), January 2007, 72 - 80
  • Dietl, Werner and Drossopoulou, Sophia and Müller, Peter, Generic universe types, European Conference on Object-Oriented Programming, January 2007, 28 - 53
  • Cunningham, Dave and Dietl, Werner and Drossopoulou, Sophia and Francalanza, Adrian and Müller, Peter and Summers, Alexander J, Universe types for topology and encapsulation, International Symposium on Formal Methods for Components and Objects, January 2007, 72 - 112
  • Dietl, Werner and Müller, Peter and Poetzsch-Heffter, Arnd, A type system for checking applet isolation in Java Card, International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, January 2004, 129 - 150
  • Dietl, Werner and Uhl, Andreas, Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures., ICME, January 2004, 2043 - 2046
  • Dietl, Werner and Müller, Peter, Exceptions in ownership type systems, Formal Techniques for Java-like Programs, January 2004, 49 - 54
  • Brachtl, Michael and Uhl, Andreas and Dietl, Werner, Key-dependency for a wavelet-based blind watermarking algorithm, Proceedings of the 2004 workshop on Multimedia and security, January 2004, 175 - 179
  • Dietl, Werner and Uhl, Andreas, Watermark security via secret wavelet packet subband structures, IFIP International Conference on Communications and Multimedia Security, January 2003, 214 - 225
  • Dietl, Werner M and Meerwald, Peter and Uhl, Andreas, Key-dependent pyramidal wavelet domains for secure watermark embedding, Electronic Imaging 2003, January 2003, 728 - 739
  • Dietl, WM and Meerwald, P and Uhl, A, Key-dependent pyramidal wavelet domains for secure watermark embedding [5020-74], PROCEEDINGS-SPIE THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING, January 2003, 728 - 740
  • Dietl, Werner and Müller, Peter, Object ownership in program verification, Aliasing in Object-Oriented Programming. Types, Analysis and Verification, , 318 manuscript pages
  • Cameron, Nicholas and Dietl, Werner, Comparing universes and existential ownership types,
  • Dietl, Werner Michael and Drossopoulou, Sophia and Müller, Peter, Formalization of Generic Universe Types,
  • Dietl, Werner Michael, Improving the security of wavelet-based watermarking systems,
  • Sampson, Adrian and Dietl, Werner and Fortuna, Emily and Gnanapragasam, Danushen and Ceze, Luis and Grossman, Dan, EnerJ: Approximate Data Types for Safe and General Low-Power Computation—Full Proofs, January 2011,
  • Dietl, Werner Michael, Universe Types Topology, Encapsulation, Genericity, and Tools, January
  • Dietl, Werner Michael, Universe Types, January
  • Leavens, Gary T and Poll, Erik and Clifton, Curtis and Cheon, Yoonsik and Ruby, Clyde and Cok, David and Müller, Peter and Kiniry, Joseph and Chalin, Patrice and Zimmerman, Daniel M and others, JML reference manual, January
  • Leavens, Gary T and Poll, Erik and Clifton, Curtis and Cheon, Yoonsik and Ruby, Clyde and Cok, David R and Müller, Peter and Kiniry, Joseph and Chalin, Patrice and Zimmerman, Daniel M and others, JML reference manual. Department of Computer Science, Iowa State University, January
  • Dietl, Werner and Müller, Peter and Schregenberger, Daniel, Universe Type System-Quick-Reference, January
  • Müller, Peter and Dietl, Werner, Konzepte objektorientierter programmierung, January
  • Lyner, Frank and Dietl, Werner, Runtime universe type inference, January
  • Leavens, Gary T and Poll, Erik and Clifton, Curtis and Cheon, Yoonsik and Ruby, Clyde and Cok, David and Müller, Peter and Kiniry, Joseph and Chalin, Patrice and Zimmerman, Daniel M and others, JML reference manual, 2008, January