Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8433954 | Testing components for thread safety | Sebastian Burckhardt, Madanlal Musuvathi, Roy P. Tan | 2013-04-30 |
| 8276021 | Concurrency test effectiveness via mutation testing and dynamic lock elision | Roy P. Tan, Shaun Emory Miller | 2012-09-25 |
| 8266604 | Transactional memory compatibility management | Dana Groff, Yosseff Levanoni, Stephen Toub, Michael M. Magruder, Weirong Zhu +8 more | 2012-09-11 |
| 8191046 | Checking transactional memory implementations | Raghuveer Simha | 2012-05-29 |
| 7788369 | System and method for network discovery and connection management | Christopher M. McAllen, Gregory Borges, Michael Reed, Richard M. Batch | 2010-08-31 |