W
Werner Dietl
Researcher at University of Waterloo
Publications - 38
Citations - 1799
Werner Dietl is an academic researcher from University of Waterloo. The author has contributed to research in topics: Type inference & Inference. The author has an hindex of 18, co-authored 37 publications receiving 1708 citations. Previous affiliations of Werner Dietl include ETH Zurich & University of Washington.
Papers
More filters
Journal ArticleDOI
EnerJ: approximate data types for safe and general low-power computation
TL;DR: EnerJ is developed, an extension to Java that adds approximate data types and a hardware architecture that offers explicit approximate storage and computation and allows a programmer to control explicitly how information flows from approximate data to precise data.
Journal ArticleDOI
Universes: Lightweight Ownership for JML.
Werner Dietl,Peter Müller +1 more
TL;DR: It is shown that the combination of the lightweight Universe type system and JML specifications is flexible enough to handle interesting implementations while keeping the annotation and checking overhead small.
Proceedings ArticleDOI
Generic universe types
TL;DR: An ownership type system for a Java-like programming language with generic types that combines the owner-as-modifier discipline with type genericity and requires modifications of an object to be initiated by its owner.
Proceedings ArticleDOI
Building and using pluggable type-checkers
TL;DR: Overall, it is found that the type checkers were easy to write, easy for novices to productively use, and effective in finding real bugs and verifying program properties, even for widely tested and used open source projects.
Proceedings ArticleDOI
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)
Paulo Barros,René Just,Suzanne Millstein,Paul Vines,Werner Dietl,Marcelo d'Amorim,Michael D. Ernst +6 more
TL;DR: In this paper, the authors present static analyses for two types of implicit control flow that frequently appear in Android apps: Java reflection and Android intents, which help to resolve where control flows and what data is passed.