Werner Dietl

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