Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10719425 | Happens-before-based dynamic concurrency analysis for actor-based programs | Nicholas John Allen, Yang Zhao, Cristina N. Cifuentes | 2020-07-21 |
| 10620660 | Efficient timestamp solution for analyzing concurrent software systems | Yang Zhao, Nicholas John Allen, Cristina N. Cifuentes | 2020-04-14 |