SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States

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