Patents by Inventor Stephen McCamant

Stephen McCamant 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).

  • Using dynamic analysis to improve model checking
    Patent number: 7962901
    Abstract: Model checking has been used to verify program behavior. However, exploration of the model is often impractical for many general purpose programs due to the complexity of an exploding state space. Instead, a program is instrumented with code that records pointer dereference information. The instrumented program is executed thereby recording pointer dereference frequency information. Then, a model of the program is explored using the pointer dereference frequency information to direct state space exploration of the model.
    Type: Grant
    Filed: April 17, 2006
    Date of Patent: June 14, 2011
    Assignee: Microsoft Corporation
    Inventors: Stephen McCamant, Trishul Chilimbi
  • Using dynamic analysis to improve model checking
    Publication number: 20070244942
    Abstract: Model checking has been used to verify program behavior. However, exploration of the model is often impractical for many general purpose programs due to the complexity of an exploding state space. Instead, a program is instrumented with code that records pointer dereference information. The instrumented program is executed thereby recording pointer dereference frequency information. Then, a model of the program is explored using the pointer dereference frequency information to direct state space exploration of the model.
    Type: Application
    Filed: April 17, 2006
    Publication date: October 18, 2007
    Inventors: Stephen McCamant, Trishul Chilimbi