Home

Paper Candidates

[Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware] (http://dl.acm.org/citation.cfm?id=2509546) (Best Paper Award)
Michael Carbin, Sasa Misailovic, and Martin Rinard
In Proc. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '13)
Indianapolis, Indiana, 2013

[Data-driven Equivalence Checking] (http://dl.acm.org/citation.cfm?id=2509509)
Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken
In Proc. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '13)
Indianapolis, Indiana, 2013

[Resurrector: A Tunable Object Lifetime Profiling Technique for Optimizing Real-world Programs] (http://dl.acm.org/citation.cfm?id=2509512)
Guoqing Xu
In Proc. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '13)
Indianapolis, Indiana, 2013

[Using Managed Runtime Systems to Tolerate Holes in Wearable Memories] (http://dl.acm.org/citation.cfm?id=2462171)
Tiejun Gao, Karin Strauss, Stephen M. Blackburn, Kathryn S. McKinley, Doug Burger, James Larus
In Proc. Conference on Programming Language Design and Implementation (PLDI '13)
Seattle, Washington, 2013

[CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs] (http://dl.acm.org/citation.cfm?id=2462162)
Tayfun Elmas, Jacob Burnim, George Necula, and Koushik Sen
In Proc. Conference on Programming Language Design and Implementation (PLDI '13)
Seattle, Washington, 2013

[Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model] (http://dl.acm.org/citation.cfm?id=2491967)
Robin Morisset, Pankaj Pawan, and Francesco Zappa Nardelli
In Proc. Conference on Programming Language Design and Implementation (PLDI '13)
Seattle, Washington, 2013

[Parallel Synchronization-Free Approximate Data Structure Construction] (http://people.csail.mit.edu/rinard/paper/hotpar13.full.pdf)
Martin Rinard
In Proc. USENIX Workshop on Hot Topics in Parallelism (HotPar '13)
San Jose, California, 2013

[Understanding Eventual Consistency] (http://research.microsoft.com/apps/pubs/default.aspx?id=189249)
Sebastian Burckhardt, Alexey Gotsman, and Hongseok Yang
Technical report MSR-TR-2013-39, Microsoft Research
2013

[Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency] (http://arxiv.org/abs/1402.4043)
Radha Jagadeesan and James Riely
Draft on arxiv.org
2014