| 2017 | ECOOP | Challenges to Achieving High Availability at Scale (Invited Talk). | Wolfram Schulte |
| 2016 | FAST | Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). | Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte |
| 2016 | ICSE | CloudBuild: Microsoft's distributed and caching build service. | Hamed Esfahani, Jonas Fietz, Qi Ke, Alexei Kolomiets, Erica Lan, Erik Mavrinac, Wolfram Schulte, Newton Sanches, Srikanth Kandula |
| 2014 | ASPLOS | Data-parallel finite-state machines. | Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte |
| 2014 | FM | Formalizing and Verifying a Modern Build Language. | Maria Christakis, K. Rustan M. Leino, Wolfram Schulte |
| 2014 | OOPSLA | Automated migration of build scripts using dynamic analysis and search-based refactoring. | Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
| 2013 | CGO | SIMD parallelization of applications that traverse irregular data structures. | Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte |
| 2013 | ICTAC | FORMULA 2.0: A Language for Formal Specifications. | Ethan K. Jackson, Wolfram Schulte |
| 2012 | ICSE | Cancer treatment planning: formal methods to the rescue. | Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte |
| 2012 | ICSE | Ten years of automated code analysis at Microsoft (Invited industrial talk). | Wolfram Schulte |
| 2012 | MODELS | Detecting Specification Errors in Declarative Languages with Constraints. | Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjrner |
| 2011 | ICLP | Canonical Regular Types. | Ethan K. Jackson, Nikolaj S. Bjrner, Wolfram Schulte |
| 2011 | MODELS | Finding Models in Model-Based Development - (Abstract). | Wolfram Schulte, Ethan K. Jackson |
| 2010 | CAV | Local Verification of Global Invariants in Concurrent Programs. | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
| 2010 | FASE | Reusing Model Transformations While Preserving Properties. | Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai |
| 2010 | ICSE | Automatic parallelization of programming languages: past, present and future. | Wolfram Schulte, Nikolai Tillmann |
| 2010 | OOPSLA | SPUR: a trace-based JIT compiler for CIL. | Michael Bebenita, Florian Brandner, Manuel Fhndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
| 2010 | OOPSLA | Teaching and training developer-testing techniques and tool support. | Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte |
| 2009 | CCS | From dependable multi-user to dependable multi-application operating systems: invited talk. | Wolfram Schulte |
| 2009 | DSN | Fitness-guided path exploration in dynamic symbolic execution. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICSE | VCC: Contract-based modular verification of concurrent C. | Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte |
| 2009 | ICSE | An Empirical Study of Testing File-System-Dependent Software with Mock Objects. | Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICSE | Guided path exploration for regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICST | Mutation Analysis of Parameterized Unit Tests. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | OOPSLA | The design of a task parallel library. | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt |
| 2009 | RV | Runtime Verification of C Memory Safety. | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
| 2008 | FASE | An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. | Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte |
| 2008 | FORTE | Model Generation for Horn Logic with Stratified Negation. | Ethan K. Jackson, Wolfram Schulte |
| 2008 | FORTE | Protocol Modeling with Model Program Composition. | Margus Veanes, Wolfram Schulte |
| 2008 | ISSTA | Workshop on state-space exploration for automated testing (SSEAT 2008). | Darko Marinov, Wolfram Schulte |
| 2007 | ESOP | Using History Invariants to Verify Observers. | K. Rustan M. Leino, Wolfram Schulte |
| 2007 | FORTE | Composition of Model Programs. | Margus Veanes, Colin Campbell, Wolfram Schulte |
| 2007 | ICECCS | Pex - An Intelligent Assistant for Rigorous Developer Testing. | Wolfram Schulte |
| 2007 | ICECCS | Experiments in Verifying Low Level Concurrent C Code. | Wolfram Schulte |
| 2006 | ICFEM | A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. | Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte |
| 2006 | ICFEM | Discovering Likely Method Specifications. | Nikolai Tillmann, Feng Chen, Wolfram Schulte |
| 2005 | ECOOP | The Essence of Data Access in C | Gavin M. Bierman, Erik Meijer, Wolfram Schulte |
| 2005 | FM | Testing Concurrent Object-Oriented Systems with Spec Explorer. | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
| 2005 | SEFM | Safe Concurrency for Aggregate Objects with Invariants. | Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte |
| 2005 | TACAS | Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. | Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin |
| 2004 | ISSTA | Optimal strategies for testing nondeterministic systems. | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
| 2004 | SEFM | Exception Safety for C#. | K. Rustan M. Leino, Wolfram Schulte |
| 2002 | ISSTA | Generating finite state machines from abstract state machines. | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
| 2000 | CSL | Translating Theory into Practice - Abstract State Machines within Microsoft. | Wolfram Schulte |
| 2000 | IFM | Why Doesn't Anyone Use Formal Methods? | Wolfram Schulte |
| 1998 | MFCS | Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. | Egon Brger, Wolfram Schulte |
| 1997 | GI | Functional Object-Oriented Programming with Object-Gofer. | Wolfram Schulte, Klaus Achatz |
| 1995 | MPC | Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. | Klaus Achatz, Wolfram Schulte |