Werner Dietl

Associate Professor

Contact Information

2009, Doctorate, Technical Sciences, Swiss Federal Institute of Technology
2000, Master of Science, Computer Science, Bowling Green State University
1999, Diplom-Ingenieur, Applied Computer Science and Business, Salzburg University

* Only courses taught in the past 5 years are displayed.

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

Currently considering applications from graduate students. A completed online application is required for admission; start the application process now.
Has Approved Doctoral Dissertation Supervisor (ADDS) status