Wolfram Schulte

Affiliations:
  • Microsoft Research


According to our database1, Wolfram Schulte authored at least 119 papers between 1991 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Guest editorial for the special section on MODELS 2014.
Softw. Syst. Model., 2018

2017
Challenges to Achieving High Availability at Scale (Invited Talk).
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Changing microsoft's build: revolution or evolution.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

CloudBuild: Microsoft's distributed and caching build service.
Proceedings of the 38th International Conference on Software Engineering, 2016

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2014
Waiting for Godot? the <i>right</i> language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium).
Ubiquity, 2014

Automated migration of build scripts using dynamic analysis and search-based refactoring.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Formalizing and Verifying a Modern Build Language.
Proceedings of the FM 2014: Formal Methods, 2014

Data-parallel finite-state machines.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
CODEMINE: Building a Software Development Data Analytics Platform at Microsoft.
IEEE Softw., 2013

Taking Control of Your Engineering Tools.
Computer, 2013

FORMULA 2.0: A Language for Formal Specifications.
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

SIMD parallelization of applications that traverse irregular data structures.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012
Thirteen Years of Automated Code Analysis at Microsoft.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Understanding Specification Languages through Their Model Theory.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Detecting Specification Errors in Declarative Languages with Constraints.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Ten years of automated code analysis at Microsoft (Invited industrial talk).
Proceedings of the 34th International Conference on Software Engineering, 2012

Cancer treatment planning: formal methods to the rescue.
Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

Fine-grained parallel traversals of irregular data structures.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011
Guest Editors' Introduction: Parallelism on the Desktop.
IEEE Softw., 2011

Specification and verification: the Spec# experience.
Commun. ACM, 2011

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications.
Proceedings of the 2nd USENIX Conference on Web Application Development, 2011

Finding Models in Model-Based Development - (Abstract).
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Canonical Regular Types.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.
J. Autom. Reason., 2010

Automatic verification of Java programs with dynamic frames.
Formal Aspects Comput., 2010

Future of developer testing: building quality in code.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Teaching and training developer-testing techniques and tool support.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

SPUR: a trace-based JIT compiler for CIL.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

An Approach for Effective Design Space Exploration.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Reusing Model Transformations While Preserving Properties.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

Local Verification of Global Invariants in Concurrent Programs.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Matching Logic: An Alternative to Hoare/Floyd Logic.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
Symbolic Bounded Model Checking of Abstract State Machines.
Int. J. Softw. Informatics, 2009

A Precise Yet Efficient Memory Model For C.
Electron. Notes Theor. Comput. Sci., 2009

Separation Logic Verification of C Programs with an SMT Solver.
Electron. Notes Theor. Comput. Sci., 2009

VCC: A Practical System for Verifying Concurrent C.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Specifying and Composing Non-functional Requirements in Model-Based Development.
Proceedings of the Software Composition - 8th International Conference, 2009

MSeqGen: object-oriented unit-test generation via mining source code.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Runtime Verification of C Memory Safety.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

The design of a task parallel library.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.
Proceedings of the ASE 2009, 2009

Mutation Analysis of Parameterized Unit Tests.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Guided path exploration for regression test generation.
Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

VCC: Contract-based modular verification of concurrent C.
Proceedings of the 31st International Conference on Software Engineering, 2009


Fitness-guided path exploration in dynamic symbolic execution.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
A programming model for concurrent object-oriented programs.
ACM Trans. Program. Lang. Syst., 2008

Automating Software Testing Using Program Analysis.
IEEE Softw., 2008

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs.
J. Object Technol., 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.
Proceedings of the Model Checking Software, 2008

Compositional Modeling for Data-Centric Business Applications.
Proceedings of the Software Composition - 7th International Symposium, 2008

Workshop on state-space exploration for automated testing (SSEAT 2008).
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
Proceedings of the Formal Methods and Testing, 2008

Protocol Modeling with Model Program Composition.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Model Generation for Horn Logic with Stratified Negation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.
Electron. Notes Theor. Comput. Sci., 2007

Parameterized Unit Testing with Pex: Tutorial.
Proceedings of the Testing Techniques in Software Engineering, 2007

Experiments in Verifying Low Level Concurrent C Code.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Pex - An Intelligent Assistant for Rigorous Developer Testing.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Composition of Model Programs.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Using History Invariants to Verify Observers.
Proceedings of the Programming Languages and Systems, 2007

2006
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.
IEEE Softw., 2006

XRT- Exploring Runtime for .NET Architecture and Applications.
Electron. Notes Theor. Comput. Sci., 2006

Challenge problems in software testing.
Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Controllable Combinatorial Coverage in Grammar-Based Testing.
Proceedings of the Testing of Communicating Systems, 2006

Mock-object generation with behavior.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Discovering Likely Method Specifications.
Proceedings of the Formal Methods and Software Engineering, 2006

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.
Proceedings of the Formal Methods and Software Engineering, 2006

Allowing State Changes in Specifications.
Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005
Semantic essence of AsmL.
Theor. Comput. Sci., 2005

The Spec# Programming System: Challenges and Directions.
Proceedings of the Verified Software: Theories, 2005

Model-Based Testing of Cryptographic Protocols.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Online testing with model programs.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Parameterized unit tests.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Parameterized unit tests with unit meister.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Safe Concurrency for Aggregate Objects with Invariants.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.
Proceedings of the FM 2005: Formal Methods, 2005

The Essence of Data Access in C<i>omega</i>.
Proceedings of the ECOOP 2005, 2005

2004
Verification of Object-Oriented Programs with Invariants.
J. Object Technol., 2004

Exception Safety for C#.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Optimal strategies for testing nondeterministic systems.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

The Spec# Programming System: An Overview.
Proceedings of the Construction and Analysis of Safe, 2004

2003
Tool Support for the Interactive Derivation of Formally Correct Functional Programs.
J. Univers. Comput. Sci., 2003

Runtime verification of .NET contracts.
J. Syst. Softw., 2003

Validating Use-Cases with the AsmL Test Tool.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.
Proceedings of the Formal Approaches to Software Testing, 2003

Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.
Proceedings of the Abstract State Machines, 2003

Using AsmL for Runtime Verification.
Proceedings of the Abstract State Machines, 2003

2002
Generating finite state machines from abstract state machines.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001
The ABCs of specification: asml, behavior, and components.
Informatica (Slovenia), 2001

Testable Use Cases in the Abstract State Machine Language.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.
IEEE Trans. Software Eng., 2000

Initialization problems for Java.
Softw. Concepts Tools, 2000

Why Doesn't Anyone Use Formal Methods?
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Translating Theory into Practice - Abstract State Machines within Microsoft.
Proceedings of the Computer Science Logic, 2000

Investigating Java Concurrency Using Abstract State Machines.
Proceedings of the Abstract State Machines, 2000

Using Abstract State Machines at Microsoft: A Case Study.
Proceedings of the Abstract State Machines, 2000

1999
A Programmer Friendly Modular Definition of the Semantics of Java.
Proceedings of the Formal Syntax and Semantics of Java, 1999

1998
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997
Formale objektorientierte Softwareentwicklung mit Fox.
Inform. Forsch. Entwickl., 1997

A Formal OO Method Inspired by Fusion and Object-Z.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Functional Object-Oriented Programming with Object-Gofer.
Proceedings of the Informatik '97, 1997

1996
Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists.
Sci. Comput. Program., 1996

The Design of a Functional GUI Library Using Constructor Classes.
Proceedings of the Perspectives of System Informatics, 1996

TkGofer: A Functional GUI Library.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Erfahrungen bei der Gestaltung eines Software-Grundpraktikums.
Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '95, 1995

Lightweight GUIs for Functional Programming
Proceedings of the Programming Languages: Implementations, 1995

Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms.
Proceedings of the Mathematics of Program Construction, 1995

1994
Deriving Residual Reference Count Garbage Collectors.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

1992
Effiziente und korrekte Übersetzung strikter und applikativer Programmiersprachen.
PhD thesis, 1992

1991
Generating Efficient Portable Code for a Strict Applicative Language.
Proceedings of the Declarative Programming, 1991


  Loading...