Inventor

VECHEV MARTIN

US14 patents

⚠️ This page may combine multiple inventors who share the name “VECHEV MARTIN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

4 patents

US9292446B2Mar 22, 2016

Speculative prefetching of remote data

IBM5 citations70

US8374978B2Feb 12, 2013

Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics

IBM4 citations61

US9766950B2Sep 19, 2017

Methods for single-owner multi-consumer work queues for repeatable tasks

IBM0 citations50

US9092569B2Jul 28, 2015

Abstraction-guided synthesis

IBM1 citations48

VECHEV MARTIN

3 patents

US9069893B2Jun 30, 2015

Automatic verification of determinism for parallel programs

VECHEV MARTIN5 citations68

US8495588B2Jul 23, 2013

Abstraction-guided synthesis

VECHEV MARTIN0 citations46

US8548966B2Oct 1, 2013

Asynchronous assertions

VECHEV MARTIN0 citations38

MICHAEL MAGED M

2 patents

US9135083B2Sep 15, 2015

Methods for single-owner multi-consumer work queues for repeatable tasks

MICHAEL MAGED M5 citations81

US8266394B2Sep 11, 2012

Methods for single-owner multi-consumer work queues for repeatable tasks

MICHAEL MAGED M2 citations59

ARNOLD MATTHEW R

2 patents

US8645917B2Feb 4, 2014

Providing support for debugging heap related errors with heap assertions

ARNOLD MATTHEW R3 citations59

US8495427B2Jul 23, 2013

Detecting defects in deployed systems

ARNOLD MATTHEW R4 citations59

KUPERSTEIN MICHAEL

2 patents

US8839248B2Sep 16, 2014

Synthesis of memory barriers

KUPERSTEIN MICHAEL0 citations49

US9110658B2Aug 18, 2015

Automatic verification and synthesis for weak memory models

KUPERSTEIN MICHAEL0 citations39

PISTOIA MARCO

1 patent

US8646088B2Feb 4, 2014

Runtime enforcement of security checks

PISTOIA MARCO25 citations92