Editing Best Papers

From Aito
Jump to: navigation, search

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision Your text
Line 38: Line 38:
 
;Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and Martin Hirzel:
 
;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].
 
:[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==
 
==ECOOP 2012==
  
;William Cook and Bruno Olivera:
+
;William Cook, Bruno Olivera:
 
:[http://link.springer.com/chapter/10.1007/978-3-642-31057-7_2 Extensibility for the Masses: Practical Extensibility with Object Algebras].
 
:[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 and Peter Müller:
+
;Werner Dietl, Michael D. Ernst, 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 59: Line 54:
  
 
==ECOOP 2009==
 
==ECOOP 2009==
;Davide Ancona and Giovanni Lagorio:
+
;Davide Ancona, 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 and Bjarte M. Østvold:
+
;Einar W. Høst, 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 and Stan Rosenberg:
+
;Anindya Banerjee, David A. Naumann, 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 and Oscar Nierstrasz:
+
;Adrian Lienhard, Tudor Gîrba, 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]

Please note that all contributions to Aito are considered to be released under the Public Domain (see Aito:Copyrights for details). If you do not want your writing to be edited mercilessly and redistributed at will, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource. Do not submit copyrighted work without permission!

Cancel | Editing help (opens in new window)