Assignee
HAWBLITZEL CHRIS
US·3 granted patents·13 citations·filing 2009–2010
Technology mixG06F3
Top patents by PatentIndex Score
3 records- 0179US8341602B2Automated verification of a type-safe operating systemHAWBLITZEL CHRIS·Filed 2010·Granted Dec 25, 2012·7 cites·20 claims
- 0271US8843908B2Compiler validation via program verificationHAWBLITZEL CHRIS·Filed 2010·Granted Sep 23, 2014·4 cites·20 claims
- 0359US8776032B2Automatic region-based verification of garbage collectorsHAWBLITZEL CHRIS·Filed 2009·Granted Jul 8, 2014·2 cites·18 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →