Best Papers

From Aito
Revision as of 17:52, 8 January 2012 by Stephan (Talk | contribs) (Created page with 'Starting in 2008 the ECOOP program committee has selected the Best Papers from the accepted technical papers. This page lists the winning papers. ==ECOOP 2011== ;Werner Dietl, …')

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Starting in 2008 the ECOOP program committee has selected the Best Papers from the accepted technical papers. This page lists the winning papers.

ECOOP 2011

Werner Dietl, Michael D. Ernst, Peter Müller
Tunable Static Inference for Generic Universe Types.

ECOOP 2010

Gilad Bracha, Peter Ahe, Vassili Bykov, Yaron Kashai, William Maddox and Eliot Miranda
Modules as Objects in Newspeak

ECOOP 2009

Davide Ancona, Giovanni Lagorio
Coinductive Type Systems for Object-Oriented Languages
Einar W. Høst, Bjarte M. Østvold
Debugging Method Names

ECOOP 2008

Anindya Banerjee, David A. Naumann, Stan Rosenberg
Regional Logic for Local Reasoning about Global Invariants
Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz
Practical Object-Oriented Back-in-Time Debugging