Validated artifacts

The ECOOP Artifact Evaluation committee evaluated nine artifacts, out of those the following eight were found to meet or exceed expectations (see the call here).

• "Really Automatic Scalable Object-Oriented Reengineering"
  Marco  Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
  Chair of Software Engineering, ETH Zurich
• "Averroes: Whole-Program Analysis without the Whole Program"
  Karim Ali, Ondrej Lhoták
  University of Waterloo
• "Systematic Testing of Refactoring Engines on Real Software Projects"
  Milos Gligoric¹, Farnaz Behrang², Yilong Li¹, Jeffrey Overbey², Munawar Hafiz², Darko Marinov^{1
  1}University of Illinois at Urbana Champaign, ²Auburn University
• "Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions"
  Stefan  Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
  ETH Zurich
• "A Compositional Paradigm of Automating Refactorings"
  Mohsen  Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson
  University of Illinois at Urbana-Champaign
• "Feature-Oriented Programming with Object Algebra"
  Bruno C. d. S.  Oliveira, National University of Singapore
  Tijs Van Der Storm, Centrum Wiskunde & Informatica (CWI)
  Alex Loh and William R. Cook, University of Texas, Austin
• "A Comparative Study of Manual and Automated Refactorings"
  Stas  Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig
  University of Illinois at Urbana-Champaign
• "QUIC Graphs: Relational Invariant Generation for Containers"
  Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
  University of Colorado Boulder