Michael T. Strosaker

Person

Austin, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Build-time code section-specific compiler selection
- Patent number 10,754,630
- Issue date Aug 25, 2020
- International Business Machines Corporation
- Michael T. Strosaker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically establishing significance of static analysis results
- Patent number 10,733,080
- Issue date Aug 4, 2020
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically establishing significance of static analysis results
- Patent number 10,733,081
- Issue date Aug 4, 2020
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code search engine
- Patent number 10,540,350
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of key logging activity
- Patent number 10,262,134
- Issue date Apr 16, 2019
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Issuance of static analysis complaints
- Patent number 10,241,892
- Issue date Mar 26, 2019
- International Business Machines Corporation
- Michael T. Strosaker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code search engine
- Patent number 10,095,734
- Issue date Oct 9, 2018
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual disk alignment access
- Patent number 10,042,775
- Issue date Aug 7, 2018
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual disk alignment access
- Patent number 9,940,259
- Issue date Apr 10, 2018
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code search engine
- Patent number 9,934,270
- Issue date Apr 3, 2018
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-level memory compression
- Patent number 9,852,055
- Issue date Dec 26, 2017
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-level memory compression
- Patent number 9,852,056
- Issue date Dec 26, 2017
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code search engine
- Patent number 9,811,556
- Issue date Nov 7, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resetting memory locks in a transactional memory system
- Patent number 9,734,078
- Issue date Aug 15, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Binary file for computer program having multiple executable code va...
- Patent number 9,594,559
- Issue date Mar 14, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Post-return asynchronous code execution
- Patent number 9,552,223
- Issue date Jan 24, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resetting memory locks in a transactional memory system
- Patent number 9,524,246
- Issue date Dec 20, 2016
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Maintaining hardware resource bandwidth quality-of-service via hard...
- Patent number 9,513,951
- Issue date Dec 6, 2016
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code search engine
- Patent number 9,378,242
- Issue date Jun 28, 2016
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Establishing subsystem boundaries based on call flow graph topology
- Patent number 9,250,895
- Issue date Feb 2, 2016
- International Business Machines Corporation
- Michael T. Strosaker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extending platform trust during program updates
- Patent number 9,201,642
- Issue date Dec 1, 2015
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Maintaining hardware resource bandwidth quality-of-service via hard...
- Patent number 9,183,022
- Issue date Nov 10, 2015
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Maintaining hardware resource bandwidth quality-of-service via hard...
- Patent number 9,183,054
- Issue date Nov 10, 2015
- International Business Machines Corporation
- Christopher J. Arges
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Intermediate trust state
- Patent number 9,172,719
- Issue date Oct 27, 2015
- International Business Machines Corporation
- Nathan D. Fontenot
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Compressed memory page selection based on a population count of a d...
- Patent number 9,053,018
- Issue date Jun 9, 2015
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predictive collaboration management
- Patent number 8,943,131
- Issue date Jan 27, 2015
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simultaneous compiler binary optimizations
- Patent number 8,819,654
- Issue date Aug 26, 2014
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware-enabled lock mediation for controlling access to a contest...
- Patent number 8,799,908
- Issue date Aug 5, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protecting memory of a virtual guest
- Patent number 8,788,763
- Issue date Jul 22, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protecting memory of a virtual guest
- Patent number 8,782,351
- Issue date Jul 15, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS
- Publication number 20200065233
- Publication date Feb 27, 2020
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BUILD-TIME CODE SECTION-SPECIFIC COMPILER SELECTION
- Publication number 20190377559
- Publication date Dec 12, 2019
- International Business Machines Corporation
- Michael T. STROSAKER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE SEARCH ENGINE
- Publication number 20180365287
- Publication date Dec 20, 2018
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ISSUANCE OF STATIC ANALYSIS COMPLAINTS
- Publication number 20180157578
- Publication date Jun 7, 2018
- International Business Machines Corporation
- Michael T. Strosaker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF KEY LOGGING ACTIVITY
- Publication number 20180101679
- Publication date Apr 12, 2018
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS
- Publication number 20170371651
- Publication date Dec 28, 2017
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS
- Publication number 20170371770
- Publication date Dec 28, 2017
- International Business Machines Corporation
- Fionnuala G. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE SEARCH ENGINE
- Publication number 20170344604
- Publication date Nov 30, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Sent Text Correction Feature
- Publication number 20170346938
- Publication date Nov 30, 2017
- International Business Machines Corporation
- John B. Allen
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
INTELLIGENT SEGMENT MARKING IN RECORDINGS
- Publication number 20170140796
- Publication date May 18, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTELLIGENT SEGMENT MARKING IN RECORDINGS
- Publication number 20170140795
- Publication date May 18, 2017
- International Business Machines Corporation
- NATHAN FONTENOT
- G11 - INFORMATION STORAGE
Information Patent Application
Finding Duplicates in Prior Runs of Static Analysis Tools
- Publication number 20170123964
- Publication date May 4, 2017
- International Business Machines Corporation
- Michael T. Strosaker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE SEARCH ENGINE
- Publication number 20170046250
- Publication date Feb 16, 2017
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE SEARCH ENGINE
- Publication number 20160364473
- Publication date Dec 15, 2016
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL DISK ALIGNMENT ACCESS
- Publication number 20160210242
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL DISK ALIGNMENT ACCESS
- Publication number 20160210240
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BINARY FILE FOR COMPUTER PROGRAM HAVING MULTIPLE EXECUTABLE CODE VA...
- Publication number 20160196123
- Publication date Jul 7, 2016
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
POST-RETURN ASYNCHRONOUS CODE EXECUTION
- Publication number 20160092264
- Publication date Mar 31, 2016
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RESETTING MEMORY LOCKS IN A TRANSACTIONAL MEMORY SYSTEM
- Publication number 20160070650
- Publication date Mar 10, 2016
- International Business Machines Corporation
- Nathan FONTENOT
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RESETTING MEMORY LOCKS IN A TRANSACTIONAL MEMORY SYSTEM
- Publication number 20160070660
- Publication date Mar 10, 2016
- International Business Machines Corporation
- Nathan FONTENOT
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MAINTAINING HARDWARE RESOURCE BANDWITH QUALITY-OF-SERVICE VIA HARDW...
- Publication number 20160034299
- Publication date Feb 4, 2016
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ESTABLISHING SUBSYSTEM BOUNDARIES BASED ON CALL FLOW GRAPH TOPOLOGY
- Publication number 20150370556
- Publication date Dec 24, 2015
- International Business Machines Corporation
- Michael T. Strosaker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Intermediate Trust State
- Publication number 20150180897
- Publication date Jun 25, 2015
- International Business Machines Corporation
- Nathan D. Fontenot
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Extending Platform Trust During Program Updates
- Publication number 20140279985
- Publication date Sep 18, 2014
- International Business Machines Corporation
- Nathan D. Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multi-Level Memory Compression
- Publication number 20140244962
- Publication date Aug 28, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multi-Level Memory Compression
- Publication number 20140244603
- Publication date Aug 28, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simultaneous Compiler Binary Optimizations
- Publication number 20140047424
- Publication date Feb 13, 2014
- International Business Machines Corporation
- Nathan Fontenot
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPRESSED MEMORY PAGE SELECTION
- Publication number 20140006745
- Publication date Jan 2, 2014
- International Business Machines Corporation
- Nathan D. FONTENOT
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Maintaining hardware resource bandwidth quality-of-service via hard...
- Publication number 20140007091
- Publication date Jan 2, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Maintaining hardware resource bandwidth quality-of-service via hard...
- Publication number 20140007096
- Publication date Jan 2, 2014
- International Business Machines Corporation
- Christopher J. Arges
- G06 - COMPUTING CALCULATING COUNTING

Michael T. Strosaker

Person

Patents Grantslast 30 patents

Build-time code section-specific compiler selection

Automatically establishing significance of static analysis results

Automatically establishing significance of static analysis results

Source code search engine

Detection of key logging activity

Issuance of static analysis complaints

Source code search engine

Virtual disk alignment access

Virtual disk alignment access

Source code search engine

Multi-level memory compression

Multi-level memory compression

Source code search engine

Resetting memory locks in a transactional memory system

Binary file for computer program having multiple executable code va...

Post-return asynchronous code execution

Resetting memory locks in a transactional memory system

Maintaining hardware resource bandwidth quality-of-service via hard...

Source code search engine

Establishing subsystem boundaries based on call flow graph topology

Extending platform trust during program updates

Maintaining hardware resource bandwidth quality-of-service via hard...

Maintaining hardware resource bandwidth quality-of-service via hard...

Intermediate trust state

Compressed memory page selection based on a population count of a d...

Predictive collaboration management

Simultaneous compiler binary optimizations

Hardware-enabled lock mediation for controlling access to a contest...

Protecting memory of a virtual guest

Protecting memory of a virtual guest

Patents Applicationslast 30 patents

AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS

BUILD-TIME CODE SECTION-SPECIFIC COMPILER SELECTION

SOURCE CODE SEARCH ENGINE

ISSUANCE OF STATIC ANALYSIS COMPLAINTS

DETECTION OF KEY LOGGING ACTIVITY

AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS

AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS

SOURCE CODE SEARCH ENGINE

Sent Text Correction Feature

INTELLIGENT SEGMENT MARKING IN RECORDINGS

INTELLIGENT SEGMENT MARKING IN RECORDINGS

Finding Duplicates in Prior Runs of Static Analysis Tools

SOURCE CODE SEARCH ENGINE

SOURCE CODE SEARCH ENGINE

VIRTUAL DISK ALIGNMENT ACCESS

VIRTUAL DISK ALIGNMENT ACCESS

BINARY FILE FOR COMPUTER PROGRAM HAVING MULTIPLE EXECUTABLE CODE VA...

POST-RETURN ASYNCHRONOUS CODE EXECUTION

RESETTING MEMORY LOCKS IN A TRANSACTIONAL MEMORY SYSTEM

RESETTING MEMORY LOCKS IN A TRANSACTIONAL MEMORY SYSTEM

MAINTAINING HARDWARE RESOURCE BANDWITH QUALITY-OF-SERVICE VIA HARDW...

ESTABLISHING SUBSYSTEM BOUNDARIES BASED ON CALL FLOW GRAPH TOPOLOGY

Intermediate Trust State

Extending Platform Trust During Program Updates

Multi-Level Memory Compression

Multi-Level Memory Compression

Simultaneous Compiler Binary Optimizations

COMPRESSED MEMORY PAGE SELECTION

Maintaining hardware resource bandwidth quality-of-service via hard...

Maintaining hardware resource bandwidth quality-of-service via hard...