Yu Yang

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.