Raghavan Raman

Follow

Person

US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic verification of determinism for parallel programs
- Patent number 9,069,893
- Issue date Jun 30, 2015
- International Business Machines Corporation
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Automatic Verification of Determinism for Parallel Programs
- Publication number 20120246662
- Publication date Sep 27, 2012
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING