Werner Dietl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures. | Wolfram Pfeifer, Werner Dietl, Mattias Ulbrich |
| 2023 | IFM | Scalable and Precise Refinement Types for Imperative Languages. | Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
| 2021 | ECOOP | Ensuring correct cryptographic algorithm and provider usage at compile time. | Weitian Xing, Yuanhui Cheng, Werner Dietl |
| 2017 | CC | Granullar: gradual nullable types for Java. | Dan Brotherston, Werner Dietl, Ondrej Lhotk |
| 2014 | CCS | Collaborative Verification of Information Flow for a High-Assurance App Store. | Michael D. Ernst, Ren Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu |
| 2013 | ECOOP | Java UI : Effects for Controlling UI Object Access. | Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman |
| 2012 | ECOOP | Verification games: making verification fun. | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic |
| 2012 | ECOOP | Inference and Checking of Object Ownership. | Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst |
| 2012 | ECOOP | A type system for regular expressions. | Eric Spishak, Werner Dietl, Michael D. Ernst |
| 2012 | OOPSLA | Reim & ReImInfer: checking and inference of reference immutability and method purity. | Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst |
| 2011 | ECOOP | Tunable Static Inference for Generic Universe Types. | Werner Dietl, Michael D. Ernst, Peter Mller |
| 2011 | ICSE | Building and using pluggable type-checkers. | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivan Muslu, Todd W. Schiller |
| 2011 | PLDI | EnerJ: approximate data types for safe and general low-power computation. | Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman |
| 2007 | ECOOP | Generic Universe Types. | Werner Dietl, Sophia Drossopoulou, Peter Mller |