Company Filing History:
Years Active: 2021
Title: Michael Vollmer: Innovator in Program Synthesis
Introduction
Michael Vollmer is a notable inventor based in Bloomington, IN (US). He has made significant contributions to the field of program synthesis, particularly through his innovative patent. His work focuses on enhancing the efficiency of synthesizing tasks in domain-specific languages.
Latest Patents
Michael Vollmer holds a patent titled "Parallel search in program synthesis." This patent encompasses systems, methods, and computer-executable instructions for parallel searching in program synthesis. The process begins with receiving a task to synthesize in a domain-specific language (DSL). The task is synthesized by generating sub-goals based on the original task. The synthesized task includes a subset of these sub-goals. An estimated completion time for each sub-goal is determined using the DSL. The sub-goals are then scheduled based on this estimated completion time, allowing some to be executed in parallel. This innovative approach significantly reduces the elapsed real time required to complete the synthesizing task compared to traditional methods.
Career Highlights
Michael Vollmer is currently employed at Microsoft Technology Licensing, LLC. His work at Microsoft has allowed him to explore and develop advanced methodologies in program synthesis. His contributions have been instrumental in pushing the boundaries of what is possible in this field.
Collaborations
Throughout his career, Michael has collaborated with esteemed colleagues such as Sumit Gulwani and Abhishek Udupa. These collaborations have fostered an environment of innovation and have led to the development of groundbreaking solutions in program synthesis.
Conclusion
Michael Vollmer's contributions to program synthesis through his patent and work at Microsoft Technology Licensing, LLC highlight his role as an influential inventor in the tech industry. His innovative approaches continue to shape the future of program synthesis and enhance the efficiency of software development.