THIS SITE

Information for

Werner Dietl

Assistant Professor

Contact InformationWerner Dietl

Website

Research Interests

  • Programming Languages
  • Software Engineering
  • Software Correctness And Robustness
  • Connectivity And Internet Of Things
  • Cybersecurity
  • Network Security
  • Infrastructure Integrity
  • IoT
  • Dependability And Security

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

  • ECE 452 - Software Design and Architectures
    • Taught in 2014
  • ECE 650 - Methods and Tools for Software Engineering
    • Taught in 2014, 2015
  • SE 401 - Seminar
    • Taught in 2015
  • SE 102 - Seminar
    • Taught in 2016
  • ECE 654 - Software Reliability Engineering
    • Taught in 2015, 2016
  • SE 499 - Project
    • Taught in 2015, 2016
  • SE 201 - Seminar
    • Taught in 2016
  • SE 464 - Software Design and Architectures
    • Taught in 2016, 2017
  • ECE 651 - Foundations of Software Engineering
    • Taught in 2016, 2017

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