Martin Vechev

Follow

Person

Zurich, CH

People

Patents Grantslast 30 patents

Information Patent Grant
Speculative prefetching of remote data
- Patent number 9,292,446
- Issue date Mar 22, 2016
- International Business Machines Corporation
- Arun Raman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstraction-guided synthesis
- Patent number 9,092,569
- Issue date Jul 28, 2015
- International Business Machines Corporation
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SPECULATIVE PREFETCHING OF REMOTE DATA
- Publication number 20140101278
- Publication date Apr 10, 2014
- International Business Machines Corporation
- Arun Raman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ABSTRACTION-GUIDED SYNTHESIS
- Publication number 20130268918
- Publication date Oct 10, 2013
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC SYNTHESIS OF PROGRAM SYNCHRONIZATION
- Publication number 20130247001
- Publication date Sep 19, 2013
- International Business Machine Corporation
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC SYNTHESIS OF PROGRAM SYNCHRONIZATION
- Publication number 20130247000
- Publication date Sep 19, 2013
- International Business Machine Corporation
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING