This inventor holds 1 USPTO granted patent and 1 published patent application. Top assignee: Microsoft Technology Licensing, LLC. Active years: 2014.
Company Filing History:
Years Active: 2014
Title: Saurabh Joshi: Innovator in Static Analysis of Concurrent Programs
Introduction
Saurabh Joshi is a notable inventor based in Kanpur, India. He has made significant contributions to the field of computer science, particularly in the area of static analysis for concurrent programs. His innovative approach aims to enhance the reliability of software systems.
Latest Patents
Saurabh Joshi holds a patent titled "Reducing false alarms for static analysis of concurrent programs." This patent presents a method for performing static analysis on concurrent programs. The method involves determining if a static analysis of a first concurrent program generates a warning for a specific input. It also includes assessing whether a static analysis of a second concurrent program produces the same warning. If the second program generates the warning, the method allows for the removal of the warning, thereby reducing false alarms in the analysis process. He has 1 patent to his name.
Career Highlights
Saurabh Joshi is currently employed at Microsoft Technology Licensing, LLC, where he continues to work on innovative solutions in software development. His expertise in static analysis has positioned him as a valuable asset in the tech industry.
Collaborations
Throughout his career, Saurabh has collaborated with esteemed colleagues such as Shuvendu K Lahiri and Akash Lal. These collaborations have further enriched his work and contributed to advancements in the field.
Conclusion
Saurabh Joshi's contributions to the field of static analysis for concurrent programs demonstrate his commitment to innovation and excellence. His work not only enhances software reliability but also sets a foundation for future advancements in the industry.