This inventor holds 1 USPTO granted patent. Top assignees: Bae Systems Information and Electronic Systems Integration Inc., Massachusetts Institute of Technology. Active years: 2014.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile
Company Filing History:
1 out of 1,873 
1 out of 8,594 
Years Active: 2014
Title: Paolo Mario Piselli: Innovator in Software Logic Correction
Introduction
Paolo Mario Piselli is an accomplished inventor based in Arlington, MA (US). He has made significant contributions to the field of software development, particularly in the area of automatic correction of program logic. His innovative approach addresses the detection and repair of application-level semantic errors in deployed software.
Latest Patents
Piselli holds a patent for an invention titled "Automatic correction of program logic." This patent outlines a method for inferring aspects of correct operation of a program by utilizing a suite of examples of operations that are known or assumed to be correct. The invention allows for the comparison of further operations of the program to the results found during correct operation. By augmenting the program's logic, it ensures that new examples of operation are sufficiently similar to those in the correct suite. This method may include identifying invariants satisfied at certain points in program execution and adding tests to confirm that these invariants are met. Additionally, the logic can invoke an automatic or semi-automatic error handling procedure if the tests are not satisfied. This innovation aims to prevent malicious exploitation of semantic errors and reduce the likelihood of execution failures.
Career Highlights
Throughout his career, Piselli has worked with notable organizations, including BAE Systems Information and Electronic Systems Integration Inc. and the Massachusetts Institute of Technology. His experience in these prestigious institutions has contributed to his expertise in software logic and error correction.
Collaborations
Piselli has collaborated with several professionals in his field, including Eric Patrick Lahtinen and Greg Timothy Sullivan. These collaborations have further enriched his work and contributed to advancements in software development.
Conclusion
Paolo Mario Piselli is a notable inventor whose work in automatic correction of program logic has the potential to significantly enhance software reliability and security. His contributions to the field reflect a commitment to innovation and excellence in technology.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile