Follow
Werner Dietl
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
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
9952011
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
3352008
Universes: Lightweight ownership for JML
W Dietl, P Müller
Journal of Object Technology 4 (8), 5-32, 2005
2502005
Generic universe types
W Dietl, S Drossopoulou, P Müller
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
1522007
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
1482011
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
1332014
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
1162015
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
1002012
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
642012
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
612012
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
602012
Protection of wavelet-based watermarking systems using filter parametrization
W Dietl, P Meerwald, A Uhl
Signal Processing 83 (10), 2095-2116, 2003
582003
Tunable static inference for generic universe types
W Dietl, MD Ernst, P Müller
European Conference on Object-Oriented Programming, 333-357, 2011
572011
Watermark security via wavelet filter parametrization
P Meerwald, A Uhl
Proceedings 2001 International Conference on Image Processing (Cat. No …, 2001
532001
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
372013
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
352008
Object ownership in program verification
W Dietl, P Müller
Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013
302013
Universe Types Topology, Encapsulation, Genericity, and Tools
WM Dietl
Swiss Federal Institute of Technology Zurich, 2009
302009
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
The system can't perform the operation now. Try again later.
Articles 1–20