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 | 983 | 2011 |
Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005 | 247 | 2005 |
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 | 150 | 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 | 143 | 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 | 129 | 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 | 111 | 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 | 95 | 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 | 61 | 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 | 61 | 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 | 60 | 2012 |
Protection of wavelet-based watermarking systems using filter parametrization W Dietl, P Meerwald, A Uhl Signal Processing 83 (10), 2095-2116, 2003 | 58 | 2003 |
Tunable static inference for generic universe types W Dietl, MD Ernst, P Müller European Conference on Object-Oriented Programming, 333-357, 2011 | 56 | 2011 |
Watermark security via wavelet filter parametrization P Meerwald, A Uhl Proceedings 2001 International Conference on Image Processing (Cat. No …, 2001 | 54 | 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 | 39 | 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 | 35 | 2008 |
Object ownership in program verification W Dietl, P Müller Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013 | 30 | 2013 |
Universe Types Topology, Encapsulation, Genericity, and Tools WM Dietl Swiss Federal Institute of Technology Zurich, 2009 | 29 | 2009 |
Exceptions in ownership type systems W Dietl, P Müller Formal Techniques for Java-like Programs, 49-54, 2004 | 26 | 2004 |
Runtime universe type inference W Dietl, P Müller International Workshop on Aliasing, Confinement and Ownership in object …, 2007 | 22 | 2007 |