Travelled to:1 × China
1 × France
1 × Germany
1 × United Kingdom
3 × USA
Collaborated with:M.D.Ernst P.Müller W.Huang A.Milanova D.Grossman S.Drossopoulou D.Brotherston O.Lhoták C.S.Gordon S.Dietzel K.Muslu T.W.Schiller A.Sampson E.Fortuna D.Gnanapragasam L.Ceze P.Barros R.Just S.Millstein P.Vines M.d'Amorim
Talks about:type (5) infer (4) java (3) univers (2) generic (2) control (2) static (2) object (2) check (2) ui (2)
Person: Werner Dietl
DBLP: Dietl:Werner
Contributed to:
20132012
20122011
2011
20112007
2015
2017Wrote 9 papers:
- ECOOP-2013-GordonDEG #java #user interface
- Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.
- ECOOP-2012-HuangDME
- Inference and Checking of Object Ownership (WH, WD, AM, MDE), pp. 181–206.
- OOPSLA-2012-HuangMDE
- Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
- ECOOP-2011-DietlEM #static analysis
- Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
- ICSE-2011-DietlDEMS #using
- Building and using pluggable type-checkers (WD, SD, MDE, KM, TWS), pp. 681–690.
- PLDI-2011-SampsonDFGCG #approximate #data type #named #power management
- EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
- ECOOP-2007-DietlDM
- Generic Universe Types (WD, SD, PM), pp. 28–53.
- ASE-2015-BarrosJMVDdE #android #control flow #java #static analysis
- Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) (PB, RJ, SM, PV, WD, Md, MDE), pp. 669–679.
- CC-2017-BrotherstonDL #java #named
- Granullar: gradual nullable types for Java (DB, WD, OL), pp. 87–97.