Assignee
KAHLON VINEET
US·10 granted patents·2 pending applications·100 citations·filing 2006–2011
Technology mixG06F12
Top patents by PatentIndex Score
12 records- 0188US8141049B2System and method for scalable flow and context-sensitive pointer alias analysisKAHLON VINEET·Filed 2008·Granted Mar 20, 2012·21 cites·14 claims
- 0286US8527976B2System and method for generating error traces for concurrency bugsKAHLON VINEET·Filed 2008·Granted Sep 3, 2013·23 cites·13 claims
- 0385US8286137B2Accelerating model checking via synchronyKAHLON VINEET·Filed 2008·Granted Oct 9, 2012·15 cites·4 claims
- 0481US8185875B2Fast and accurate static data-race detection for concurrent programsKAHLON VINEET·Filed 2007·Granted May 22, 2012·11 cites·25 claims
- 0580US8543985B2System and method for verification of programs using threads having bounded lock chainsKAHLON VINEET·Filed 2010·Granted Sep 24, 2013·6 cites·15 claims
- 0678US8539450B2Fast and accurate data race detection for concurrent programs with asynchronous callsKAHLON VINEET·Filed 2010·Granted Sep 17, 2013·7 cites·12 claims
- 0775US8266600B2Model checking of multi threaded softwareKAHLON VINEET·Filed 2006·Granted Sep 11, 2012·7 cites·17 claims
- 0873US8136098B2Using pushdown systems for the static analysis of multi-threaded programsKAHLON VINEET·Filed 2007·Granted Mar 13, 2012·6 cites·6 claims
- 0971US8612940B2Lock removal for concurrent programsKAHLON VINEET·Filed 2011·Granted Dec 17, 2013·3 cites·20 claims
- 1061US8769499B2Universal causality graphs for bug detection in concurrent programsKAHLON VINEET·Filed 2010·Granted Jul 1, 2014·1 cites·11 claims
- 1141US2012290883A1Computer Implemented Method for Precise May-Happen-in-Parallel Analysis with Applications to Dataflow Analysis of Concurrent ProgramsKAHLON VINEET·Filed 2011·Application pending·0 cites
- 1241US2012079483A1Computer Implemented Automatic Lock Insertion in Concurrent ProgramsKAHLON VINEET·Filed 2011·Application pending·0 cites
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →