2013
Shuvendu Lahiri, Ken McMillan, Rahul Sharma, and Chris Hawblitzel, Differential Assertion Checking, in Foundations of Software Engineering (FSE'13), 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
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
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
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
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
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
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
K. Rustan M. Leino and Michał Moskal, Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier, no. MSR-TR-2013-49, 1 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
Matthew Fredrikson and Benjamin Livshits, Z0: An Optimizing Distributing Zero-Knowledge Compiler, no. MSR-TR-2013-43, 9 April 2013
Margus Veanes, Minimization of Symbolic Automata, no. MSR-TR-2013-48, April 2013
James Bornholt, Todd Mytkowicz, and Kathryn S. McKinley, Uncertain<T>: A First-Order Type for Uncertain Data, no. MSR-TR-2013-46, 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
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel, Differential Assertion Checking, no. MSR-TR-2013-34, 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
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
Loris D'Antoni and Margus Veanes, Static Analysis of String Encoders and Decoders, in VMCAI 2013, Springer Verlag, 2013
Loris D'Antoni and Margus Veanes, Equivalence of Extended Symbolic Finite Transducers, no. MSR-TR-2013-4, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
K. Rustan M. Leino and Aleksandar Milicevic, Program Extrapolation with Jennisys, no. MSR-TR-2012-12, 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
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
Saurabh Joshi, Shuvendu Lahiri, and Akash Lal, Underspecified Harnesses and Interleaved Bugs, in Principles of Programming Languages (POPL) 2012, ACM SIGPLAN, January 2012
Rishabh Singh and Sumit Gulwani, Learning Semantic String Transformations from Examples, no. MSR-TR-2012-5, 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
Christoph M. Wintersteiger, Youssef Hamadi, and Leonardo de Moura, Efficiently Solving Quantified Bit-Vector Formulas, in Formal Methods in System Design, Springer, 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
Margus Veanes and Nikolaj Bjorner, Alternating simulation and IOCO, in International Journal on Software Tools for Technology Transfer (STTT) , Springer, 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, 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
Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, and Henrique Rebelo, Towards Modularly Comparing Programs using Automated Theorem Provers, no. MSR-TR-2011-112, October 2011
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Mooly Sagiv, Eventually Consistent Transactions (full version), no. MSR-TR-2011-117, 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
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
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
Christian Bird, Sociotechnical Coordination and Collaboration in Open Source Software, in Proceedings of the 27th IEEE International Conference on Software Maintenance, IEEE, 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
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
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
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
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
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
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
Pieter Hooimeijer and Margus Veanes, An Evaluation of Automata Algorithms for String Analysis, in VMCAI 2011, Springer Verlag, 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
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
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
Margus Veanes and Nikolaj Bjorner, Symbolic Tree Transducers, in Ershov Informatics Conference (PSI'11), Springer, 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
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
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
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
Margus Veanes and Nikolaj Bjorner, Alternating Simulation and IOCO, in ICTSS'10, Springer Verlag, November 2010
Patrice Godefroid, Higher-Order Test Generation, no. MSR-TR-2010-160, 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
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
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
Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebelo, Conditional equivalence, no. MSR-TR-2010-119, 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
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
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
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
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
Shuvendu K. Lahiri and Julien Vanegue, ExplainHoudini: Making Houdini inference transparent, no. MSR-TR-2010-118, 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
Pieter Hooimeijer and Margus Veanes, An Evaluation of Automata Algorithms for String Analysis, no. MSR-TR-2010-90, 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
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
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
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
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 and Nikolaj Bjorner, Alternating Simulation and IOCO, no. MSR-TR-2010-38, 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
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
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
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
Patrice Godefroid and David Molnar, Fuzzing in The Cloud (Position Statement), no. MSR-TR-2010-29, 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
Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., 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
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
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
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
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
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
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
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
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
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
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
Shuvendu K. Lahiri and Shaz Qadeer, Call invariants, no. MSR-TR-2009-13, July 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
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
Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann, Symbolic Query Exploration, no. MSR-TR-2009-65, 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
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
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 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
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, 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
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
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
S. Burckhardt and M. Musuvathi, Effective Program Verification for Relaxed Memory Models, in Computer-Aided Verification (CAV), Springer Verlag, 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
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
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
Sebastian Burckhardt and Madanlal Musuvathi, Effective Program Verification for Relaxed Memory Models, no. MSR-TR-2008-12, January 2008
Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, Model-Based Software Testing and Analysis with C#, Cambridge University Press, 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
