Nikolai Tillmann

Person

Redmond, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generating program fragments using keywords and context information
- Patent number 9,448,772
- Issue date Sep 20, 2016
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interface development and operation
- Patent number 9,286,038
- Issue date Mar 15, 2016
- Microsoft Technology Licensing, LLC
- Sebastian C Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contextually intelligent code editing
- Patent number 9,239,708
- Issue date Jan 19, 2016
- Microsoft Technology Licensing, LLC
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling the release of private information using static flow an...
- Patent number 9,104,528
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Xusheng Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic parallelization in a tracing just-in-time compiler system
- Patent number 8,959,496
- Issue date Feb 17, 2015
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Media files including programming code and description
- Patent number 8,949,771
- Issue date Feb 3, 2015
- Microsoft Corporation
- Michal J. Moskal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating type-safe wrappers for dynamic detouring
- Patent number 8,726,239
- Issue date May 13, 2014
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Approximating finite domains in symbolic state exploration
- Patent number 8,533,680
- Issue date Sep 10, 2013
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tracing just-in-time compilation with pointers to local variables
- Patent number 8,522,222
- Issue date Aug 27, 2013
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic finite automata
- Patent number 8,515,891
- Issue date Aug 20, 2013
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
State as a first-class citizen of an imperative language
- Patent number 8,468,505
- Issue date Jun 18, 2013
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Graphical user interface for exploring source code execution behavior
- Patent number 8,453,106
- Issue date May 28, 2013
- Microsoft Corporation
- Robert Anthony DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Whitebox trace fuzzing
- Patent number 8,387,016
- Issue date Feb 26, 2013
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic runtime checking of quantified contracts
- Patent number 8,387,021
- Issue date Feb 26, 2013
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic query exploration
- Patent number 8,180,786
- Issue date May 15, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic execution of object oriented programs with axiomatic summa...
- Patent number 8,046,746
- Issue date Oct 25, 2011
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic program model compositions
- Patent number 7,926,025
- Issue date Apr 12, 2011
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bounded program failure analysis and correction
- Patent number 7,882,495
- Issue date Feb 1, 2011
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Specification generation from implementations
- Patent number 7,844,951
- Issue date Nov 30, 2010
- Microsoft Corporation
- Feng Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parameterized unit tests with behavioral purity axioms
- Patent number 7,797,687
- Issue date Sep 14, 2010
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conformance testing of multi-threaded and distributed software systems
- Patent number 7,747,985
- Issue date Jun 29, 2010
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive domain configuration
- Patent number 7,685,571
- Issue date Mar 23, 2010
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parameterized test driven development
- Patent number 7,681,180
- Issue date Mar 16, 2010
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Non-deterministic testing
- Patent number 7,590,520
- Issue date Sep 15, 2009
- Microsoft Corporation
- Lev Borisovich Nachmanson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit test generalization
- Patent number 7,587,636
- Issue date Sep 8, 2009
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
State as a first-class citizen of an imperative language
- Patent number 7,584,463
- Issue date Sep 1, 2009
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Diagnosing problems in distributed systems
- Patent number 7,548,911
- Issue date Jun 16, 2009
- Microsoft Corporation
- Siddhartha Sen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating finite state machines for software systems with asynchro...
- Patent number 7,500,149
- Issue date Mar 3, 2009
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient checking of state-dependent constraints
- Patent number 7,500,226
- Issue date Mar 3, 2009
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mock object generation by symbolic execution
- Patent number 7,496,791
- Issue date Feb 24, 2009
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Interface Development and Operation
- Publication number 20140380205
- Publication date Dec 25, 2014
- Sebastian C. Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating Program Fragments Using Keywords and Context Information
- Publication number 20140282375
- Publication date Sep 18, 2014
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Controlling the Release of Private Information Using Static Flow An...
- Publication number 20130152154
- Publication date Jun 13, 2013
- Microsoft Corporation
- Xusheng Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Ranking Programs in a Marketplace System
- Publication number 20130151519
- Publication date Jun 13, 2013
- Microsoft Corporation
- Marat K. Akhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC RENDERING OF INTERACTIVE USER INTERFACE ELEMENTS
- Publication number 20130091444
- Publication date Apr 11, 2013
- Microsoft Corporation
- Jonathan Peli Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT
- Publication number 20130055138
- Publication date Feb 28, 2013
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEDIA FILES INCLUDING PROGRAMMING CODE AND DESCRIPTION
- Publication number 20120331438
- Publication date Dec 27, 2012
- Microsoft Corporation
- Michal J. Moskal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTEXTUALLY INTELLIGENT CODE EDITING
- Publication number 20120167042
- Publication date Jun 28, 2012
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GRAPHICAL USER INTERFACE FOR EXPLORING SOURCE CODE EXECUTION BEHAVIOR
- Publication number 20120159452
- Publication date Jun 21, 2012
- Microsoft Corporation
- Robert Anthony DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC FINITE AUTOMATA
- Publication number 20120130932
- Publication date May 24, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACING JUST-IN-TIME COMPILATION WITH POINTERS TO LOCAL VARIABLES
- Publication number 20110314452
- Publication date Dec 22, 2011
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING TYPE-SAFE WRAPPERS FOR DYNAMIC DETOURING
- Publication number 20110276943
- Publication date Nov 10, 2011
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Parallelization in a Tracing Just-in-Time Compiler System
- Publication number 20110265067
- Publication date Oct 27, 2011
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Query Exploration
- Publication number 20110055237
- Publication date Mar 3, 2011
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Whitebox Trace Fuzzing
- Publication number 20100281460
- Publication date Nov 4, 2010
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Runtime Checking of Quantified Contracts
- Publication number 20100083233
- Publication date Apr 1, 2010
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE
- Publication number 20100011194
- Publication date Jan 14, 2010
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION
- Publication number 20080313602
- Publication date Dec 18, 2008
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARAMETERIZED TEST DRIVEN DEVELOPMENT
- Publication number 20080307264
- Publication date Dec 11, 2008
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic program model compositions
- Publication number 20070168927
- Publication date Jul 19, 2007
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Specification generation from implementations
- Publication number 20070157169
- Publication date Jul 5, 2007
- Microsoft Corporation
- Feng Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Approximating finite domains in symbolic state exploration
- Publication number 20070157180
- Publication date Jul 5, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Unit test generalization
- Publication number 20070033443
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Mock object generation by symbolic execution
- Publication number 20070033442
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parameterized unit tests
- Publication number 20070033440
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic execution of object oriented programs with axiomatic summa...
- Publication number 20070033576
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Diagnosing problems in distributed systems
- Publication number 20060282419
- Publication date Dec 14, 2006
- Microsoft Corporation
- Siddhartha Sen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating test cases for software with complex preconditions
- Publication number 20060242466
- Publication date Oct 26, 2006
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating finite state machines for software systems with asynchro...
- Publication number 20060224924
- Publication date Oct 5, 2006
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Conformance testing of multi-threaded and distributed software systems
- Publication number 20060212759
- Publication date Sep 21, 2006
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING

Nikolai Tillmann

Person

Patents Grantslast 30 patents

Generating program fragments using keywords and context information

Interface development and operation

Contextually intelligent code editing

Controlling the release of private information using static flow an...

Automatic parallelization in a tracing just-in-time compiler system

Media files including programming code and description

Generating type-safe wrappers for dynamic detouring

Approximating finite domains in symbolic state exploration

Tracing just-in-time compilation with pointers to local variables

Symbolic finite automata

State as a first-class citizen of an imperative language

Graphical user interface for exploring source code execution behavior

Whitebox trace fuzzing

Symbolic runtime checking of quantified contracts

Symbolic query exploration

Symbolic execution of object oriented programs with axiomatic summa...

Symbolic program model compositions

Bounded program failure analysis and correction

Specification generation from implementations

Parameterized unit tests with behavioral purity axioms

Conformance testing of multi-threaded and distributed software systems

Interactive domain configuration

Parameterized test driven development

Non-deterministic testing

Unit test generalization

State as a first-class citizen of an imperative language

Diagnosing problems in distributed systems

Generating finite state machines for software systems with asynchro...

Efficient checking of state-dependent constraints

Mock object generation by symbolic execution

Patents Applicationslast 30 patents

Interface Development and Operation

Generating Program Fragments Using Keywords and Context Information

Controlling the Release of Private Information Using Static Flow An...

Ranking Programs in a Marketplace System

AUTOMATIC RENDERING OF INTERACTIVE USER INTERFACE ELEMENTS

DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT

MEDIA FILES INCLUDING PROGRAMMING CODE AND DESCRIPTION

CONTEXTUALLY INTELLIGENT CODE EDITING

GRAPHICAL USER INTERFACE FOR EXPLORING SOURCE CODE EXECUTION BEHAVIOR

SYMBOLIC FINITE AUTOMATA

TRACING JUST-IN-TIME COMPILATION WITH POINTERS TO LOCAL VARIABLES

GENERATING TYPE-SAFE WRAPPERS FOR DYNAMIC DETOURING

Automatic Parallelization in a Tracing Just-in-Time Compiler System

Symbolic Query Exploration

Whitebox Trace Fuzzing

Symbolic Runtime Checking of Quantified Contracts

STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE

BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION

PARAMETERIZED TEST DRIVEN DEVELOPMENT

Symbolic program model compositions

Specification generation from implementations

Approximating finite domains in symbolic state exploration

Unit test generalization

Mock object generation by symbolic execution

Parameterized unit tests

Symbolic execution of object oriented programs with axiomatic summa...

Diagnosing problems in distributed systems

Generating test cases for software with complex preconditions

Generating finite state machines for software systems with asynchro...

Conformance testing of multi-threaded and distributed software systems