Benjamin G. Zorn

Person

Woodinville, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Systems, methods, and computer-readable media for improved table id...
- Patent number 12,039,257
- Issue date Jul 16, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging chip variability
- Patent number 11,107,548
- Issue date Aug 31, 2021
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicting spreadsheet properties
- Patent number 11,080,475
- Issue date Aug 3, 2021
- Microsoft Technology Licensing, LLC
- Rishabh Singh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging chip variability
- Patent number 10,748,640
- Issue date Aug 18, 2020
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formatting data by example
- Patent number 10,409,892
- Issue date Sep 10, 2019
- Microsoft Technology Licensing, LLC
- Chad Rothschiller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting errors in spreadsheets
- Patent number 10,102,241
- Issue date Oct 16, 2018
- Microsoft Technology Licensing, LLC
- Benjamin G. Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Code labeling based on tokenized code samples
- Patent number 10,044,750
- Issue date Aug 7, 2018
- Microsoft Technology Licensing, LLC
- Benjamin Livshits
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Leveraging chip variability
- Patent number 9,978,461
- Issue date May 22, 2018
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G11 - INFORMATION STORAGE
Information Patent Grant
Relational DNA operations
- Patent number 9,898,579
- Issue date Feb 20, 2018
- Microsoft Technology Licensing, LLC
- Karin Strauss
- C12 - BIOCHEMISTRY BEER SPIRITS WINE VINEGAR MICROBIOLOGY ENZYMOLOGY MUTATION...
Information Patent Grant
User interaction models for disambiguation in programming-by-example
- Patent number 9,891,895
- Issue date Feb 13, 2018
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging chip variability
- Patent number 9,666,303
- Issue date May 30, 2017
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G11 - INFORMATION STORAGE
Information Patent Grant
Expedited techniques for generating string manipulation programs
- Patent number 9,552,335
- Issue date Jan 24, 2017
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing hardware resources having different reliabilities for use...
- Patent number 9,411,674
- Issue date Aug 9, 2016
- Microsoft Technology Licensing, LLC
- Karthik Pattabiraman
- G11 - INFORMATION STORAGE
Information Patent Grant
Execution of multiple execution paths
- Patent number 9,038,185
- Issue date May 19, 2015
- Microsoft Technology Licensing, LLC
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging chip variability
- Patent number 8,977,910
- Issue date Mar 10, 2015
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G11 - INFORMATION STORAGE
Information Patent Grant
Datacenter execution templates
- Patent number 8,856,333
- Issue date Oct 7, 2014
- Microsoft Corporation
- Benjamin G. Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of code-based malware
- Patent number 8,713,679
- Issue date Apr 29, 2014
- Microsoft Corporation
- Benjamin Goth Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Specification, abstraction, and enforcement in a data center operat...
- Patent number 8,468,513
- Issue date Jun 18, 2013
- Microsoft Corporation
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging chip variability
- Patent number 8,412,882
- Issue date Apr 2, 2013
- Microsoft Corporation
- Benjamin Zorn
- G11 - INFORMATION STORAGE
Information Patent Grant
Storing results related to requests for software development services
- Patent number 8,407,206
- Issue date Mar 26, 2013
- Microsoft Corporation
- Todd A. Proebsting
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extensible software development services
- Patent number 8,271,964
- Issue date Sep 18, 2012
- Microsoft Corporation
- Benjamin G. Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Critical memory
- Patent number 8,112,597
- Issue date Feb 7, 2012
- Microsoft Corporation
- Karthik Pattabiraman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tolerating and detecting asymmetric races
- Patent number 7,971,248
- Issue date Jun 28, 2011
- Microsoft Corporation
- Rahul Nagpal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protection of critical memory using replication
- Patent number 7,949,841
- Issue date May 24, 2011
- Microsoft Corporation
- Karthik Pattabiraman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software robustness through search for robust runtime implementations
- Patent number 7,802,232
- Issue date Sep 21, 2010
- Microsoft Corporation
- Benjamin G. Zorn
- 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
Program history in a computer programming language
- Patent number 7,111,283
- Issue date Sep 19, 2006
- Microsoft Corporation
- Christopher W. Fraser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer programming language pronouns
- Patent number 6,748,585
- Issue date Jun 8, 2004
- Microsoft Corporation
- Todd A. Proebsting
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
GENERATION OF MULTI-DIMENSIONAL ARRAY OF INTERMEDIATE VALUES IN MUL...
- Publication number 20240241703
- Publication date Jul 18, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CAPABILITY EXTRACTION
- Publication number 20240232545
- Publication date Jul 11, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF INTERACTIVE UTTERANCES OF CODE TASKS
- Publication number 20240143928
- Publication date May 2, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CAPABILITY EXTRACTION
- Publication number 20240135113
- Publication date Apr 25, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RESPONDING TO TASK PROMPT ON DECLARATIVE CODE USING LANGUAGE MODEL
- Publication number 20230418815
- Publication date Dec 28, 2023
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEVERAGING CHIP VARIABILITY
- Publication number 20200342950
- Publication date Oct 29, 2020
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS, METHODS, AND COMPUTER-READABLE MEDIA FOR IMPROVED TABLE ID...
- Publication number 20200019603
- Publication date Jan 16, 2020
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEVERAGING CHIP VARIABILITY
- Publication number 20190318799
- Publication date Oct 17, 2019
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREDICTING SPREADSHEET PROPERTIES
- Publication number 20180203836
- Publication date Jul 19, 2018
- Microsoft Technology Licensing, LLC
- Rishabh Singh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING ERRORS IN SPREADSHEETS
- Publication number 20170337238
- Publication date Nov 23, 2017
- Microsoft Technology Licensing, LLC
- Benjamin G. Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEVERAGING CHIP VARIABILITY
- Publication number 20170323689
- Publication date Nov 9, 2017
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER INTERACTION MODELS FOR DISAMBIGUATION IN PROGRAMMING-BY-EXAMPLE
- Publication number 20170075661
- Publication date Mar 16, 2017
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Relational DNA Operations
- Publication number 20160371434
- Publication date Dec 22, 2016
- Microsoft Technology Licensing, LLC
- Karin Strauss
- C12 - BIOCHEMISTRY BEER SPIRITS WINE VINEGAR MICROBIOLOGY ENZYMOLOGY MUTATION...
Information Patent Application
Code Labeling Based on Tokenized Code Samples
- Publication number 20160212153
- Publication date Jul 21, 2016
- Microsoft Technology Licensing, LLC
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERACTIVE DATA MANIPULATION USING EXAMPLES AND NATURAL LANGUAGE
- Publication number 20150254211
- Publication date Sep 10, 2015
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEVERAGING CHIP VARIABILITY
- Publication number 20150135028
- Publication date May 14, 2015
- Microsoft Technology Licensing, LLC
- Benjamin Zorn
- G11 - INFORMATION STORAGE
Information Patent Application
EXTRACTING RELATIONAL DATA FROM SEMI-STRUCTURED SPREADSHEETS
- Publication number 20150095312
- Publication date Apr 2, 2015
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXPEDITED TECHNIQUES FOR GENERATING STRING MANIPULATION PROGRAMS
- Publication number 20130326475
- Publication date Dec 5, 2013
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEVERAGING CHIP VARIABILITY
- Publication number 20130205174
- Publication date Aug 8, 2013
- Microsoft
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Execution of Multiple Execution Paths
- Publication number 20130174258
- Publication date Jul 4, 2013
- Microsoft Corporation
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF CODE-BASED MALWARE
- Publication number 20120216280
- Publication date Aug 23, 2012
- Microsoft Corporation
- Benjamin Goth Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMATTING DATA BY EXAMPLE
- Publication number 20120192051
- Publication date Jul 26, 2012
- Microsoft Corporation
- Chad Rothschiller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEVERAGING CHIP VARIABILITY
- Publication number 20110314210
- Publication date Dec 22, 2011
- Microsoft Corporation
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPRESSING SOURCE CODE WRITTEN IN A SCRIPTING LANGUAGE
- Publication number 20110219357
- Publication date Sep 8, 2011
- Microsoft Corporation
- Benjamin Livshits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREVENTING MALICIOUS JUST-IN-TIME SPRAYING ATTACKS
- Publication number 20110191848
- Publication date Aug 4, 2011
- Microsoft Corporation
- Benjamin Goth Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Policy Management for the Cloud
- Publication number 20100319004
- Publication date Dec 16, 2010
- Microsoft Corporation
- William Hunter Hudson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATACENTER EXECUTION TEMPLATES
- Publication number 20100318658
- Publication date Dec 16, 2010
- Microsoft Corporation
- Benjamin G. Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Monitoring System for Heap Spraying Attacks
- Publication number 20100205674
- Publication date Aug 12, 2010
- Microsoft Corporation
- Benjamin G. Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Specification, Abstraction, and Enforcement in a Data Center Operat...
- Publication number 20090183146
- Publication date Jul 16, 2009
- Microsoft Corporation
- Benjamin Zorn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TOLERATING AND DETECTING ASYMMETRIC RACES
- Publication number 20090049545
- Publication date Feb 19, 2009
- Microsoft Corporation
- Rahul Nagpal
- G06 - COMPUTING CALCULATING COUNTING

Benjamin G. Zorn

Person

Patents Grantslast 30 patents

Systems, methods, and computer-readable media for improved table id...

Leveraging chip variability

Predicting spreadsheet properties

Leveraging chip variability

Formatting data by example

Detecting errors in spreadsheets

Code labeling based on tokenized code samples

Leveraging chip variability

Relational DNA operations

User interaction models for disambiguation in programming-by-example

Leveraging chip variability

Expedited techniques for generating string manipulation programs

Providing hardware resources having different reliabilities for use...

Execution of multiple execution paths

Leveraging chip variability

Datacenter execution templates

Detection of code-based malware

Specification, abstraction, and enforcement in a data center operat...

Leveraging chip variability

Storing results related to requests for software development services

Extensible software development services

Critical memory

Tolerating and detecting asymmetric races

Protection of critical memory using replication

Software robustness through search for robust runtime implementations

Self-describing artifacts and application abstractions

Program history in a computer programming language

Computer programming language pronouns

Patents Applicationslast 30 patents

GENERATION OF MULTI-DIMENSIONAL ARRAY OF INTERMEDIATE VALUES IN MUL...

MODEL CAPABILITY EXTRACTION

GENERATION OF INTERACTIVE UTTERANCES OF CODE TASKS

MODEL CAPABILITY EXTRACTION

RESPONDING TO TASK PROMPT ON DECLARATIVE CODE USING LANGUAGE MODEL

LEVERAGING CHIP VARIABILITY

SYSTEMS, METHODS, AND COMPUTER-READABLE MEDIA FOR IMPROVED TABLE ID...

LEVERAGING CHIP VARIABILITY

PREDICTING SPREADSHEET PROPERTIES

DETECTING ERRORS IN SPREADSHEETS

LEVERAGING CHIP VARIABILITY

USER INTERACTION MODELS FOR DISAMBIGUATION IN PROGRAMMING-BY-EXAMPLE

Relational DNA Operations

Code Labeling Based on Tokenized Code Samples

INTERACTIVE DATA MANIPULATION USING EXAMPLES AND NATURAL LANGUAGE

LEVERAGING CHIP VARIABILITY

EXTRACTING RELATIONAL DATA FROM SEMI-STRUCTURED SPREADSHEETS

EXPEDITED TECHNIQUES FOR GENERATING STRING MANIPULATION PROGRAMS

LEVERAGING CHIP VARIABILITY

Execution of Multiple Execution Paths

DETECTION OF CODE-BASED MALWARE

FORMATTING DATA BY EXAMPLE

LEVERAGING CHIP VARIABILITY

COMPRESSING SOURCE CODE WRITTEN IN A SCRIPTING LANGUAGE

PREVENTING MALICIOUS JUST-IN-TIME SPRAYING ATTACKS

Policy Management for the Cloud

DATACENTER EXECUTION TEMPLATES

Monitoring System for Heap Spraying Attacks

Specification, Abstraction, and Enforcement in a Data Center Operat...

TOLERATING AND DETECTING ASYMMETRIC RACES