Alexandre Campos Perez

Title: The Innovative Mind of Alexandre Campos Perez

Introduction

Alexandre Campos Perez is a notable inventor based in San Mateo, CA. He holds a total of 6 patents that showcase his contributions to the fields of integrated circuit diagnostics and software repair. His work reflects a deep understanding of complex systems and a commitment to advancing technology.

Latest Patents

One of his latest patents is titled "Hybrid solver for integrated circuit diagnostics and testing." This invention provides a method and system for computing diagnoses for a physical system. During operation, the system can obtain a design of the physical system, generate a design of a diagnostic system by augmenting the design of the physical system based on a number of fault-emulating subsystems, and convert the design of the diagnostic system into a polynomial formula comprising a plurality of variables. The plurality of variables can include inputs and outputs of the original physical system and a number of ancillary variables. The system can further embed the polynomial formula on a hardware-based solver configured to perform optimization using the polynomial formula as an objective function to obtain a diagnostic vector used for explaining faults in the physical system.

Another significant patent is "System and method for automatic program repair using fast-result test cases." This invention provides a system for automatic program repair (APR). The system identifies a first set of components under repair in a software system and determines, while executing an original test, second and third sets of components that are executed before and after, respectively, the first set of components. The system generates a first block of mock code that runs faster and simulates runtime behaviors of the second set of components, identifies a code region within the third set of components that affects a test result of the software system, and generates a second block of mock code that runs faster and affects the test result similarly. The system generates a fast-result test by replacing the second set of components with the first block of mock code and replacing the third set of components with the second block of mock code and performs APR by executing the fast-result test.

Career Highlights

Throughout his career, Alexandre has worked with prestigious organizations such as Palo Alto Research Center Inc. and Xerox Corporation. His experience in these companies has allowed him to refine his skills and contribute to groundbreaking projects.

Collaborations

Alexandre has collaborated with notable individuals in the field, including Johan De Kleer and Eric Allan Bier. These partnerships have further enriched his