Inventor · disambiguated record
K. Rustan M. Leino
Also filed as: LEINO K RUSTAN · LEINO K RUSTAN M
9 granted patents·325 citations·filing 1997–2006
91Inventor score
Files withMICROSOFT CORP4HEWLETT PACKARD DEVELOPMENT CO3COMPAQ COMPUTER CORP1DIGITAL EQUIPMENT CORP1
Top patents by PatentIndex Score
9 records- 0185US7120902B2Method and apparatus for automatically inferring annotationsHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Oct 10, 2006·49 cites·51 claims
- 0282US7926037B2Hiding irrelevant facts in verification conditionsMICROSOFT CORP·Filed 2006·Granted Apr 12, 2011·14 cites·13 claims
- 0382US7774787B2Method for specifying and verifying multi-threaded object-oriented programs with invariantsMICROSOFT CORP·Filed 2005·Granted Aug 10, 2010·16 cites·15 claims
- 0482US6353925B1System and method for lexing and parsing program annotationsCOMPAQ COMPUTER CORP·Filed 1999·Granted Mar 5, 2002·105 cites·12 claims
- 0580US7024661B2System and method for verifying computer program correctness and providing recoverable execution trace informationHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Apr 4, 2006·37 cites·47 claims
- 0677US5987252AMethod and apparatus for statically analyzing a computer program for data dependenciesDIGITAL EQUIPMENT CORP·Filed 1997·Granted Nov 16, 1999·65 cites·22 claims
- 0775US7559054B2Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domainMICROSOFT CORP·Filed 2005·Granted Jul 7, 2009·9 cites·16 claims
- 0875US6978443B2Method and apparatus for organizing warning messagesHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Dec 20, 2005·24 cites·34 claims
- 0969US7590978B2Inferring object invariant method and systemMICROSOFT CORP·Filed 2005·Granted Sep 15, 2009·6 cites·15 claims
Join the waitlist — get patent alerts
Get an alert when K. Rustan M. Leino files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →