Patents by Inventor Sudeep Dilip Juvekar

Sudeep Dilip Juvekar has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Computing a symbolic bound for a procedure
    Patent number: 8752029
    Abstract: A system that facilitates computing a symbolic bound with respect to a procedure that is executable by a processor on a computing device is described herein. The system includes a transition system generator component that receives the procedure and computes a disjunctive transition system for a control location in the procedure. A compute bound component computes a bound for the transition system, wherein the bound is expressed in terms of inputs to the transition system. The system further includes a translator component that translates the bound computed by the compute bound component such that the bound is expressed in terms of inputs to the procedure.
    Type: Grant
    Filed: September 29, 2009
    Date of Patent: June 10, 2014
    Assignee: Microsoft Corporation
    Inventors: Sumit Gulwani, Florian Franz Zuleger, Sudeep Dilip Juvekar
  • COMPUTING A SYMBOLIC BOUND FOR A PROCEDURE
    Publication number: 20110078665
    Abstract: A system that facilitates computing a symbolic bound with respect to a procedure that is executable by a processor on a computing device is described herein. The system includes a transition system generator component that receives the procedure and computes a disjunctive transition system for a control location in the procedure. A compute bound component computes a bound for the transition system, wherein the bound is expressed in terms of inputs to the transition system. The system further includes a translator component that translates the bound computed by the compute bound component such that the bound is expressed in terms of inputs to the procedure.
    Type: Application
    Filed: September 29, 2009
    Publication date: March 31, 2011
    Applicant: Microsoft Corporation
    Inventors: Sumit Gulwani, Florian Frantz Zuleger, Sudeep Dilip Juvekar