logo

For the Inventor, By the Inventor

Plainsboro, NJ, United States of America

Chao Wang

USPTO Granted Patents = 11 

Average Co-Inventor Count = 2.6

ph-index = 3

Forward Citations = 27(Granted Patents)


Company Filing History:

goldMedal11 out of 718 
 
Nec Laboratories America, Inc.
 patents

Years Active: 2010-2014

Loading Chart...
11 patents (USPTO):Explore Patents
1. 8769499 - Universal causality graphs for bug detection in concurrent programs (2014-07-01),
2. 8612940 - Lock removal for concurrent programs (2013-12-17),
3. 8595708 - Systems and methods for concurrency analysis (2013-11-26),
4. 8589126 - System and method for model checking by interleaving stateless and state-based methods (2013-11-19),
5. 8561029 - Precise thread-modular summarization of concurrent programs (2013-10-15),
6. 8381226 - System and method for monotonic partial order reduction (2013-02-19),
7. 8359578 - Symbolic reduction of dynamic executions of concurrent programs (2013-01-22),
8. 8200474 - Dynamic model checking with property driven pruning to detect race conditions (2012-06-12),
9. 8176496 - Partial order reduction using guarded independence relations (2012-05-08),
10. 7926039 - Reachability analysis for program verification (2011-04-12),
11. 7693690 - Disjunctive image computation for sequential systems (2010-04-06),

Title: Innovations of Chao Wang: A Pioneer in Concurrent Programming

Introduction

Chao Wang is a notable inventor based in Plainsboro, NJ (US), recognized for his significant contributions to the field of computer science, particularly in concurrent programming. With a total of 11 patents to his name, Wang has developed innovative solutions that enhance the reliability and efficiency of multithreaded applications.

Latest Patents

Among his latest patents, Wang has introduced groundbreaking technologies such as "Universal causality graphs for bug detection in concurrent programs." This system and method for predictive analysis involves generating an execution trace on an instrumented version of source code for multithreaded computer programs. By performing static predictive analysis using a Universal Causality Graph (UCG), Wang's invention identifies interleavings that may lead to program violations. The UCG incorporates a unified happens-before model for the concurrent program and the property being analyzed, allowing for symbolic checking to determine potential errors.

Another significant patent is "Lock removal for concurrent programs," which presents a system and method for eliminating locks from concurrent programs. This innovation models a set of behaviors associated with a concurrent program as causality constraints. By identifying the behavior-preserving causality constraints, Wang's method retains necessary lock and unlock statements while discarding others, thereby optimizing the program's performance.

Career Highlights

Chao Wang is currently employed at NEC Laboratories America, Inc., where he continues to push the boundaries of technology in his field. His work has not only advanced the understanding of concurrent programming but has also provided practical solutions that are applicable in real-world scenarios.

Collaborations

Wang collaborates with esteemed colleagues such as Aarti Gupta and Vineet Kahlon, contributing to a dynamic research environment that fosters innovation and creativity.

Conclusion

Chao Wang's contributions to concurrent programming through his patents and collaborative efforts exemplify his commitment to advancing technology. His work continues to influence the field, making significant strides in improving software reliability and performance.

This text is generated by artificial intelligence and may not be accurate.
Please report any incorrect information to support@idiyas.com
Loading…