Awards

Distinguished paper awards

• Empirical analysis of programming language adoption by Leo A. Meyerovich, Ariel S. Rabkin
  doi>10.1145/2509136.2509515

• Steering symbolic execution to less traveled paths by You Li, Zhendong Su, Linzhang Wang, Xuandong Li
  doi>10.1145/2509136.2509553

• Verifying quantitative reliability for programs that execute on unreliable hardware by Michael Carbin, Sasa Misailovic, Martin C. Rinard
  doi>10.1145/2509136.2509546

Distinguished artifact awards

• CDSchecker: checking concurrent data structures written with C/C++ atomics by Brian Norris, Brian Demsky
  doi>10.1145/2509136.2509514

• Effective race detection for event-driven programs by Veselin Raychev, Martin Vechev, Manu Sridharan
  doi>10.1145/2509136.2509538

• Storage strategies for collections in dynamically typed languages by Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt
  doi>10.1145/2509136.2509531