loadpatents
Patent applications and USPTO patent grants for Vechev; Martin.The latest application filed is for "methods for single-owner multi-consumer work queues for repeatable tasks".
Patent | Date |
---|---|
Methods for single-owner multi-consumer work queues for repeatable tasks Grant 9,766,950 - Michael , et al. September 19, 2 | 2017-09-19 |
Speculative prefetching of remote data Grant 9,292,446 - Raman , et al. March 22, 2 | 2016-03-22 |
Methods For Single-owner Multi-consumer Work Queues For Repeatable Tasks App 20160004572 - MICHAEL; Maged M. ;   et al. | 2016-01-07 |
Methods for single-owner multi-consumer work queues for repeatable tasks Grant 9,135,083 - Michael , et al. September 15, 2 | 2015-09-15 |
Automatic verification and synthesis for weak memory models Grant 9,110,658 - Kuperstein , et al. August 18, 2 | 2015-08-18 |
Abstraction-guided synthesis Grant 9,092,569 - Vechev , et al. July 28, 2 | 2015-07-28 |
Synthesis of memory barriers Grant 8,839,248 - Kuperstein , et al. September 16, 2 | 2014-09-16 |
Speculative Prefetching Of Remote Data App 20140101278 - Raman; Arun ;   et al. | 2014-04-10 |
Providing support for debugging heap related errors with heap assertions Grant 8,645,917 - Arnold , et al. February 4, 2 | 2014-02-04 |
Runtime enforcement of security checks Grant 8,646,088 - Pistoia , et al. February 4, 2 | 2014-02-04 |
Race Detection For Web Applications App 20130275951 - Dolby; Julian ;   et al. | 2013-10-17 |
Abstraction-guided Synthesis App 20130268918 - Vechev; Martin ;   et al. | 2013-10-10 |
Asynchronous assertions Grant 8,548,966 - Vechev , et al. October 1, 2 | 2013-10-01 |
Dynamic Synthesis Of Program Synchronization App 20130247000 - Vechev; Martin ;   et al. | 2013-09-19 |
Dynamic Synthesis Of Program Synchronization App 20130247001 - Vechev; Martin ;   et al. | 2013-09-19 |
Detecting defects in deployed systems Grant 8,495,427 - Arnold , et al. July 23, 2 | 2013-07-23 |
Abstraction-guided synthesis Grant 8,495,588 - Vechev , et al. July 23, 2 | 2013-07-23 |
Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics Grant 8,374,978 - Shacham , et al. February 12, 2 | 2013-02-12 |
Automatic Verification and Synthesis for Weak Memory Models App 20120278792 - Kuperstein; Michael ;   et al. | 2012-11-01 |
Automatic Verification of Determinism for Parallel Programs App 20120246662 - Vechev; Martin ;   et al. | 2012-09-27 |
Methods for single-owner multi-consumer work queues for repeatable tasks Grant 8,266,394 - Michael , et al. September 11, 2 | 2012-09-11 |
Methods For Single-owner Multi-consumer Work Queues For Repeatable Tasks App 20120210322 - Michael; Maged M. ;   et al. | 2012-08-16 |
Asynchronous Assertions App 20120179650 - Vechev; Martin ;   et al. | 2012-07-12 |
Runtime Enforcement Of Security Checks App 20120174229 - Pistoia; Marco ;   et al. | 2012-07-05 |
Context-Sensitive Dynamic Bloat Detection System App 20110295789 - Shacham; Ohad ;   et al. | 2011-12-01 |
Synthesis of Memory Barriers App 20110296424 - Kuperstein; Michael ;   et al. | 2011-12-01 |
Abstraction-guided Synthesis App 20110258606 - Vechev; Martin ;   et al. | 2011-10-20 |
Detecting Defects In Deployed Systems App 20110087927 - Arnold; Matthew R. ;   et al. | 2011-04-14 |
Heap Assertions App 20110087926 - Arnold; Matthew R. ;   et al. | 2011-04-14 |
Methods For Single-owner Multi-consumer Work Queues For Repeatable Tasks App 20100011362 - Michael; Maged M. ;   et al. | 2010-01-14 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.