BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dietl:Werner

Contributed to:

ECOOP 20132013
ECOOP 20122012
OOPSLA 20122012
ECOOP 20112011
ICSE 20112011
PLDI 20112011
ECOOP 20072007
ASE 20152015
CC 20172017

Wrote 9 papers:

ECOOP-2013-GordonDEG #java #user interface
Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.
Inference and Checking of Object Ownership (WH, WD, AM, MDE), pp. 181–206.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.