This inventor holds 4 USPTO granted patents. Top assignee: Carnegie Mellon University. Active years: 2015-2017.
Company Filing History:
Years Active: 2015-2017
Title: Innovations by Thanassis Avgerinos
Introduction
Thanassis Avgerinos is a notable inventor based in Pittsburgh, PA (US). He has made significant contributions to the field of software testing, holding a total of 4 patents. His work focuses on enhancing the efficiency and effectiveness of software testing methodologies.
Latest Patents
One of his latest patents is titled "Methods and systems for automatically testing software." This invention describes an automatic software testing machine that utilizes an advanced symbolic execution approach. It combines dynamic symbolic execution and static symbolic execution, leveraging the strengths of both methods while avoiding their vulnerabilities. The system is designed to automatically and dynamically alternate between these two execution types based on partial control flow graphs of the software code being tested. This innovative approach allows the software testing machine to begin with dynamic symbolic execution and switch to static symbolic execution opportunistically, checking only specific program fragments rather than entire programs.
Another significant patent by Avgerinos is "Detecting exploitable bugs in binary code." This patent outlines systems and methods for performing hybrid symbolic execution to identify exploitable bugs within binary code. The systems determine the performance level of resources associated with an execution client conducting symbolic execution of a target program. They generate checkpoints for active executing paths and adjust the execution process based on the performance level, ensuring efficient bug detection.
Career Highlights
Thanassis Avgerinos is affiliated with Carnegie Mellon University, where he continues to advance research in software testing and security. His work has garnered attention for its innovative approaches to complex problems in software engineering.
Collaborations
He has collaborated with notable colleagues such as David James Brumley and Alexandre Rebert, contributing to the advancement of knowledge in the field of software testing and security.
Conclusion
Thanassis Avgerinos is a prominent inventor whose work in software testing has led to significant advancements in the field. His innovative patents reflect a deep understanding of software execution methodologies and their applications in detecting vulnerabilities.