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