Publication Microtasks: A Platform for Task Centered Collaboration Mohit Gupta, Joseph Joy, Krishna Mehra, Gopal Srinivasa MSR-TR-2009-20 | February 2009
Publication Improving the Productivity of Compiler Code Quality Analysis Hongbo Rong, Andy Ayers, David Gillies MSR-TR-2009-18 | February 2009
Publication Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code Ben Livshits, Salvatore Guarnieri MSR-TR-2009-43 | February 2009
Publication [old] A Practical Verification Methodology for Concurrent Programs Michal Moskal, Wolfram Schulte MSR-TR-2009-16159 | February 2009 Project
Publication Detecting and Tolerating Asymmetric Races Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Rahul Nagpal, Karthik Pattabiraman, Ben Zorn 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2009), Raleigh, NC | February 2009
Publication Intra-Module Inference Shuvendu Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies MSR-TR-2009-12 | February 2009 Computer Aided Verification (CAV '09) Project
Publication A Practical Verification Methodology for Concurrent Programs Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies MSR-TR-2009-2019 | February 2009 Project
Publication DKAL 2 – A Simplified and Improved Authorization Language Yuri Gurevich, Itay Neeman MSR-TR-2009-11 | February 2009
Publication Note on the Hardness of Bounded Budget Betweenness Centrality Game with Path Length Constraints Xiaohui Bei, Wei Chen, Jialin Zhang MSR-TR-2009-10 | February 2009
Publication Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric Computer Aided Verification (CAV ’09) | February 2009 Project Project Project