Thomas J. Ball

Person

Naperville, IL, US

People

Patents Grantslast 30 patents

Information Patent Grant
Prioritizing quality improvements to source code
- Patent number 8,627,287
- Issue date Jan 7, 2014
- Microsoft Corporation
- Michael C Fanning
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processing predicates including pointer information
- Patent number 8,595,707
- Issue date Nov 26, 2013
- Microsoft Corporation
- Eleonora O. Bounimova
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program analysis through predicate abstraction and refinement
- Patent number 8,402,444
- Issue date Mar 19, 2013
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic and systematic detection of race conditions and atomicity...
- Patent number 8,185,874
- Issue date May 22, 2012
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for enhancing program analysis
- Patent number 7,757,219
- Issue date Jul 13, 2010
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,657,867
- Issue date Feb 2, 2010
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicate abstraction via symbolic decision procedures
- Patent number 7,587,707
- Issue date Sep 8, 2009
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicate-based test coverage and generation
- Patent number 7,584,455
- Issue date Sep 1, 2009
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,058,925
- Issue date Jun 6, 2006
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for enhancing program analysis
- Patent number 6,904,590
- Issue date Jun 7, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
User interface for translating natural language inquiries into data...
- Patent number 6,701,294
- Issue date Mar 2, 2004
- Lucent Technologies, Inc.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for providing interactive services with multip...
- Patent number 6,609,089
- Issue date Aug 19, 2003
- Lucent Technologies Inc.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of providing transfer capability on web-based interactive vo...
- Patent number 6,600,736
- Issue date Jul 29, 2003
- Lucent Technologies Inc.
- Thomas J. Ball
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Identifying changes in on-line data repositories
- Patent number 6,596,030
- Issue date Jul 22, 2003
- AT&T Corp.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for providing interactive services with multip...
- Patent number 6,529,863
- Issue date Mar 4, 2003
- Lucent Technologies Inc.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Structured voicemail messages
- Patent number 6,459,774
- Issue date Oct 1, 2002
- Lucent Technologies Inc.
- Thomas J. Ball
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method and apparatus for creating and sending structured voicemail...
- Patent number 6,393,107
- Issue date May 21, 2002
- Lucent Technologies Inc.
- Thomas J. Ball
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method and apparatus for tracking and viewing changes on the web
- Patent number 6,366,933
- Issue date Apr 2, 2002
- AT&T Corp.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for assembling and presenting structured voice...
- Patent number 6,240,391
- Issue date May 29, 2001
- Lucent Technologies Inc.
- Thomas J. Ball
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Apparatus and method for retrieving data from a network site
- Patent number 6,222,847
- Issue date Apr 24, 2001
- Lucent Technologies Inc.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus for visualizing program slices
- Patent number 6,125,375
- Issue date Sep 26, 2000
- Lucent Technologies, Inc.
- David L. Atkins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Querying and navigating changes in web repositories
- Patent number 5,860,071
- Issue date Jan 12, 1999
- AT&T Corp.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus for visualizing program slices
- Patent number 5,793,369
- Issue date Aug 11, 1998
- Lucent Technologies Inc.
- David L. Atkins
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROGRAM REPAIR
- Publication number 20130339929
- Publication date Dec 19, 2013
- Microsoft Corporation
- Francesco Logozzo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESSING PREDICATES INCLUDING POINTER INFORMATION
- Publication number 20110161937
- Publication date Jun 30, 2011
- Microsoft Corporation
- Eleonora O. Bounimova
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM ANALYSIS THROUGH PREDICATE ABSTRACTION AND REFINEMENT
- Publication number 20110088016
- Publication date Apr 14, 2011
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRIORITIZING QUALITY IMPROVEMENTS TO SOURCE CODE
- Publication number 20090144698
- Publication date Jun 4, 2009
- Microsoft Corporation
- Michael C. Fanning
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC AND SYSTEMATIC DETECTION OF RACE CONDITIONS AND ATOMICITY...
- Publication number 20080109641
- Publication date May 8, 2008
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Online creation of object states for testing
- Publication number 20070168981
- Publication date Jul 19, 2007
- Microsoft Corporation
- Carlos Pacheco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Predicate abstraction via symbolic decision procedures
- Publication number 20070005633
- Publication date Jan 4, 2007
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20050235257
- Publication date Oct 20, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Predicate-based test coverage and generation
- Publication number 20050229044
- Publication date Oct 13, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for enhancing program analysis
- Publication number 20050149904
- Publication date Jul 7, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20030204834
- Publication date Oct 30, 2003
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods for enhancing program analysis
- Publication number 20020178401
- Publication date Nov 28, 2002
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Identifying changes in on-line data repositories
- Publication number 20020120648
- Publication date Aug 29, 2002
- AT&T Corp.
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING

Thomas J. Ball

Person

Patents Grantslast 30 patents

Prioritizing quality improvements to source code

Processing predicates including pointer information

Program analysis through predicate abstraction and refinement

Automatic and systematic detection of race conditions and atomicity...

Method for enhancing program analysis

System and method for generating a predicate abstraction of a program

Predicate abstraction via symbolic decision procedures

Predicate-based test coverage and generation

System and method for generating a predicate abstraction of a program

Methods for enhancing program analysis

User interface for translating natural language inquiries into data...

Method and apparatus for providing interactive services with multip...

Method of providing transfer capability on web-based interactive vo...

Identifying changes in on-line data repositories

Method and apparatus for providing interactive services with multip...

Structured voicemail messages

Method and apparatus for creating and sending structured voicemail...

Method and apparatus for tracking and viewing changes on the web

Method and apparatus for assembling and presenting structured voice...

Apparatus and method for retrieving data from a network site

Apparatus for visualizing program slices

Querying and navigating changes in web repositories

Apparatus for visualizing program slices

Patents Applicationslast 30 patents

PROGRAM REPAIR

PROCESSING PREDICATES INCLUDING POINTER INFORMATION

PROGRAM ANALYSIS THROUGH PREDICATE ABSTRACTION AND REFINEMENT

PRIORITIZING QUALITY IMPROVEMENTS TO SOURCE CODE

AUTOMATIC AND SYSTEMATIC DETECTION OF RACE CONDITIONS AND ATOMICITY...

Online creation of object states for testing

Predicate abstraction via symbolic decision procedures

System and method for generating a predicate abstraction of a program

Predicate-based test coverage and generation

Method for enhancing program analysis

System and method for generating a predicate abstraction of a program

Methods for enhancing program analysis

Identifying changes in on-line data repositories