Følg
Werner Dietl
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Verifisert e-postadresse på uwaterloo.ca - Startside
Tittel
Sitert av
Sitert av
År
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
9802011
Universes: Lightweight ownership for JML
W Dietl, P Müller
Journal of Object Technology 4 (8), 5-32, 2005
2472005
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
176*2008
Generic universe types
W Dietl, S Drossopoulou, P Müller
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
1492007
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
1402011
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
1292014
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
1112015
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
932012
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
612012
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
562011
Watermark security via wavelet filter parametrization
P Meerwald, A Uhl
Proceedings 2001 International Conference on Image Processing (Cat. No …, 2001
542001
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
382013
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
342008
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
292009
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20