This inventor holds 1 USPTO granted patent. Top assignee: Microsoft Technology Licensing, LLC. Active years: 2013.
Company Filing History:
Years Active: 2013
Title: Dries Vanoverberghe: Innovator in Symbolic Execution and Runtime Checking
Introduction: Dries Vanoverberghe is an accomplished inventor based in Redmond, WA, known for his significant contributions to the field of computer science. He holds one patent that demonstrates his innovative approach to enhancing the reliability of programs through his research on symbolic execution and contracts.
Latest Patents: Dries Vanoverberghe's patent, titled "Symbolic Runtime Checking of Quantified Contracts," presents a novel extension of symbolic execution for programming languages involving contracts with quantifiers over extensive and potentially unbounded domains. This groundbreaking work utilizes symbolic execution to create concrete test cases that uncover discrepancies between program code and its associated contracts. By leveraging symbolic values during a series of executed runs, he has developed a method for instantiating quantifiers, which are controlled by a matching algorithm based on real-time input and program variable values. This innovative approach allows for the derivation of test cases that directly reveal the limitations of auxiliary assertions, bolstering the reliability and performance of software systems.
Career Highlights: Dries Vanoverberghe is currently a key member of the Microsoft Technology Licensing, LLC team. His expertise in symbolic execution and contract verification positions him at the forefront of research and development efforts aimed at enhancing software reliability. His unique insights and contributions have made a significant impact within the industry.
Collaborations: Throughout his career, Dries has collaborated with notable professionals such as Nikolai Tillmann and Jonathan Paul de Halleux. These partnerships have facilitated the exchange of ideas and further innovation in the field of symbolic execution and software testing.
Conclusion: Dries Vanoverberghe exemplifies the spirit of innovation in the realm of computer science. With his pioneering patent focusing on symbolic runtime checking, he is not only advancing the understanding of quantified contracts but also contributing to the broader objective of reliable software systems. His collaborations and career at Microsoft Technology Licensing, LLC reflect his commitment to harnessing technology for enhanced problem-solving in software development.