Inventor · disambiguated record
Martin Vechev
Also filed as: VECHEV MARTIN · VECHEV MARTIN T
15 granted patents·4 pending applications·69 citations·filing 2005–2015
90Inventor score
Top patents by PatentIndex Score
19 records- 0192US8646088B2Runtime enforcement of security checksPISTOIA MARCO·Filed 2011·Granted Feb 4, 2014·25 cites·24 claims
- 0281US9135083B2Methods for single-owner multi-consumer work queues for repeatable tasksMICHAEL MAGED M·Filed 2012·Granted Sep 15, 2015·5 cites·20 claims
- 0379US7548940B2Generational real-time garbage collectionIBM·Filed 2005·Granted Jun 16, 2009·15 cites·15 claims
- 0477US9292446B2Speculative prefetching of remote dataIBM·Filed 2012·Granted Mar 22, 2016·5 cites·25 claims
- 0573US9069893B2Automatic verification of determinism for parallel programsVECHEV MARTIN·Filed 2011·Granted Jun 30, 2015·5 cites·12 claims
- 0666US8374978B2Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statisticsIBM·Filed 2010·Granted Feb 12, 2013·4 cites·25 claims
- 0765US8495427B2Detecting defects in deployed systemsARNOLD MATTHEW R·Filed 2009·Granted Jul 23, 2013·4 cites·24 claims
- 0864US8266394B2Methods for single-owner multi-consumer work queues for repeatable tasksMICHAEL MAGED M·Filed 2008·Granted Sep 11, 2012·2 cites·18 claims
- 0962US8645917B2Providing support for debugging heap related errors with heap assertionsARNOLD MATTHEW R·Filed 2009·Granted Feb 4, 2014·3 cites·17 claims
- 1061US9092569B2Abstraction-guided synthesisIBM·Filed 2013·Granted Jul 28, 2015·1 cites·9 claims
- 1156US9766950B2Methods for single-owner multi-consumer work queues for repeatable tasksIBM·Filed 2015·Granted Sep 19, 2017·0 cites·20 claims
- 1247US2013247001A1Dynamic synthesis of program synchronizationVECHEV MARTIN·Filed 2012·Application pending·0 cites
- 1346US2013247000A1Dynamic synthesis of program synchronizationVECHEV MARTIN·Filed 2012·Application pending·0 cites
- 1443US8839248B2Synthesis of memory barriersKUPERSTEIN MICHAEL·Filed 2010·Granted Sep 16, 2014·0 cites·14 claims
- 1542US8495588B2Abstraction-guided synthesisVECHEV MARTIN·Filed 2010·Granted Jul 23, 2013·0 cites·21 claims
- 1642US2007022149A1System and method for concurrent garbage collectionIBM·Filed 2005·Application pending·0 cites
- 1741US9110658B2Automatic verification and synthesis for weak memory modelsKUPERSTEIN MICHAEL·Filed 2011·Granted Aug 18, 2015·0 cites·17 claims
- 1841US8548966B2Asynchronous assertionsVECHEV MARTIN·Filed 2011·Granted Oct 1, 2013·0 cites·19 claims
- 1939US2013275951A1Race detection for web applicationsDOLBY JULIAN·Filed 2012·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Martin Vechev 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 →