Werner Dietl
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Verified email at uwaterloo.ca - Homepage
TitleCited byYear
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
6912011
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
2822008
Universes: Lightweight ownership for JML
W Dietl, P Müller
Journal of Object Technology 4 (8), 5-32, 2005
2272005
Generic universe types
W Dietl, S Drossopoulou, P Müller
European Conference on Object-Oriented Programming, 28-53, 2007
1332007
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
912014
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
862011
Static analysis of implicit control flow: Resolving java reflection and android intents (T)
P Barros, R Just, S Millstein, P Vines, W Dietl, MD Ernst
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
612015
Protection of wavelet-based watermarking systems using filter parametrization
W Dietl, P Meerwald, A Uhl
Signal Processing 83 (10), 2095-2116, 2003
542003
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
532012
Watermark security via wavelet filter parametrization
P Meerwald, A Uhl
Proceedings 2001 International Conference on Image Processing (Cat. No …, 2001
532001
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
512012
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
European Conference on Object-Oriented Programming, 181-206, 2012
442012
Tunable static inference for generic universe types
W Dietl, MD Ernst, P Müller
European Conference on Object-Oriented Programming, 333-357, 2011
372011
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
33*2008
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
292012
Universe Types Topology, Encapsulation, Genericity, and Tools
WM Dietl
Swiss Federal Institute of Technology Zurich, 2009
272009
Java UI : Effects for Controlling UI Object Access
CS Gordon, W Dietl, MD Ernst, D Grossman
European Conference on Object-Oriented Programming, 179-204, 2013
262013
Exceptions in ownership type systems
W Dietl, P Müller
Formal Techniques for Java-like Programs, 49-54, 2004
262004
Runtime universe type inference
W Dietl, P Müller
International Workshop on Aliasing, Confinement and Ownership in object …, 2007
222007
Object ownership in program verification
W Dietl, P Müller
Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013
202013
The system can't perform the operation now. Try again later.
Articles 1–20