Company Filing History:
2 out of 54,638 
1 out of 27,394 
Years Active: 2006-2010
Title: Todd David Millstein: Innovator in Predicate Abstraction
Introduction
Todd David Millstein is a notable inventor based in Seattle, WA. He has made significant contributions to the field of computer science, particularly in the area of program abstraction. With a total of 3 patents, Millstein's work focuses on enhancing the understanding and functionality of programming languages.
Latest Patents
One of Millstein's latest patents is a system and method for generating a predicate abstraction of a program. This invention describes a method that enables the automatic generation of a boolean program that serves as a predicate abstraction of a program written in a general programming language. The method is capable of abstracting various code statements, including procedure calls, assignments, goto statements, conditionals, and pointers. In accordance with the invention, predicates of interest are identified for each code statement in the program. For each specific code statement, the process generates predicate statements that describe the effect that the statement has on the predicates of interest. If the effect of a particular code statement is indeterminable, non-deterministic predicate statements are included in the boolean program to model this uncertainty. Additionally, if a code statement includes a procedure call, the arguments and return value of the procedure call are translated to associated predicates in the calling context.
Career Highlights
Throughout his career, Todd Millstein has worked with prominent companies such as Microsoft Technology Licensing, LLC and Hewlett-Packard Development Company, L.P. His experience in these organizations has allowed him to refine his skills and contribute to innovative projects in the tech industry.
Collaborations
Millstein has collaborated with esteemed colleagues, including Thomas J. Ball and Sriram K. Rajamani. These partnerships have further enriched his work and expanded the impact of his inventions.
Conclusion
Todd David Millstein is a distinguished inventor whose work in predicate abstraction has advanced the field of programming languages. His contributions continue to influence the way software is developed and understood.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.