Issued Patents All Time
Showing 1–18 of 18 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11310286 | Mechanism for providing external access to a secured networked virtualization environment | Miao Cui, Kshitiz Jain | 2022-04-19 |
| 10542049 | Mechanism for providing external access to a secured networked virtualization environment | Miao Cui, Kshitiz Jain | 2020-01-21 |
| 8799194 | Probabilistic model checking of systems with ranged probabilities | Parasara Sridhar Duggirala, Khalil Ghorbal, Franjo Ivancic, Aarti Gupta | 2014-08-05 |
| 8769499 | Universal causality graphs for bug detection in concurrent programs | Chao Wang | 2014-07-01 |
| 8612940 | Lock removal for concurrent programs | Chao Wang | 2013-12-17 |
| 8543985 | System and method for verification of programs using threads having bounded lock chains | — | 2013-09-24 |
| 8539450 | Fast and accurate data race detection for concurrent programs with asynchronous calls | Nishant Sinha, Yun Zhang, Eric J. Kruus | 2013-09-17 |
| 8527976 | System and method for generating error traces for concurrency bugs | Sriram Sankarnarayanan, Aarti Gupta | 2013-09-03 |
| 8381226 | System and method for monotonic partial order reduction | Chao Wang, Aarti Gupta | 2013-02-19 |
| 8380483 | Inter-procedural dataflow analysis of parameterized concurrent software | — | 2013-02-19 |
| 8286137 | Accelerating model checking via synchrony | Aarti Gupta | 2012-10-09 |
| 8266600 | Model checking of multi threaded software | Aarti Gupta | 2012-09-11 |
| 8185875 | Fast and accurate static data-race detection for concurrent programs | Yu Yang, Sriram Sankaranarayanan, Aarti Gupta | 2012-05-22 |
| 8176496 | Partial order reduction using guarded independence relations | Chao Wang, Zijian YANG, Aarti Gupta | 2012-05-08 |
| 8141049 | System and method for scalable flow and context-sensitive pointer alias analysis | — | 2012-03-20 |
| 8136098 | Using pushdown systems for the static analysis of multi-threaded programs | Aarti Gupta | 2012-03-13 |
| 7783470 | Verification of concurrent programs having parameterized qualities | — | 2010-08-24 |
| 7784035 | Method for the static analysis of concurrent multi-threaded software | Aarti Gupta | 2010-08-24 |