RV 2010 Best Paper Awards

Best regular/short paper:

• Efficient Data Race Detection for Async-Finish Parallelism
  Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev and Eran Yahav

Best tool/demo paper:

• ESAT: A Tool for Animating Logic-based Specifications of Evolvable Component Systems
  Djihed Afifi, David Rydeheard and Howard Barringer