Difference between revisions of "Best Papers"

From Aito
Jump to: navigation, search
(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, …')
 
 
(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
Starting in 2008 the ECOOP program committee has selected the Best Papers from the accepted technical papers. This page lists the winning papers.
 
Starting in 2008 the ECOOP program committee has selected the Best Papers from the accepted technical papers. This page lists the winning papers.
 +
 +
==ECOOP 2016==
 +
 +
 +
;J. Gil and T. Levy:   
 +
:[http://drops.dagstuhl.de/opus/volltexte/2016/6104/ Formal Language Recognition with the Java Type Checker].
 +
;Y. Li, T. Tan, Y. Zhang, and J. Xue:
 +
:[http://drops.dagstuhl.de/opus/volltexte/2016/6109/ Program Tailoring: Slicing by Sequential Criteria].
 +
;J. Swalens, J. De Koster, and W. De Meuter:
 +
:[http://drops.dagstuhl.de/opus/volltexte/2016/6117/ Transactional Tasks: Parallelism in Software Transactions].
 +
 +
==ECOOP 2015==
 +
 +
;A. Takikawa, D. Feltey, E. Dean, R. Findler, M. Flatt, S. Tobin-Hochstadt, and M. Felleisen:
 +
:[http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=5215  Towards Practical Gradual Typing].
 +
 +
==ECOOP 2014==
 +
 +
;Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin and Jonathan Aldrich:
 +
:[http://link.springer.com/chapter/10.1007%2F978-3-662-44202-9_5 Safely Composable Type-Specific Languages].
 +
 +
;Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and Martin Hirzel:
 +
:[http://link.springer.com/chapter/10.1007%2F978-3-662-44202-9_15 Stream Processing with a Spreadsheet].
 +
 +
==ECOOP 2013==
 +
 +
;Cormac Flanagan and Stephen N. Freund:
 +
:[http://link.springer.com/chapter/10.1007%2F978-3-642-39038-8_11 RedCard: Redundant Check Elimination for Dynamic Race Detectors].
 +
 +
==ECOOP 2012==
 +
 +
;William Cook and Bruno Olivera:
 +
:[http://link.springer.com/chapter/10.1007/978-3-642-31057-7_2 Extensibility for the Masses: Practical Extensibility with Object Algebras].
  
 
==ECOOP 2011==
 
==ECOOP 2011==
  
;Werner Dietl, Michael D. Ernst, Peter Müller:
+
;Werner Dietl, Michael D. Ernst and Peter Müller:
 
:[http://www.springerlink.com/content/bu6mt17488478700/ Tunable Static Inference for Generic Universe Types].
 
:[http://www.springerlink.com/content/bu6mt17488478700/ Tunable Static Inference for Generic Universe Types].
  
Line 11: Line 44:
  
 
==ECOOP 2009==
 
==ECOOP 2009==
;Davide Ancona, Giovanni Lagorio:
+
;Davide Ancona and Giovanni Lagorio:
 
:[http://www.springerlink.com/content/732721h844481535/ Coinductive Type Systems for Object-Oriented Languages]
 
:[http://www.springerlink.com/content/732721h844481535/ Coinductive Type Systems for Object-Oriented Languages]
;Einar W. Høst, Bjarte M. Østvold:
+
;Einar W. Høst and Bjarte M. Østvold:
 
:[http://www.springerlink.com/content/56822p5243g63643/ Debugging Method Names]
 
:[http://www.springerlink.com/content/56822p5243g63643/ Debugging Method Names]
  
 
==ECOOP 2008==
 
==ECOOP 2008==
;Anindya Banerjee, David A. Naumann, Stan Rosenberg:
+
;Anindya Banerjee, David A. Naumann and Stan Rosenberg:
 
:[http://www.springerlink.com/content/c715v26v702673g1 Regional Logic for Local Reasoning about Global Invariants]
 
:[http://www.springerlink.com/content/c715v26v702673g1 Regional Logic for Local Reasoning about Global Invariants]
;Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz:
+
;Adrian Lienhard, Tudor Gîrba and Oscar Nierstrasz:
 
:[http://www.springerlink.com/content/v178515tx1q25823 Practical Object-Oriented Back-in-Time Debugging]
 
:[http://www.springerlink.com/content/v178515tx1q25823 Practical Object-Oriented Back-in-Time Debugging]

Latest revision as of 16:54, 23 October 2016

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

ECOOP 2016[edit]

J. Gil and T. Levy
Formal Language Recognition with the Java Type Checker.
Y. Li, T. Tan, Y. Zhang, and J. Xue
Program Tailoring: Slicing by Sequential Criteria.
J. Swalens, J. De Koster, and W. De Meuter
Transactional Tasks: Parallelism in Software Transactions.

ECOOP 2015[edit]

A. Takikawa, D. Feltey, E. Dean, R. Findler, M. Flatt, S. Tobin-Hochstadt, and M. Felleisen
Towards Practical Gradual Typing.

ECOOP 2014[edit]

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin and Jonathan Aldrich
Safely Composable Type-Specific Languages.
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and Martin Hirzel
Stream Processing with a Spreadsheet.

ECOOP 2013[edit]

Cormac Flanagan and Stephen N. Freund
RedCard: Redundant Check Elimination for Dynamic Race Detectors.

ECOOP 2012[edit]

William Cook and Bruno Olivera
Extensibility for the Masses: Practical Extensibility with Object Algebras.

ECOOP 2011[edit]

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

ECOOP 2010[edit]

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

ECOOP 2009[edit]

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

ECOOP 2008[edit]

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