Manuel A. Fahndrich

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Resource allocation for computer processing
- Patent number 10,558,501
- Issue date Feb 11, 2020
- Google LLC
- Robert Bradshaw
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic baselining
- Patent number 9,904,541
- Issue date Feb 27, 2018
- Microsoft Technology Licensing, LLC
- Manuel Fahndrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Eventually consistent storage and transactions in cloud based envir...
- Patent number 9,436,502
- Issue date Sep 6, 2016
- Microsoft Technology Licensing, LLC
- Sebastian Burckhardt
- 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
Contract failure behavior with escalation policy
- Patent number 8,782,607
- Issue date Jul 15, 2014
- Microsoft Corporation
- Melitta L. G. Andersen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contract programming for code error reduction
- Patent number 8,250,524
- Issue date Aug 21, 2012
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Configuration of isolated extensions and device drivers
- Patent number 8,074,231
- Issue date Dec 6, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Kernel interface with categorized kernel objects
- Patent number 8,032,898
- Issue date Oct 4, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Process isolation using protection domains
- Patent number 7,882,317
- Issue date Feb 1, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Access-control permissions with inter-process message-based communi...
- Patent number 7,865,934
- Issue date Jan 4, 2011
- Microsoft Corporation
- Edward P. Wobber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inter-process communications employing bi-directional message conduits
- Patent number 7,600,232
- Issue date Oct 6, 2009
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code annotation language
- Patent number 7,584,458
- Issue date Sep 1, 2009
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Plug-in pre- and postconditions for static program analysis
- Patent number 7,526,755
- Issue date Apr 28, 2009
- Microsoft Corporation
- Robert Anthony DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for enhancing flow analysis
- Patent number 7,500,232
- Issue date Mar 3, 2009
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Self-describing artifacts and application abstractions
- Patent number 7,451,435
- Issue date Nov 11, 2008
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Persisted specifications of method pre-and post-conditions for stat...
- Patent number 7,421,680
- Issue date Sep 2, 2008
- Microsoft Corporation
- Robert Anthony DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for enhancing flow analysis
- Patent number 6,813,761
- Issue date Nov 2, 2004
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
RESOURCE ALLOCATION FOR COMPUTER PROCESSING
- Publication number 20170255491
- Publication date Sep 7, 2017
- Google Inc.
- Robert Bradshaw
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEMANTIC BASELINING
- Publication number 20140337819
- Publication date Nov 13, 2014
- Microsoft Corporation
- Manuel Fahndrich
- 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
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
EVENTUALLY CONSISTENT STORAGE AND TRANSACTIONS
- Publication number 20120265742
- Publication date Oct 18, 2012
- Microsoft Corporation
- Sebastian Burckhardt
- 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
CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY
- Publication number 20100218169
- Publication date Aug 26, 2010
- Microsoft Corporation
- Melitta L. G. Andersen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION
- Publication number 20090164973
- Publication date Jun 25, 2009
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Process Isolation Using Protection Domains
- Publication number 20080141266
- Publication date Jun 12, 2008
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Kernel Interface with Categorized Kernel Objects
- Publication number 20080005750
- Publication date Jan 3, 2008
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Access-Control Permissions with Inter-Process Message-Based Communi...
- Publication number 20070271594
- Publication date Nov 22, 2007
- Microsoft Corporation
- Edward P. Wobber
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Statically Verifiable Inter-Process-Communicative Isolated Processes
- Publication number 20070094495
- Publication date Apr 26, 2007
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
State-based source code annotation
- Publication number 20060271917
- Publication date Nov 30, 2006
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Inter-process communications employing bi-directional message conduits
- Publication number 20060123424
- Publication date Jun 8, 2006
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Self-describing artifacts and application abstractions
- Publication number 20060123412
- Publication date Jun 8, 2006
- Microsoft Corporation
- Galen Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Plug-in pre-and postconditions for static program analysis
- Publication number 20050081192
- Publication date Apr 14, 2005
- Robert Anthony DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Source code annotation language
- Publication number 20050076331
- Publication date Apr 7, 2005
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Persisted specifications of method pre-and post-conditions for stat...
- Publication number 20050066319
- Publication date Mar 24, 2005
- Robert Anthony DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods for enhancing flow analysis
- Publication number 20040205742
- Publication date Oct 14, 2004
- Microsoft Corporation
- Manuvir Das
- G06 - COMPUTING CALCULATING COUNTING

Manuel A. Fahndrich

Person

Patents Grantslast 30 patents

Resource allocation for computer processing

Semantic baselining

Eventually consistent storage and transactions in cloud based envir...

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

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

Contract failure behavior with escalation policy

Contract programming for code error reduction

Configuration of isolated extensions and device drivers

Kernel interface with categorized kernel objects

Process isolation using protection domains

Access-control permissions with inter-process message-based communi...

Inter-process communications employing bi-directional message conduits

Source code annotation language

Plug-in pre- and postconditions for static program analysis

Methods for enhancing flow analysis

Self-describing artifacts and application abstractions

Persisted specifications of method pre-and post-conditions for stat...

Methods for enhancing flow analysis

Patents Applicationslast 30 patents

RESOURCE ALLOCATION FOR COMPUTER PROCESSING

SEMANTIC BASELINING

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

Ranking Programs in a Marketplace System

DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT

EVENTUALLY CONSISTENT STORAGE AND TRANSACTIONS

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

CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY

CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION

Process Isolation Using Protection Domains

Kernel Interface with Categorized Kernel Objects

Access-Control Permissions with Inter-Process Message-Based Communi...

Statically Verifiable Inter-Process-Communicative Isolated Processes

State-based source code annotation

Inter-process communications employing bi-directional message conduits

Self-describing artifacts and application abstractions

Plug-in pre-and postconditions for static program analysis

Source code annotation language

Persisted specifications of method pre-and post-conditions for stat...

Methods for enhancing flow analysis