Werner Dietl

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 10

Top Topics

Probabilistic Inference

Static Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Piyush Jha, Werner Dietl
OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference. SANER (2024)
Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl
Scalable and Precise Refinement Types for Imperative Languages. iFM (2023)
Puneet Gill, Werner Dietl, Mahesh Tripunitara
Least-Privilege Calls to Amazon Web Services. IEEE Trans. Dependable Secur. Comput. 20 (3) (2023)
Weitian Xing, Yuanhui Cheng, Werner Dietl
Ensuring correct cryptographic algorithm and provider usage at compile time. FTfJP@ECOOP (2021)
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl
Scalability and precision by combining expressive type systems and deductive verification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Nahid Juma, Werner Dietl, Mahesh Tripunitara
A computational complexity analysis of tunable type inference for Generic Universe Types. Theor. Comput. Sci. 814 (2020)
Tongtong Xiang, Jeff Y. Luo, Werner Dietl
Precise inference of expressive units of measurement types. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Charles Zhuo Chen, Werner Dietl
Don't Miss the End: Preventing Unsafe End-of-File Comparisons. NFM (2018)
Dan Brotherston, Werner Dietl, Ondrej Lhoták
Granullar: gradual nullable types for Java. CC (2017)
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE (2015)
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
Collaborative Verification of Information Flow for a High-Assurance App Store. CCS (2014)
Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
Java UI : Effects for Controlling UI Object Access. ECOOP (2013)
Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst
Inference and Checking of Object Ownership. ECOOP (2012)
Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic
Verification games: making verification fun. FTfJP@ECOOP (2012)
Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst
Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA (2012)
Eric Spishak, Werner Dietl, Michael D. Ernst
A type system for regular expressions. FTfJP@ECOOP (2012)
Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller
Building and using pluggable type-checkers. ICSE (2011)
Werner Dietl, Sophia Drossopoulou, Peter Müller
Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33 (6) (2011)
Werner Dietl, Michael D. Ernst, Peter Müller
Tunable Static Inference for Generic Universe Types. ECOOP (2011)
Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman
EnerJ: approximate data types for safe and general low-power computation. PLDI (2011)
Werner Dietl
Universe Types - Topologie, Kapselung, Generizität und Tools. Ausgezeichnete Informatikdissertationen (2009)
Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
Universe Types for Topology and Encapsulation. FMCO (2007)
Werner Dietl, Sophia Drossopoulou, Peter Müller
Generic Universe Types. ECOOP (2007)
Werner Dietl, Peter Müller
Universes: Lightweight Ownership for JML. J. Object Technol. 4 (8) (2005)
Michael Brachtl, Andreas Uhl, Werner Dietl
Key-dependency for a wavelet-based blind watermarking algorithm. MM&Sec (2004)
Werner Dietl, Andreas Uhl
Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures. ICME (2004)
Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
A Type System for Checking Applet Isolation in Java Card. CASSIS (2004)
Werner Dietl, Peter Meerwald, Andreas Uhl
Protection of wavelet-based watermarking systems using filter parametrization. Signal Process. 83 (10) (2003)
Werner Dietl, Andreas Uhl
Watermark Security via Secret Wavelet Packet Subband Structures. Communications and Multimedia Security (2003)
Werner Dietl, Peter Meerwald, Andreas Uhl
Key-dependent pyramidal wavelet domains for secure watermark embedding. Security and Watermarking of Multimedia Contents (2003)