part of PLDI 2013 accepted papers

I collcet these data through Google (21 papers now), so maybe there are some errors on the data. There 2 papers from IBM realted, 3 papers related Microsoft, 2 papers from 

colorado, 1 paper from Purdue, MIT, routegers and cornnell.

 

0) Hongtao Yu, Hou-Jen Ko, Zhiyuan Li, "General Data Structure Expansion for Multi-threading" ACM SIGPLAN 2013 Conference on Programming Language Design and Implementation (PLDI), Seattle, Washington, USA 16 June 2013 -- 22 June 2013.

1)Fast Condensation of the Program Dependence Graph @ Nick P. Johnson David August

2) Formal Verification of SSA Optimizations @ Jianzhou Zhao Routgers

3) Thresher: Precise Refutations for Heap Reachability  @ Sam Blackshear colorado   IBM

4) Almost-correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings @Sam Blackshear colorado

5) Automated Feedback Generation for Introductory Programming Assignments, To appear in PLDI 2013, Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama @microsoft

6)Static Analysis for Probabilistic Programs, To appear in PLDI 2013, Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani  @microsoft 

7) Reconciling exhaustive pattern matching with objects @ Chinawat Isradisaikul cornell

8) "Dynamic Determinacy Analysis," joint with Max Schaefer, Julian Dolby, and Frank Tip, will appear at PLDI 2013. IBM

9) Specifying Protocols with Concolic Snippets 

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin and Rajeev Alur @university of Penn sylvania

10)  Complete Completion using Types and Weights. PLDI. 2013. 

11) Steal Tree: Low-Overhead Tracing of Work Stealing Schedulers [PLDI 2013]

| Jonathan Lifflander | Sriram Krishnamoorthy | Laxmikant Kale

12) Efficient synchronization for TSO [PLDI 2013]   @ Ediburg

13) Verifying Higher-order Programs with the Dijkstra Monad 

N. Swamy, J. Weinberger, C. Schlesinger, J. Chen and B. Livshits  @microsoft

14) CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs

Jacob Burnim, Tayfun Elmas, George Necula, Koushik Sen

15)  Asynchronous Functional Reactive Programming for GUIs
Evan Czaplicki and Stephen Chong.

16) Jeff Huang, Charles Zhang and Julian Dolby CLAP: Recording Local Executions to Reproduce Concurrency Failures. To appear in PLDI 2013.

17) Concurrent Libraries with Foresight. Guy Golan Gueta, G. Ramalingam, Mooly Sagiv, and Eran Yahav. To appear in PLDI'2013

18) Arjun Guha, Mark Reitblatt, and Nate Foster. Machine-Verified Network Controllers. 

19)Rely-Guarantee References for Refinement Types Over Aliased Mutable Data

20) Optimizing Database-Backed Applications with Program Synthesis 

Alvin Cheung, Samuel Madden, Armando Solar-Lezama @MIT