Vladimir Jojic

Follow

Person

Toronto, CA

People

Patents Grantslast 30 patents

Information Patent Grant
Program synthesis and debugging using machine learning techniques
- Patent number 8,181,163
- Issue date May 15, 2012
- Microsoft Corporation
- Vladimir Jojic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program verification and discovery using probabilistic inference
- Patent number 7,729,999
- Issue date Jun 1, 2010
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROGRAM SYNTHESIS AND DEBUGGING USING MACHINE LEARNING TECHNIQUES
- Publication number 20080282108
- Publication date Nov 13, 2008
- Microsoft Corporation
- Vladimir Jojic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM VERIFICATION AND DISCOVERY USING PROBABILISTIC INFERENCE
- Publication number 20080172650
- Publication date Jul 17, 2008
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING