Best Papers
From Aito
Starting in 2008 the ECOOP program committee has selected the Best Papers from the accepted technical papers. This page lists the winning papers.
Contents |
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
