Werner Dietl
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Verified email at - Homepage
Cited by
Cited by
EnerJ: Approximate data types for safe and general low-power computation
A Sampson, W Dietl, E Fortuna, D Gnanapragasam, L Ceze, D Grossman
ACM SIGPLAN Notices 46 (6), 164-174, 2011
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
Universes: Lightweight ownership for JML
W Dietl, P Müller
Journal of Object Technology 4 (8), 5-32, 2005
Generic universe types
W Dietl, S Drossopoulou, P Müller
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
Building and using pluggable type-checkers
W Dietl, S Dietzel, MD Ernst, K Muşlu, TW Schiller
Proceedings of the 33rd International Conference on Software Engineering …, 2011
Collaborative verification of information flow for a high-assurance app store
MD Ernst, R Just, S Millstein, W Dietl, S Pernsteiner, F Roesner, ...
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
Static analysis of implicit control flow: Resolving java reflection and android intents (t)
P Barros, R Just, S Millstein, P Vines, W Dietl, M d'Amorim, MD Ernst
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
ReIm & ReImInfer: Checking and inference of reference immutability and method purity
W Huang, A Milanova, W Dietl, MD Ernst
ACM SIGPLAN Notices 47 (10), 879-896, 2012
A type system for regular expressions
E Spishak, W Dietl, MD Ernst
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
Verification games: Making verification fun
W Dietl, S Dietzel, MD Ernst, N Mote, B Walker, S Cooper, T Pavlik, ...
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
Protection of wavelet-based watermarking systems using filter parametrization
W Dietl, P Meerwald, A Uhl
Signal Processing 83 (10), 2095-2116, 2003
Tunable static inference for generic universe types
W Dietl, MD Ernst, P Müller
European Conference on Object-Oriented Programming, 333-357, 2011
Watermark security via wavelet filter parametrization
P Meerwald, A Uhl
Proceedings 2001 International Conference on Image Processing (Cat. No …, 2001
Java UI : Effects for Controlling UI Object Access
CS Gordon, W Dietl, MD Ernst, D Grossman
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
Universe types for topology and encapsulation
D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ...
Formal Methods for Components and Objects, 72-112, 2008
Object ownership in program verification
W Dietl, P Müller
Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013
Universe Types Topology, Encapsulation, Genericity, and Tools
WM Dietl
Swiss Federal Institute of Technology Zurich, 2009
Exceptions in ownership type systems
W Dietl, P Müller
Formal Techniques for Java-like Programs, 49-54, 2004
Runtime universe type inference
W Dietl, P Müller
International Workshop on Aliasing, Confinement and Ownership in object …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20