Cormac A. Flanagan

Follow

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and apparatus for automatically inferring annotations
- Patent number 7,120,902
- Issue date Oct 10, 2006
- Hewlett-Packard Development Company, L.P.
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for organizing warning messages
- Patent number 6,978,443
- Issue date Dec 20, 2005
- Hewlett-Packard Development Company, L.P.
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for verifying data local to a single thread
- Patent number 6,817,009
- Issue date Nov 9, 2004
- Hewlett-Packard Development Company, L.P.
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for dynamically detecting unchecked error conditi...
- Patent number 6,378,087
- Issue date Apr 23, 2002
- Compaq Computer Corporation
- Cormac A. Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for lexing and parsing program annotations
- Patent number 6,353,925
- Issue date Mar 5, 2002
- Compaq Computer Corporation
- Raymond Paul Stata
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for statically detecting potential race condition...
- Patent number 6,343,371
- Issue date Jan 29, 2002
- Compaq Computer Corporation
- Cormac A. Flanagan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and apparatus for organizing warning messages
- Publication number 20030131284
- Publication date Jul 10, 2003
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for automatically inferring annotations
- Publication number 20020133806
- Publication date Sep 19, 2002
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for verifying data local to a single thread
- Publication number 20020129306
- Publication date Sep 12, 2002
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for automatically inferring annotations for an...
- Publication number 20020112201
- Publication date Aug 15, 2002
- Cormac Andrias Flanagan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Case-reduced verification condition generation system and method by...
- Publication number 20020062476
- Publication date May 23, 2002
- James Benjamin Saxe
- G06 - COMPUTING CALCULATING COUNTING