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.
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
Blackshear colorado IBM
4) Almost-correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings @Sam
Blackshear colorado
Blackshear colorado
5) Automated Feedback Generation for Introductory Programming Assignments, To appear in PLDI
2013, Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama @microsoft
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
2013, Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani @microsoft
7) Reconciling
exhaustive pattern matching with objects @ Chinawat Isradisaikul cornell
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
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.
PLDI. 2013.
11) Steal
Tree: Low-Overhead Tracing of Work Stealing Schedulers [PLDI 2013]
Tree: Low-Overhead Tracing of Work Stealing Schedulers [PLDI 2013]
| Jonathan Lifflander | Sriram Krishnamoorthy | Laxmikant Kale
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.
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.
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
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.
Network Controllers.
20) Optimizing Database-Backed Applications with Program Synthesis
Alvin Cheung, Samuel Madden, Armando Solar-Lezama @MIT