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 Gligoric1, Farnaz Behrang2, Yilong Li1, Jeffrey Overbey2, Munawar Hafiz2, Darko Marinov1
    1University of Illinois at Urbana Champaign, 2Auburn 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"aec dist
    Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
    University of Colorado Boulder