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, …')
 
 
(9 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/AITO Distinguished Papers from the accepted technical papers. This page lists the winning papers.
 +
 
 +
==ECOOP 2019==
 +
 
 +
;Yossi Gil and Ori Roth:
 +
[https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=10805 Fling—A Fluent API Generator] (AITO Distinguished Paper Award).
 +
 
 +
==ECOOP 2018==
 +
 
 +
;Yannis Smaragdakis and George Kastrinis:
 +
[https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=9228 Defensive Points-To Analysis: Effective Soundness via Laziness] (AITO Distinguished Paper Award).
 +
 
 +
==ECOOP 2017==
 +
 
 +
;Jan-Oliver Kaiser, Hoang-Hai Dang,Derek Dreyer, Ori Lahav, and Viktor Vafeiadis:
 +
:[https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7275 Strong Logic for Weak Memory:Reasoning About Release-Acquire Consistency in Iris].
 +
 
 +
==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 59:
  
 
==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 18:25, 20 December 2019

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

ECOOP 2019[edit]

Yossi Gil and Ori Roth

Fling—A Fluent API Generator (AITO Distinguished Paper Award).

ECOOP 2018[edit]

Yannis Smaragdakis and George Kastrinis

Defensive Points-To Analysis: Effective Soundness via Laziness (AITO Distinguished Paper Award).

ECOOP 2017[edit]

Jan-Oliver Kaiser, Hoang-Hai Dang,Derek Dreyer, Ori Lahav, and Viktor Vafeiadis
Strong Logic for Weak Memory:Reasoning About Release-Acquire Consistency in Iris.

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