Company Filing History:
Years Active: 2012-2013
Title: Innovations by Yu Yang in Concurrent Software Verification
Introduction
Yu Yang is an accomplished inventor based in Salt Lake City, UT (US). He has made significant contributions to the field of computer science, particularly in the verification of concurrent software programs. With a total of 2 patents, his work focuses on enhancing the efficiency and scalability of software verification methods.
Latest Patents
One of Yu Yang's latest patents is titled "Symbolic reduction of dynamic executions of concurrent programs." This invention presents a computer-implemented method for verifying concurrent software programs by partitioning them into subsets known as concurrent trace programs (CTPs). Each CTP is evaluated using a satisfiability-based (SAT) symbolic analysis, which allows for a more scalable and efficient verification process.
Another notable patent is "Fast and accurate static data-race detection for concurrent programs." This system and method generate race warnings for computer program verification by determining shared variables and context-sensitive points-to sets for lock pointers. By focusing on pointers that may affect aliases of lock pointers and leveraging function summarization, the method effectively identifies potential data races in concurrent programs.
Career Highlights
Yu Yang is currently employed at NEC Laboratories America, Inc., where he continues to innovate in the realm of software verification. His work has been instrumental in advancing the methodologies used to ensure the reliability of concurrent software systems.
Collaborations
Throughout his career, Yu Yang has collaborated with notable colleagues, including Aarti Gupta and Chao Wang. These partnerships have contributed to the development of cutting-edge solutions in the field of computer science.
Conclusion
In summary, Yu Yang's contributions to the verification of concurrent software programs through his innovative patents have significantly impacted the field. His work at NEC Laboratories America, Inc. exemplifies the importance of collaboration and innovation in advancing technology.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.