Issued Patents All Time
Showing 25 most recent of 31 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12423578 | Distributed training of machine learning models | Shuai Zheng, Zhen Zhang, Yida Wang, Justin Chiu, George Karypis +1 more | 2025-09-23 |
| 11803596 | Efficient forward ranking in a search engine | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Chad Walters +2 more | 2023-10-31 |
| 11704318 | Micro-partitioning based search | Iman Keivanloo, Narayanan Sadagopan, Choon Hui Teo, Santosh Rajagopalan, Hyokun Yun +2 more | 2023-07-18 |
| 10686869 | Tool for investigating the performance of a distributed processing system | Yutaka Suzue, Johnson T. Apacible, Karthik Kalyanaraman, Olatunji Ruwase, Yuxiong He +1 more | 2020-06-16 |
| 10592252 | Efficient instruction processing for sparse data | Olatunji Ruwase, Vivek Seshadri | 2020-03-17 |
| 10459727 | Loop code processor optimizations | Olatunji Ruwase, Vivek Seshadri | 2019-10-29 |
| 10437892 | Efficient forward ranking in a search engine | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Chad Walters +2 more | 2019-10-08 |
| 9529908 | Tiering of posting lists in search engine index | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman | 2016-12-27 |
| 9424351 | Hybrid-distribution model for search engine indexes | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Chad Walters +2 more | 2016-08-23 |
| 9342582 | Selection of atoms for search engine retrieval | Knut Magne Risvik, Mike Hopcroft, John G. Bennett, Karthik Kalyanaraman | 2016-05-17 |
| 9329876 | Resource aware programming | Woongki Baek | 2016-05-03 |
| 9195745 | Dynamic query master agent for query execution | Knut Magne Risvik, Michael J. Hopcroft, Karthik Kalyanaraman, Henry W. Setiawan, Christopher Walter Anderson | 2015-11-24 |
| 8959442 | Memory allocation visualization for unmanaged languages | Bongshin Lee, George G. Robertson | 2015-02-17 |
| 8914781 | Scalability analysis for server systems | Chen Ding | 2014-12-16 |
| 8464221 | Visualization tool for system tracing infrastructure events | Alice Zheng, Shuo-Hsien Hsiao, Danyel A. Fisher, David M. Andrzejewski | 2013-06-11 |
| 8397221 | Calculating resource bounds of programs manipulating recursive data structures and collections | Sumit Gulwani, Krishna Kumar Mehra | 2013-03-12 |
| 8266598 | Bounding resource consumption using abstract interpretation | Sumit Gulwani, Krishna Kumar Mehra | 2012-09-11 |
| 8079020 | Preferential path profiling | Kapil Vaswani, Aditya Vithal Nori | 2011-12-13 |
| 8065565 | Statistical debugging using paths and adaptive profiling | Krishna Kumar Mehra, Benjamin Robert Liblit, Aditya Vithal Nori, Kapil Vaswani | 2011-11-22 |
| 8060880 | System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding threshold | Sigmund Isy Cherem, Sumit Gulwani | 2011-11-15 |
| 8046752 | Dynamic prefetching of hot data streams | Martin J. Hirzel | 2011-10-25 |
| 8020141 | Operating-system process construction | Galen C. Hunt, James R. Larus, John D. DeTreville, Edward P. Wobber, Martin Abadi +1 more | 2011-09-13 |
| 7926043 | Data structure path profiling | Kapil Vaswani | 2011-04-12 |
| 7788637 | Operating system process identification | Galen C. Hunt, James R. Larus, John D. DeTreville, Edward P. Wobber, Martin Abadi +1 more | 2010-08-31 |
| 7770153 | Heap-based bug identification using anomaly detection | Vinod Ganapathy | 2010-08-03 |