Publications
Publications

2015

Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan, The Design Space of Bug Fixes and How Developers Navigate It, in IEEE Transactions on Software Engineering, IEEE – Institute of Electrical and Electronics Engineers, December 2015

Abram Hindle, Christian Bird, Thomas Zimmermann, and Nachiappan Nagappan, Do Topics Make Sense to Managers and Developers?, in Empirical Software Engineering, Springer, December 2015

2014

André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas Zimmermann, Software Developers’ Perceptions of Productivity, in FSE '14: Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM – Association for Computing Machinery, November 2014

Gifford Cheung, Thomas Zimmermann, and Nachiappan Nagappan, The First Hour Experience: How the Initial Play can Engage (or Lose) New Players, in CHI PLAY '14: Proceedings of the First ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, ACM – Association for Computing Machinery, October 2014

David Lo, Nachiappan Nagappan, and Thomas Zimmermann, Appendix to The Health of Software Engineering Research, no. MSR-TR-2014-119, 5 September 2014

Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, and Syed Emran, Mining Energy Traces to Aid in Software Development: An Empirical Case Study, in ESEM '14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements, ACM – Association for Computing Machinery, September 2014

Konstantin Korovin and Margus Veanes, Skolemization Modulo Theories, in ICMS'14, Springer, August 2014

Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, and Sergey Bereg, Monadic Decomposition, in CAV'14, Springer, July 2014

Miryung Kim, Thomas Zimmermann, and Nachiappan Nagappan, An Empirical Study of Refactoring Challenges and Benefits at Microsoft, in IEEE Transactions on Software Engineering, vol. 40, no. 7, IEEE – Institute of Electrical and Electronics Engineers, July 2014

Andrew Begel and Thomas Zimmermann, Analyze This! 145 Questions for Data Scientists in Software Engineering, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), ACM, June 2014

Christian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, and Andreas Zeller, Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), ACM, June 2014

Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan, Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), ACM, June 2014

Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Tom Ball, and Judith Bishop, Tutorial: Create Rich Mobile Apps on Touch Devices, in Proceedings of the First International Conference on Mobile Software Engineering and Systems, , June 2014

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, and Luis Ceze, Expressing and Verifying Probabilistic Assertions, Programming Language Design and Implementation (PLDI), June 2014

Loris D'Antoni, Margus Veanes, Benjamin Livshits, and David Molnar, Fast: a Transducer-Based Language for Tree Manipulation, in PLDI 2014: Programming Language Design and Implementation, ACM, June 2014

Francesco Logozzo, Shuvendu Lahiri, Manuel Fahndrich, and Sam Blackshear, Verification Modulo Versions: Towards Usable Verification, in Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014), ACM SIGPLAN, June 2014

Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, and Tao Xie, Code Hunt: Searching for Secret Code for Fun, in Proceedings of the International Conference on Software Engineering (Workshops), ACM ICSE Workshop on Seach Based Software Testing 2014, 1 June 2014

Margus Veanes, Symbolic String Transformations with Regular Lookahead and Rollback, in Ershov Informatics Conference (PSI'14), Springer Verlag, June 2014

Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, and Nikolai Tillmann, Refactoring Local to Cloud Data Types for Mobile Apps, in Proceedings of the First International Conference on Mobile Software Engineering and Systems, , June 2014

Shaun Phillips, Thomas Zimmermann, and Christian Bird, Understanding and Improving Software Build Teams, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), ACM, June 2014

Nikolai Tillmann, Judith Bishop, Nigel Horspool, Daniel Perelman, and Tao Xie, Code Hunt - Searching for Secret Code for Fun, in Proceedings of the 7th International Workshop on Search-Based Software Testing , June 2014

Kenneth L. McMillan, Lazy Annotation Revisited, no. MSR-TR-2014-65, 16 May 2014

Benjamin Livshits and Todd Mytkowicz, Saving Money While Polling with InterPoll using Power Analysis, no. MSR-TR-2014-50, 15 April 2014

Mark Marron, Heap Analysis Design: An Empirical Approach, no. MSR-TR-2014-46, 11 April 2014

Earl T. Barr and Mark Marron, Tardis: Affordable Time-Travel Debugging in Managed Runtimes, no. MSR-TR-2014-47, 11 April 2014

Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, Robert DeLine, Danyel Fisher, John C. Platt, James F. Terwilliger, and John Wernsing, The Trill Incremental Analytics Engine, no. MSR-TR-2014-54, April 2014

Thomas Debeauvais, Thomas Zimmermann, Nachiappan Nagappan, Kevin Carter, Ryan Cooper, Dan Greenawalt, and Tyson Solberg, Off With Their Assists: An Empirical Study of Driving Skill in Forza Motorsports 4, in Proceedings of the 9th International Conference on the Foundations of Digital Games (FDG 2014), April 2014

Josh Berdine and Nikolaj Bjørner, Computing All Implied Equalities via SMT-based Partition Refinement, no. MSR-TR-2014-57, April 2014

Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, and Nikolai Tillmann, Addressing JavaScript JIT engines performance quirks: A crowdsourced adaptive compiler, in Proceedings of Compiler Construction - 23rd International Conference, CC 2014, , April 2014

Michał Moskal, Nikolai Tillmann, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, and Judith Bishop, Tap Here: A Diff-powered Programming Tutorial Engine, in Proceedings of 2nd Workshop on Programming Languages Technology for Massive Open Online Courses, April 2014

Daan Leijen, Koka: Programming with Row Polymorphic Effect Types, in Mathematically Structured Functional Programming 2014, EPTCS, 18 March 2014

Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan, Motion Sickness Susceptibility in Software Developers, no. MSR-TR-2014-24, 4 March 2014

Todd Mytkowicz, Madanlal Musuvathi, and Wolfram Schulte, Data-Parallel Finite-State Machines, Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2014

James Bornholt, Todd Mytkowicz, and Kathryn S. McKinley, Uncertain<T>: A First-Order Type for Uncertain Data, Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2014

Matt Fredrikson and Benjamin Livshits, Z0: An Optimizing Distributing Zero-Knowledge Compiler, no. MSR-TR-2014-27, 28 February 2014

Nick Nikiforakis, Wouter Joosen, and Benjamin Livshits, PriVaricator: Deceiving Fingerprinters with Little White Lies, no. MSR-TR-2014-26, 28 February 2014

Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz, Parallelizing Dynamic Programming Through Rank Convergence, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), February 2014

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski, Replicated Data Types: Specification, Verification, Optimality, in 41st Symposium on Principles of Programming Languages (POPL), ACM SIGPLAN, 22 January 2014

Benjamin Livshits and Todd Mytkowicz, InterPoll: Crowd-Sourced Internet Polls (Done Right), no. MSR-TR-2014-3, 7 January 2014

Stefano Dissegna, Francesco Logozzo, and Francesco Ranzato, Tracing Compilation by Abstract Interpretation, in Proceedings of the 41st Symposium on Programming Languages (POPL'14), ACM SIGPLAN, January 2014

Nikolai Tillmann, Peli de Halleux, Tao Xie, and Judith Bishop, Code Hunt: Gamifying Teaching and Learning of Computer Science at Scale, in Proceedings of the 1st ACM Conference on Learning at Scale, , 2014

Loris D'Antoni and Margus Veanes, Minimization of Symbolic Automata, in POPL'14, ACM, January 2014

Manuel Fähndrich, Lessons from a Web-based IDE and Runtime, in Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, ACM, New York, NY, USA, 2014

2013

Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, and Sergey Bereg, Effectively Monadic Predicates, in LPAR-19, Easychair, December 2013

Francesco Logozzo, Practical Specification and Verification with CodeContracts, in Proceedings of SigADA High Integrity Language Technology (HILT 2013), ACM, November 2013

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop, Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation, in Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Tool Demonstrations, November 2013

Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann, Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution, in Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), November 2013

Maria Christakis and Patrice Godefroid, Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing, no. MSR-TR-2013-120, November 2013

Francesco Logozzo, Technology for Inferring Contracts from Code, in Proceedings of SigADA High Integrity Language Technology (HILT 2013), ACM, November 2013

Andrew Begel and Thomas Zimmermann, Analyze This! 145 Questions for Data Scientists in Software Engineering, no. MSR-TR-2013-111, 28 October 2013

Patrice Godefroid, May/Must Abstraction-Based Software Model Checking For Sound Verification and Falsification, no. MSR-TR-2013-104, October 2013

Robert Cochran, Loris D'Antoni, and Benjamin Livshits, Program Boosting or Crowd-Sourcing for Correctness, no. MSR-TR-2013-94, 26 September 2013

Andrew Begel and Thomas Zimmermann, Appendix to Analyze This! 145 Questions for Data Scientists in Software Engineering, no. MSR-TR-2013-84, 14 September 2013

Sihan Li, Tao Xie, and Nikolai Tillmann, A Comprehensive Field Study of End-User Programming on Mobile Devices, in Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), September 2013

Akash Lal and Shaz Qadeer, Reachability Modulo Theories, in 7th International workshop on Reachability Problems (Invited Paper), September 2013

Daan Leijen, Koka: Programming with Row-Polymorphic Effect Types, no. MSR-TR-2013-79, 28 August 2013

Meiyappan Nagappan, Thomas Zimmermann, and Christian Bird, Diversity in Software Engineering Research, in Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), ACM, August 2013

Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth, Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation, in Foundations of Software Engineering (FSE'13), ACM, August 2013

Patrice Godefroid, Combining Model Checking and Testing, no. MSR-TR-2013-80, August 2013

Shuvendu Lahiri, Ken McMillan, Rahul Sharma, and Chris Hawblitzel, Differential Assertion Checking, in Foundations of Software Engineering (FSE'13), ACM, August 2013

K. Rustan M. Leino and Michał Moskal, Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier, no. MSR-TR-2013-49, 12 July 2013

Margus Veanes, Applications of Symbolic Finite Automata, in CIAA'13, Springer, July 2013

Loris D'Antoni and Margus Veanes, Equivalence of Extended Symbolic Finite Transducers, in 25th International Conference on Computer Aided Verification (CAV'13), Springer, July 2013

Patrice Godefroid, Micro Execution, no. MSR-TR-2013-72, July 2013

Nikolaj Bjorner, Kenneth L. McMillan, and Andrey Rybalchenko, On Solving Universally Quantified Horn Clauses, in Static Analysis Symposium, Springer, 20 June 2013

Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Jun Kato, Sean McDirmid, Michal Moskal, and Nikolai Tillmann, It's Alive! Continuous Feedback in UI Programming, in PLDI, ACM SIGPLAN, June 2013

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan de Halleux, Generating Test Suites with Augmented Dynamic Symbolic Execution, in Proceedings of the 7th International Conference on Tests & Proofs, June 2013

Sam Blackshear and Shuvendu Lahiri, Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings, in Programming Language Design and Implementation (PLDI'13), ACM, June 2013

Thomas Ball, Peli de Halleux, Daan Leijen, and Nikhil Swamy, Increasing Human-Tool Interaction via the Web, in 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ACM, June 2013

Manuel Fahndrich and Francesco Logozzo, Proceedings of the 20th Static Analysis Symposium, Springer Verlag, June 2013

Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebelo, Towards Modularly Comparing Programs using Automated Theorem Provers, in International Conference on Automated Deduction (CADE '13), Springer, June 2013

Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, and Benjamin Livshits, Verifying Higher-order Programs with the Dijkstra Monad, in ACM Programming Language Design and Implementation (PLDI) 2013, ACM, June 2013

Tuan A. Nguyen, Christoph Csallner, and Nikolai Tillmann, GROPG: A graphical on-phone debugger, in Proc. 35th ACM/IEEE International Conference on Software Engineering (ICSE), New Ideas and Emerging Results (NIER) track, May 2013

Nikolai Tillmann, Jonathan De Halleux, Tao Xie, Sumit Gulwani, and Judith Bishop, Teaching and Learning Programming and Software Engineering via Interactive Gaming, in Proc. 35th International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE), May 2013

Julien Vanegue and Shuvendu Lahiri, Towards practical reactive security audit using extended static checkers, in IEEE Symposium on Security and Privacy (Oakland'13), May 2013

Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet, in Proc. 3rd International Workshop on Games and Software Engineering (GAS 2013), May 2013

Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan, The Design of Bug Fixes, in Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), IEEE, May 2013

Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan, Appendix to The Design of Bug Fixes, no. MSR-TR-2013-22, 15 April 2013

Matthew Fredrikson and Benjamin Livshits, Z0: An Optimizing Distributing Zero-Knowledge Compiler, no. MSR-TR-2013-43, 9 April 2013

Jeff Huang, Thomas Zimmermann, Nachiappan Nagappan, Charles Harrison, and Bruce Phillips, Mastering the Art of War: How Patterns of Gameplay Influence Skill in Halo, in Proceedings of the International Conference on Human Factors in Computing Systems (CHI 2013), ACM, April 2013

Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, and Mooly Sagiv, Synthesis of Circular Compositional Program Proofs via Abduction, in 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 16 March 2013

Sebastian Burckhardt, Alexey Gotsman, and Hongseok Yang, Understanding Eventual Consistency, no. MSR-TR-2013-39, March 2013

Sunghun Kim, Thomas Zimmermann, Rahul Premraj, Nicolas Bettenburg, and Shivkumar Shivaji, Predicting Method Crashes with Bytecode Operations, in Proceedings of the 6th Annual India Software Engineering Conference (ISEC 2013), ACM, February 2013

Kenneth McMillan and Andrey Rybalchenko, Computing Relational Fixed Points using Interpolation, no. MSR-TR-2013-6, 17 January 2013

Cedric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, and Benjamin Livshits, Fully Abstract Compilation to JavaScript, in ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013, ACM, January 2013

Patrick Cousot, Radhia Cousot, Manuel Fahndrich, and Francesco Logozzo, Automatic Inference of Necessary Preconditions, in in Proceedings of the 14th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'13), Springer Verlag, January 2013

Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, and Wolfram Schulte, SIMD parallelization of applications that traverse irregular data structures, in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), vol. 0, pp. 1-10, IEEE Computer Society, Los Alamitos, CA, USA, 2013

Christoph M. Wintersteiger, Youssef Hamadi, and Leonardo de Moura, Efficiently Solving Quantified Bit-Vector Formulas, in Formal Methods in System Design, vol. 42, no. 1, pp. 3-23, Springer, 2013

Loris D'Antoni and Margus Veanes, Equivalence of Extended Symbolic Finite Transducers, no. MSR-TR-2013-4, January 2013

Loris D'Antoni and Margus Veanes, Static Analysis of String Encoders and Decoders, in VMCAI 2013, Springer Verlag, 2013

Vu Le, Jonathan de Halleux, Sumit Gulwani, and Zhendong Su, Keyword Programming for TouchDevelop, in Proceedings of the 11th international conference on Mobile systems, applications, and services, 2013

2012

Mehdi Bouaziz, Francesco Logozzo, and Manuel Fahndrich, Inference of Necessary Field Conditions with Abstract Interpretation , in 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Springer, December 2012

Benjamin Livshits, Dynamic Taint Tracking in Managed Runtimes, no. MSR-TR-2012-114, 19 November 2012

Magnus Madsen, Benjamin Livshits, and Michael Fanning, Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries, no. MSR-TR-2012-66, 8 November 2012

Christian Bird and Thomas Zimmermann, Assessing the Value of Branches with What-if Analysis, in Proceedings of the 20th International Symposium on Foundations of Software Engineering (FSE 2012), Association for Computing Machinery, Inc., November 2012

Miryung Kim, Thomas Zimmermann, and Nachiappan Nagappan, A Field Study of Refactoring Challenges and Benefits, in Proceedings of the 20th International Symposium on Foundations of Software Engineering (FSE 2012), Association for Computing Machinery, Inc., November 2012

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Sebastian Burckhardt, TouchDevelop — App Development on Mobile Devices, in Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration, ACM, November 2012

Patrick Cousot, Radhia Cousot, Francesco Logozzo, and Mike Barnett, An Abstract Interpretation Framework for Refactoring with Application to Extract Methods with Contracts, in Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12), ACM SIGPLAN, 23 October 2012

Francesco Logozzo and Tom Ball, Modular and Verified Automatic Program Repair, in Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12), ACM SIGPLAN, 23 October 2012

Francesco Logozzo, Patrick Cousot, Radhia Cousot, Manuel Fahndrich, and Mike Barnett, A Semantic Integrated Development Environment, in Companion of the Proceedings of the to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012), ACM SIGPLAN, October 2012

Kenneth Hullett, Nachiappan Nagappan, Eric Schuh, and John Hopson, Empirical Analysis of User Data in Game Software Development, in Proceedings of Empirical Software Engineering and Measurement, ACM, 25 September 2012

Abram Hindle, Christian Bird, Thomas Zimmermann, and Nachiappan Nagappan, Relating Requirements to Implementation via Topic Analysis, in Proceedings of the 2012 International Conference on Software Maintenance (ICSM 2012), IEEE, 25 September 2012

Emad Shihab, Christian Bird, and Thomas Zimmermann, The Effect of Branching Strategies on Software Quality, in Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Association for Computing Machinery, Inc., 19 September 2012

Sunghun Kim, Thomas Zimmermann, Rahul Premraj, Nicolas Bettenburg, and Shivkumar Shivaji, Predicting Method Crashes with Bytecode Operations, no. MSR-TR-2012-94, 10 September 2012

Meiyappan Nagappan, Thomas Zimmermann, and Christian Bird, Representativeness in Software Engineering Research, no. MSR-TR-2012-93, 5 September 2012

Jim Whitehead and Thomas Zimmermann, Introduction to the Special Issue on Mining Software Repositories in 2010, in Empirical Software Engineering, vol. 17, no. 4-5, pp. 500-502, Springer Verlag, August 2012

Todd Mytkowicz and Wolfram Schulte, Maine: A Library for Data Parallel Finite Automata, no. MSR-TR-2012-62, July 2012

Patrice Godefroid and Mihalis Yannakakis, Analysis of Boolean Programs, no. MSR-TR-2012-71, July 2012

Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, and Henrique Rebelo, SymDiff: A language-agnostic semantic diff tool for imperative programs, in Computer Aided Verification (CAV '12) (Tool description), Springer, July 2012

Todd Mytkowicz and Wolfram Schulte, Waiting for Godot: The Right Language Abstractions for Parallel Programming Should be Here Soon, no. MSR-TR-2012-63, July 2012

Nikolaj Bjorner, Kenneth L. McMillan, and Andrey Rybalchenko, Program Verification as Satisfiability Modulo Theories, in 10th International Workshop on Satisfiability Modulo Theories, 30 June 2012

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Benjamin P. Wood, Cloud Types for Eventual Consistency, in Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP), Springer, 15 June 2012

Manuel Fahndrich, Michael Barnett, Daan Leijen, and Francesco Logozzo, Integrating a Set of Contract Checking Tools into Visual Studio, in Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012), IEEE, 3 June 2012

Raymond P.L. Buse and Thomas Zimmermann, Information Needs for Software Development Analytics, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012 SEIP Track), IEEE, June 2012

Christian Bird and Nachiappan Nagappan, Who? Where? What? Examining Distributed Development in Two Large Open Source Projects, in Proceedings of the International Working Conference on Mining Software Repositories, IEEE, June 2012

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, and Shaz Qadeer, RADISH: Always-On Sound and Complete Race Detection in Software and Hardware, in Proceedings of the 39th International Symposium on Computer Architecture, IEEE, June 2012

Tim Menzies and Thomas Zimmermann, Goldfish Bowl Panel: Software Development Analytics, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012 SEIP Track), IEEE, June 2012

Ting Coa, Tiejin Gao, Stephen M. Blackburn, and Kathryn S. McKinely, The Yin and Yang of Power and Performance for Asymmetric Hardware and Managed Software, in ACM/IEEE International Symposium on Computer Architecture, June 2012

Thomas Zimmermann, Nachiappan Nagappan, Philip J. Guo, and Brendan Murphy, Characterizing and Predicting Which Bugs Get Reopened, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012 SEIP Track), IEEE, June 2012

Clemens Kolbitsch, livshits, and zorn, Rozzle: De-Cloaking Internet Malware, in Proceedings of the Oakland Symposium on Security and Privacy, IEEE, 20 May 2012

Drew Davidson and Benjamin Livshits, MoRePriv: Mobile OS Support for Application Personalization and Privacy, no. MSR-TR-2012-50, 3 May 2012

Thomas Zimmermann, Bruce Phillips, Nachiappan Nagappan, and Chuck Harrison, Data-Driven Games User Research, in Proceedings of the CHI Workshop on Game User Research (CHI-GUR 2012), May 2012

Ella Bounimova, Patrice Godefroid, and David Molnar, Billions and Billions of Constraints: Whitebox Fuzz Testing in Production, no. MSR-TR-2012-55, May 2012

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Mooly Sagiv, Eventually Consistent Transactions, in Proceedings of the 22n European Symposium on Programming (ESOP), Springer, 24 March 2012

Nikhil Swamy, Joel Weinberger, Juan Chen, Ben Livshits, and Cole Schlesinger, Monadic Refinement Types for Verifying JavaScript Programs , no. MSR-TR-2012-37, 20 March 2012

Margus Veanes and Nikolaj Bjorner, Symbolic Automata: The Toolkit, in TACAS'12, Springer Verlag, March 2012

K. Rustan M. Leino and Aleksandar Milicevic, Program Extrapolation with Jennisys, no. MSR-TR-2012-12, February 2012

Thomas Zimmermann and Christian Bird, Collaborative Software Development in Ten Years: Diversity, Tools, and Remix Culture, in Proceedings of the CSCW Workshop on the Future of Collaborative Software Development (FutureCSD 2012), ACM, February 2012

Miryung Kim, Thomas Zimmermann, and Nachiappan Nagappan, Appendix to A Field Study of Refactoring Rationale, Benefits, and Challenges at Microsoft, no. MSR-TR-2012-4, 11 January 2012

Akash Lal, Shaz Qadeer, and Shuvendu Lahiri, Corral: A Solver for Reachability Modulo Theories, no. MSR-TR-2012-9, January 2012

Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, and Nikolaj Bjorner, Symbolic Finite State Transducers: Algorithms and Applications, in POPL’12, ACM SIGPLAN, January 2012

Rishabh Singh and Sumit Gulwani, Learning Semantic String Transformations from Examples, no. MSR-TR-2012-5, January 2012

Saurabh Joshi, Shuvendu Lahiri, and Akash Lal, Underspecified Harnesses and Interleaved Bugs, in Principles of Programming Languages (POPL) 2012, ACM SIGPLAN, January 2012

Francesco Logozzo, Our Experience with the CodeContracts Static Checker, in Proceedings of the Verified Software: Theories, Tools, and Experiments, Springer, January 2012

Pierre-Yves Strub, Nikhil Swamy, Cedric Fournet, and Juan Chen, Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq, in In Proceedings of the ACM Symposium on Principles on Programming Languages, ACM, January 2012

2011

Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, and Syed Emran, Detecting Energy Patterns in Software Development, no. MSR-TR-2011-106, 16 November 2011

Tim Menzies, Andrew Butcher, Andrian Marcus, and Thomas Zimmermann, Local vs Global Models for Effort Estimation and Defect Prediction, in Proceedings of the 26st IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), IEEE, November 2011

Margus Veanes and Nikolaj Bjorner, Alternating simulation and IOCO, in International Journal on Software Tools for Technology Transfer (STTT) , Springer, November 2011

Margus Veanes, David Molnar, Benjamin Livshits, and Lubomir Litchev, Generating Fast String Manipulating Code Through Transducer Exploration and SIMD Integration, no. MSR-TR-2011-124, November 2011

Kenneth L. McMillan, Interpolants from Z3 proofs, in Formal Methods in Computer-Aided Design, 30 October 2011

Clemens Kolbitsch, Benjamin Livshits, Benjamin Zorn, and Christian Seifert, Rozzle: De-Cloaking Internet Malware, no. MSR-TR-2011-94, 25 October 2011

Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, and Thomas Ball, Two for the Price of One: A Model for Parallel and Incremental Computation, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11), ACM SIGPLAN, Portland, Oregon, 22 October 2011

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Mooly Sagiv, Eventually Consistent Transactions (full version), no. MSR-TR-2011-117, October 2011

Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, and Henrique Rebelo, Towards Modularly Comparing Programs using Automated Theorem Provers, no. MSR-TR-2011-112, October 2011

Marat Akhin, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal, Code Similarity in TouchDevelop: Harnessing Clones, no. MSR-TR-2011-103, 9 September 2011

Alexander Tarvo, Thomas Zimmermann, and Jacek Czerwonka, An Integration Resolution Algorithm for Mining Multiple Branches in Version Control Systems (Industry Track), in Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011), IEEE, September 2011

Ayse Tosun Misirli, Brendan Murphy, Thomas Zimmermann, and Ayse Basar, An Explanatory Analysis on Eclipse Beta-Release Bugs Through In-Process Metrics, in Proceedings of the 8th International Workshop on Software Quality (WoSQ 2011), ACM, September 2011

Andreas Zeller, Thomas Zimmermann, and Christian Bird, Failure is a Four-Letter Word: A Parody in Empirical Research, in Proceedings of the 7th International Conference on Predictive Models in Software Engineering, ACM, September 2011

Nikhil Swamy, Juan Chen, Cedric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang, Secure Distributed Programming with Value-dependent Types, in The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), ACM SIGPLAN, September 2011

Christian Bird, Sociotechnical Coordination and Collaboration in Open Source Software, in Proceedings of the 27th IEEE International Conference on Software Maintenance, IEEE, September 2011

Manuel Fahndrich and Francesco Logozzo, Checking Compatibility of Bit Sizes in Floating Point Comparison Operations, in Proceedings of the 3rd workshop on Numerical and Symbolic Abstract Domains, Electronic Proceedings in Theoretical Computer Science, September 2011

Charles Curtsinger, Benjamin Livshits, Benjamin Zorn, and Christian Seifert, Zozzle: Low-overhead Mostly Static JavaScript Malware Detection., in Proceedings of the Usenix Security Symposium, USENIX, 8 August 2011

Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, and Michal Moskal, Transparent Privacy Control via Static Information Flow Analysis, no. MSR-TR-2011-93, 2 August 2011

Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, and Henrique Rebelo, Mutual Summaries: Unifying Program Comparison Techniques, no. MSR-TR-2011-78, August 2011

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, and Margus Veanes, Fast and Precise Sanitizer Analysis with BEK, in USENIX Security'11, August 2011

Daan Leijen, Sebastian Burckhardt, and Manuel Fahndrich, Prettier Concurrency: Purely Functional Concurrent Revisions, in Haskell Symposium 2011 (Haskell'11), ACM SIGPLAN, Tokyo, Japan, 7 July 2011

Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks, Lightweight Monadic Programming in ML, in Proceedings of the International Conference of Functional Programming (ICFP'11), ACM SIGPLAN, Tokyo, Japan, 1 July 2011

Sunghun Kim, Thomas Zimmermann, and Nachiappan Nagappan, Crash Graphs: An Aggregated View of Multiple Crashes to Improve Crash Triage (Practical Experience Report), in Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), IEEE, July 2011

Benjamin S. Lerner, Brian Burg, Wolfram Schulte, and H Venter, C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications, in 2nd USENIX Conference on Web Application Development, USENIX, 15 June 2011

Mike Barnett, Manuel Fahndrich, K. Rustan M. Leino, Peter Mueller, Wolfram Schulte, and Herman Venter, Specification and Verification: The Spec# Experience, in Communications of the ACM, vol. 54, no. 6, pp. 81--91, Association for Computing Machinery, Inc., June 2011

Matthew Fredrikson and Ben Livshits, RePriv: Re-Envisioning In-Browser Privacy, in Proceedings of the IEEE Symposium on Security and Privacy, IEEE Computer Society, 23 May 2011

Scott Kaplan, Benjamin Livshits, Ben Zorn, Christian Siefert, and Charlie Cursinger, "NOFUS: Automatically Detecting" + String.fromCharCode(32) + "ObFuSCateD ".toLowerCase() + "JavaScript Code", no. MSR-TR-2011-57, 5 May 2011

Leo A. Meyerovich, Todd Mytkowicz, and Wolfram Schulte, Data Parallel Programming for Irregular Tree Computations, in HotPAR, USENIX, May 2011

Benjamin Livshits and Thomas Zimmermann, DynaMine: Finding Usage Patterns and Their Violations by Mining Software Repositories, in Mining Software Specifications: Methodologies and Applications, CRC Press, May 2011

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, and Manuel Fahndrich, TouchDevelop - Programming Cloud-Connected Mobile Devices via Touchscreen, no. MSR-TR-2011-49, 15 April 2011

Jacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo, and Alex Teterev, CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows, in International Conference on Software Testing (ICST) 2011, IEEE, 30 March 2011

Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks, Lightweight Monadic Programming in ML, no. MSR-TR-2011-39, 24 March 2011

Nikhil Swamy, Juan Chen, Cedric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang, Secure Distributed Programming with Value-Dependent Types, no. MSR-TR-2011-37, 24 March 2011

Christian Bird, Brendan Murphy, Nachi Nagappan, and Thomas Zimmermann, Empirical Software Engineering at Microsoft Research, in Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW), Association for Computing Machinery, Inc., 19 March 2011

Margus Veanes, David Molnar, and Benjamin Livshits, Decision Procedures for Composition and Equivalence of Symbolic Finite State Transducers, no. MSR-TR-2011-32, 14 March 2011

Thomas Zimmermann, Nachiappan Nagappan, Kim Herzig, Rahul Premraj, and Laurie Williams, An Empirical Study of the Factors Relating Field Failures and Dependencies, in Proceedings of the 4th International Conference on Software Testing, Verification and Validation (ICST), IEEE, March 2011

Sebastian Burckhardt, Daan Leijen, and Manuel Fahndrich, Roll Forward, Not Back: A Case for Deterministic Conflict Resolution, in The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11), Newbeach, California, March 2011

Nikolai Tillmann, Jonathan de Halleux, and Tao Xie, Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science, no. MSR-TR-2011-41, March 2011

Philip J. Guo, Thomas Zimmermann, Nachiappan Nagappan, and Brendan Murphy, "Not My Bug!" and Other Reasons for Software Bug Report Reassignments, in Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW), Association for Computing Machinery, Inc., March 2011

Sebastian Burckhardt and Daan Leijen, Semantics of Concurrent Revisions, in European Symposium on Programming (ESOP'11), Springer Verlag, Saarbrucken, Germany, March 2011

Jacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo, and Alex Teterev, CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows, in International Conference on Software Testing, IEEE, March 2011

Song Liu, Karthik Pattabiraman, Thomas Moscibroda, and Ben Zorn, Flikker: Saving DRAM Refresh-power through Critical Data Partitioning, in 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM, March 2011

Patrice Godefroid and Daniel Luchaup, Automatic Partial Loop Summarization in Dynamic Test Generation, no. MSR-TR-2011-13, February 2011

Raymond P.L. Buse and Thomas Zimmermann, Information Needs for Software Development Analytics, no. MSR-TR-2011-8, 30 January 2011

Johannes Borgstrom, Juan Chen, and Nikhil Swamy, Verifying Stateful Programs with Substructural State and Hoare Types, in Programming Language meets Program Verification (PLPV 2011), ACM, 29 January 2011

Nikolaj Bjorner and Margus Veanes, Symbolic Transducers, no. MSR-TR-2011-3, 21 January 2011

Francesco Logozzo, Practical verification for the working programmer with CodeContracts and Abstract Interpretation - Invited Talk, in Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11), Springer Verlag, January 2011

Margus Veanes and Nikolaj Bjorner, Symbolic Tree Transducers, in Ershov Informatics Conference (PSI'11), Springer, 2011

Patrick Cousot, Radhia Cousot, and Francesco Logozzo, A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis, in Proceedings of the 38th Symposium on Programming Languages (POPL'11), Association for Computing Machinery, Inc., January 2011

Pieter Hooimeijer and Margus Veanes, An Evaluation of Automata Algorithms for String Analysis, in VMCAI 2011, Springer Verlag, January 2011

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, and Manuel Fahndrich, TouchDevelop: programming cloud-connected mobile devices via touchscreen, in Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, ACM, New York, NY, USA, 2011

Patrick Cousot, Radhia Cousot, and Francesco Logozzo, Contract Precondition Inference from Intermittent Assertions on Collections, in Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11), Springer Verlag, January 2011

2010

Charles Curtsinger, Benjamin Livshits, Benjamin Zorn, and Christian Seifert, Zozzle: Low-overhead Mostly Static JavaScript Malware Detection, no. MSR-TR-2010-156, 27 November 2010

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, and Margus Veanes, BEK: Modeling Imperative String Operations with Symbolic Transducers, no. MSR-TR-2010-154, 26 November 2010

Nachiappan Nagappan, Andreas Zeller, Thomas Zimmermann, Kim Herzig, and Brendan Murphy, Change Bursts as Defect Predictors, in Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering (ISSRE), IEEE, November 2010

Shuvendu K. Lahiri, Kapil Vaswani, and Tony Hoare, Differential Static Analysis: Opportunities, Applications, and Challenges, in 2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) , Association for Computing Machinery, Inc., November 2010

Stephan Neuhaus and Thomas Zimmermann, Security Trend Analysis with CVE Topic Models, in Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering (ISSRE), IEEE, November 2010

Patrice Godefroid, Higher-Order Test Generation, no. MSR-TR-2010-160, November 2010

Margus Veanes and Nikolaj Bjorner, Alternating Simulation and IOCO, in ICTSS'10, Springer Verlag, November 2010

Andrew Begel, Rob DeLine, and Thomas Zimmermann, Social Media for Software Engineering, in Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research (FoSER), Association for Computing Machinery, Inc., November 2010

Andrew Begel, Khoo Yit Phang, and Thomas Zimmermann, WhoseIsThat: Finding Software Engineers with Codebook (Research Demo), in Proceedings of the 16th International Symposium on Foundations of Software Engineering (FSE), Association for Computing Machinery, Inc., November 2010

Raymond P. L. Buse and Thomas Zimmermann, Analytics for Software Development, in Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research (FoSER), Association for Computing Machinery, Inc., November 2010

Manuel Fahndrich and Francesco Logozzo, Static contract checking with Abstract Interpretation, in Proceedings of the Conference on Formal Verification of Object-oriented Software (FoVeOOS 2010) , Springer Verlag, October 2010

Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebelo, Conditional equivalence, no. MSR-TR-2010-119, October 2010

Sebastian Burckhardt, Alexandro Baldassion, and Daan Leijen, Concurrent Programming with Revisions and Isolation Types, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), ACM SIGPLAN, Reno, NV, October 2010

Margus Veanes and Jonathan Jacky, Composing Model Programs for Analysis, in The Journal of Logic and Algebraic Programming, vol. 79, no. 7, pp. 467-482, Elsevier , October 2010

John Erickson, Madanlal Musuvathi, sebastian burckhardt, and kirk olynyk, Effective Data-Race Detection for the Kernel, in Operating System Design and Implementation (OSDI'10), USENIX, October 2010

Margus Veanes, Nikolaj Bjorner, and Leonardo de Moura, Symbolic Automata Constraint Solving, in LPAR-17, Springer Verlag, October 2010

Prateek Saxena, David Molnar, and Benjamin Livshits, ScriptGard: Preventing Script Injection Attacks in Legacy Web Applications with Automatic Sanitization, no. MSR-TR-2010-128, 20 September 2010

Manuel Fahndrich, Static Verification for Code Contracts, in SAS'10 Proceedings of the 17th international conference on Static analysis , Springer Verlag, September 2010

Emre Kıcıman and Benjamin Livshits, AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications, in ACM Transactions on the Web (TWEB), Association for Computing Machinery, Inc., September 2010

Matthew Fredrikson and Ben Livshits, RePriv: Re-Envisioning In-Browser Privacy, no. MSR-TR-2010-116, 27 August 2010

Raymond P. L. Buse and Thomas Zimmermann, Analytics for Software Development, no. MSR-TR-2010-111, 11 August 2010

Shuvendu K. Lahiri and Julien Vanegue, ExplainHoudini: Making Houdini inference transparent, no. MSR-TR-2010-118, August 2010

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, and Julien Vanegue, Towards scalable modular checking of user-defined properties, in Verified Software: Theories, Tools and Experiments (VSTTE 2010), Springer Verlag, August 2010

Mike Barnett and K. Rustan M. Leino, To Goto Where No Statement Has Gone Before, in VSTTE 2010, August 2010

Sebastian Burckhardt and Daan Leijen, Semantics of Concurrent Revisions, no. MSR-TR-2010-94, 15 July 2010

Jonathan de Halleux and Nikolai Tillmann, Moles: tool-assisted environment isolation with closures, in TOOLS'10, Springer Verlag, July 2010

Ross Tate, Daan Leijen, and Sorin Lerner, A Flexible Semantic Framework for Effects , July 2010

Suresh Thummalapenta, Jonathan Halleux, Nikolai Tillmann, and Scott Wadsworth, DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces, in TAP'10, Springer Verlag, July 2010

Pieter Hooimeijer and Margus Veanes, An Evaluation of Automata Algorithms for String Analysis, no. MSR-TR-2010-90, July 2010

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, and Roy Tan, Line-Up: A Complete and Automatic Linearizability Checker, in Programming Language Design and Implementation (PLDI), Association for Computing Machinery, Inc., 5 June 2010

Juan Chen, Nikhil Swamy, and Ravi Chugh, Type-preserving compilation for end-to-end verification of security enforcement, in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010, Association for Computing Machinery, Inc., June 2010

Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, and Hans-J. Boehm, Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races, in ISCA 2010 (International Symposium on Computer Architecture), Association for Computing Machinery, Inc., June 2010

Ross Tate, Juan Chen, and Chris Hawblitzel, Inferable Object-Oriented Typed Assembly Language, in ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) , Association for Computing Machinery, Inc., June 2010

Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, and Manuel Fahndrich, The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers, 24 May 2010

Andrew Begel and Thomas Zimmermann, Keeping up with your Friends: Function Foo, Library Bar.DLL, and Work Item 24, in Proceedings of Web2SE: First Workshop on Web 2.0 for Software Engineering, Association for Computing Machinery, Inc., 4 May 2010

Philip J. Guo, Thomas Zimmermann, Nachiappan Nagappan, and Brendan Murphy, Characterizing and Predicting Which Bugs Get Fixed: An Empirical Study of Microsoft Windows, in Proceedings of the 32th International Conference on Software Engineering (ICSE), Association for Computing Machinery, Inc., 2 May 2010

Andrew Begel, Khoo Yit Phang, and Thomas Zimmermann, Codebook: Discovering and Exploiting Relationships in Software Repositories, in Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering, Association for Computing Machinery, Inc., 2 May 2010

Wolfram Schulte and Nikolai Tillmann, Automatic Parallelization of Programming Languages: Past, Present and Future, in International Workshop on Multicore Software Engineering, May 2010

Thomas Zimmermann, Nachiappan Nagappan, and Laurie Williams, Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista, in Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST), IEEE, 6 April 2010

Margus Veanes, Peli de Halleux, and Nikolai Tillmann, Rex: Symbolic Regular Expression Explorer, in Third International Conference on Software Testing, Verification and Validation (ICST) , IEEE, April 2010

Margus Veanes, Nikolai Tillmann, and Peli de Halleux, Qex: Symbolic SQL Query Explorer, in LPAR-16, Springer Verlag, April 2010

Margus Veanes and Nikolaj Bjorner, Alternating Simulation and IOCO, no. MSR-TR-2010-38, April 2010

Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: A Trace-Based JIT Compiler for CIL, no. MSR-TR-2010-27, 25 March 2010

Sebastian Burckhardt, Madanlal Musuvathi, and Vasu Singh, Verifying Local Transformations of Concurrent Programs, in CC 2010: International Conference on Compiler Construction, Springer Verlag, 25 March 2010

Nikhil Swamy, Juan Chen, and Ravi Chugh, Enforcing Stateful Authorization and Information Flow Policies in Fine, in ESOP 2010: 19th European Symposium on Programming, Springer Verlag, 22 March 2010

Madanlal Musuvathi, Sebastian Burckhardt, Pravesh Kothari, and Santosh Nagarakatte, A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs, in Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010), Association for Computing Machinery, Inc., 16 March 2010

Martin Burtscher, Benjamin Livshits, Gaurav Sinha, and Benjamin G. Zorn, JSZap: Compressing JavaScript Code, no. MSR-TR-2010-21, 2 March 2010

Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., March 2010

Francesco Logozzo and Herman Venter, Rapid Atomic Type Analysis by Abstract Interpretation. Application to JavaScript optimization, in Proceedings of the International Conference on Compiler Construction, Springer Verlag, March 2010

Patrice Godefroid and David Molnar, Fuzzing in The Cloud (Position Statement), no. MSR-TR-2010-29, March 2010

Silvia Breu, Rahul Premraj, Jonathan Sillito, and Thomas Zimmermann, Information Needs in Bug Reports: Improving Cooperation Between Developers and Users, in Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW), Association for Computing Machinery, Inc., February 2010

Paruj Ratanaworabhan, Benjamin Livshits, David Simmons, and Benjamin Zorn, JSMeter: Measuring JavaScript Behavior in the Wild, no. MSR-TR-2010-8, 26 January 2010

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi, On the Verification Problem for Weak Memory Models, in Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., 20 January 2010

Katherine E. Coons, Madanlal Musuvathi, and Sebastian Burckhardt, GAMBIT: Effective Unit Testing for Concurrency Libraries, in Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, Inc., 11 January 2010

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing the Power of Alternation, in Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2010

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, and Gabor Karsai, Reusing Model Transformations While Preserving Properties, in Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, Springer Verlag, 2010

sebastian burckhardt, Pravesh Kothari, Madanlal Musuvathi, and Santosh Nagarakatte, A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs, no. MSR-TR-2010-3, January 2010

Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: a trace-based JIT compiler for CIL, in Proceedings of the ACM international conference on Object oriented programming systems languages and applications, ACM, New York, NY, USA, 2010

Shuvendu Lahiri, Alexander Malkis, and Shaz Qadeer, Abstract Threads, in Conference on Verification, Model Checking, and Abstract Interpretation, Springer Verlag, January 2010

2009

Paruj Ratanaworabhan, Benjamin Livshits, David Simmons, and Benjamin Zorn, JSMeter: Characterizing Real-World Behavior of JavaScript Programs, no. MSR-TR-2009-173, 8 December 2009

Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann, Symbolic Query Exploration, in ICFEM'09, Springer Verlag, December 2009

Margus Veanes, Nikolaj Bjorner, and Leonardo de Moura, Solving Extended Regular Constraints Symbolically, no. MSR-TR-2009-177, December 2009

Christian Bird, Nachiappan Nagappan, Harald Gall, Premkumar Devanbu, and Brendan Murphy, Using Socio-Technical Networks to Predict Failures, in Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), IEEE, November 2009

Laurie Williams, Gunnar Kudrjavets, and Nachiappan Nagappan, On the Effectiveness of Unit Test Automation at Microsoft, in Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), IEEE, November 2009

Thomas Zimmermann and Nachiappan Nagappan, Predicting Defects with Program Dependencies (Short Paper), in Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement (ESEM), IEEE Computer Society, October 2009

Audris Mockus, Nachiappan Nagappan, and Trung T. Dinh-Trong, Test Coverage and Post-Verification Defects: A Multiple Case Study, in Proceedings of the ACM-IEEE Empirical Software Engineering and Measurement Conference (ESEM), IEEE Computer Society, October 2009

Md. Mainur Rahman, Guenther Ruhe, and Thomas Zimmermann, Optimized Assignment of Developers for Fixing Bugs – An Initial Evaluation for Eclipse Projects (Short Paper), in Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement (ESEM), IEEE Computer Society, October 2009

Margus Veanes, Peli de Halleux, and Nikolai Tillmann, Rex: Symbolic Regular Expression Explorer, no. MSR-TR-2009-137, October 2009

Margus Veanes, Nikolai Tillmann, and Jonathan de Halleux, Qex: Symbolic SQL Query Explorer, no. MSR-TR-2009-2015, October 2009

David Ma, David Schuler, Thomas Zimmermann, and Jonathan Sillito, Expert Recommendation with Usage Expertise (Short Paper), in Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM), IEEE Computer Society, September 2009

Thomas Zimmermann, Nachiappan Nagappan, Harald Gall, Emanuel Giger, and Brendan Murphy, Cross-project Defect Prediction, in Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/ FSE), Association for Computing Machinery, Inc., August 2009

Gaeul Jeong, Sunghun Kim, and Thomas Zimmermann, Improving Bug Triage with Bug Tossing Graphs, in Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/ FSE), Association for Computing Machinery, Inc., August 2009

Chen Ding and Trishul Chilimbi, A Composable Model for Analyzing Locality of Multi-threaded Programs, no. MSR-TR-2009-107, August 2009

Christian Bird, Nachiappan Nagappan, Premkumar Devanbu, Harald Gall, and Brendan Murphy, Does distributed development affect software quality? An empirical case study of Windows Vista, in Communications of the ACM, vol. 52, no. 8, pp. 85–93, Association for Computing Machinery, Inc., New York, NY, USA, August 2009

Vijay Janapa Reddi, Benjamin Lee, Trishul Chilimbi, and Kushagra Vaid, Web Search Using Small Cores: Quantifying the Price of Efficiency, no. MSR-TR-2009-105, August 2009

DEFECTS '09: Proceedings of the 2nd International Workshop on Defects in Large Software Systems, Association for Computing Machinery, Inc., New York, NY, USA, July 2009

Shuvendu K. Lahiri and Shaz Qadeer, Call invariants, no. MSR-TR-2009-13, July 2009

Stephan Neuhaus and Thomas Zimmermann, The Beauty and the Beast: Vulnerabilities in Red Hat's Packages, in Proceedings of the 2009 USENIX Annual Technical Conference (USENIX ATC), USENIX, June 2009

Margus Veanes, Nikolaj Bjorner, Yuri Gurevich, and Wolfram Schulte, Symbolic Bounded Model Checking of Abstract State Machines, in Int J Software Informatics, vol. 3, no. (2-3), pp. 149-170, June 2009

Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy, LiteRace: Effective Sampling for Lightweight Data-Race Detection, in Conference on Programming Language Design and Implementation (PLDI '09), Association for Computing Machinery, Inc., June 2009

Andrew Begel, Nachiappan Nagappan, Christopher Poile, and Lucas Layman, Coordination in large-scale software teams, in Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering (CHASE), IEEE Computer Society, Washington, DC, USA, May 2009

Christian Bird, Nachiappan Nagappan, Premkumar Devanbu, Harald Gall, and Brendan Murphy, Does distributed development affect software quality? An empirical case study of Windows Vista, in Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (ICSE), IEEE Computer Society, Washington, DC, USA, May 2009

Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann, Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, in Proc. 31st International Conference on Software Engineering (ICSE'2009) , IEEE, May 2009

Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann, Symbolic Query Exploration, no. MSR-TR-2009-65, May 2009

Soonho Kong, Nikolai Tillmann, and Jonathan de Halleux, Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex, in Proc. 6th International Conference on Information Technology: New Generations (ITNG'09), IEEE, April 2009

Margus Veanes and Nikolaj Bjorner, Symbolic Bounded Conformance Checking of Model Programs, no. MSR-TR-2009-28, 14 March 2009

Shuvendu K. Lahiri and Shaz Qadeer, Complexity and algorithms for monomial and clausal predicate abstraction, in International Conference on Automated Deduction (CADE '09), Springer Verlag, March 2009

Sumit Gulwani and Eric Koskinen, Control-flow Refinement and Progress Invariants for Bound Analysis, no. MSR-TR-2009-32, March 2009

Constantin Sârbu, Nachiappan Nagappan, and Neeraj Suri, On Equivalence Partitioning of Code Paths inside OS Kernel Components, in Proceedings of the 2009 Software Technologies for Future Dependable Distributed Systems (STFSSD), IEEE Computer Society, Washington, DC, USA, March 2009

Shuvendu K. Lahiri, Shaz Qadeer, and Zvonimir Rakamaric, Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers, in Computer Aided Verification (CAV '09), Springer Verlag, February 2009

Ernie Cohen, Michal Moskal, Wolfram Schulte, and Stephan Tobies, A Practical Verification Methodology for Concurrent Programs, no. MSR-TR-2009-2019, February 2009

Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, and Thomas Wies, Intra-Module Inference, in Computer Aided Verification (CAV '09), Springer Verlag, February 2009

Nikolaj Bjørner, Nikolai Tillmann, and Andrei Voronkov, Path Feasibility Analysis for String-Manipulating Programs, in Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Springer Verlag, 2009

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, and Shaz Qadeer, Unifying Type Checking and Property Checking for Low-Level Code, in Principles of Programming Languages (POPL '09), Association for Computing Machinery, Inc., January 2009

Daan Leijen, Flexible types: robust type inference for first-class polymorphism, in 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09), ACM SIGPLAN, Savannah, Georgia, January 2009

2008

Manuel Fahndrich, Sriram K. Rajamani, and Jakob Rehof, Static Deadlock Prevention in Dynamically Configured Communication Networks, in Perspectives On Concurrency, Festchrift for Prof. P. S. Thiagarajan's 60th birthday, K. Lodaya, M. Mukund and R. Ramanujam (eds), Universities Press, December 2008

Madanlal Musuvathi, Shaz Qadeer, Tom Ball, Gerard Basler, Piramanayakam Arumuga Nainar, and Iulian Neamtiu, Finding and Reproducing Heisenbugs in Concurrent Programs, in OSDI 08: Eigth Symposium on Operating Systems Design & Implementation, USENIX, December 2008

Sebastian Burckhardt, Madanlal Musuvathi, and Vasu singh, Verifying Compiler Transformations for Concurrent Programs, no. MSR-TR-2008-171, November 2008

Sebastian Burckhardt and Alexandro Baldassin, Lightweight Software Transactions for Games, no. MSR-TR-2008-152, October 2008

S. Burckhardt and M. Musuvathi, Effective Program Verification for Relaxed Memory Models, in Computer-Aided Verification (CAV), Springer Verlag, July 2008

Sebastian Burckhardt and Madanlal Musuvathi, Memory Model Safety of Programs, July 2008

Carlos Pacheco, Shuvendu Lahiri, and Thomas Ball, Finding Errors in .NET with Feedback-Directed Random Testing, in International Symposium on Software Testing and Analysis (ISSTA '08), Association for Computing Machinery, Inc., July 2008

Margus Veanes, Nikolaj Bjørner, and Alexander Raschke, An SMT Approach to Bounded Reachability Analysis of Model Programs, in FORTE'08, Springer Verlag, June 2008

Margus Veanes, Ando Saabas, and Nikolaj Bjorner, Bounded reachability of model programs, no. MSR-TR-2008-81, May 2008

Nikolai Tillmann and Jonathan de Halleux, Pex - White Box Test Generation for .NET, in Proc. of Tests and Proofs (TAP'08), Springer Verlag, Prato, Italy, April 2008

Jonathan de Halleux and Nikolai Tillmann, Parameterized Unit Testing with Pex (Tutorial), in Proc. of Tests and Proofs (TAP'08), Springer Verlag, Prato, Italy, April 2008

Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, Model-Based Software Testing and Analysis with C#, Cambridge University Press, January 2008

Shuvendu Lahiri and Shaz Qadeer, Back to the Future: Revisiting Precise Program Verification using SMT Solvers, in Principles of Programming Languages (POPL '08), Association for Computing Machinery, Inc., January 2008

Nikolai Tillmann and Jonathan de Halleux, White-box testing of behavioral web service contracts with Pex, in TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications, Association for Computing Machinery, Inc., New York, NY, USA, 2008

Sebastian Burckhardt and Madanlal Musuvathi, Effective Program Verification for Relaxed Memory Models, no. MSR-TR-2008-12, January 2008

2007

Madanlal Musuvathi and Shaz Qadeer, Iterative context bounding for systematic testing of multithreaded programs, in PLDI 07: Programming Language Design and Implementation, Association for Computing Machinery, Inc., June 2007

K. Rustan M. Leino and Wolfram Schulte, A verifying compiler for a multi-threaded object-oriented language, in Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security , IOS Press, 2007

2005

Mike Barnett and K. Rustan M. Leino, Weakest-precondition of unstructured programs, in PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, ACM Press, New York, NY, USA, 2005