Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9633095 | Extract, transform and load (ETL) system and method | Prasun Kumar, Pravanjan Choudhury, Abhilash L. Lakkur, Sudipta Samanta | 2017-04-25 |
| 8397221 | Calculating resource bounds of programs manipulating recursive data structures and collections | Sumit Gulwani, Trishul Chilimbi | 2013-03-12 |
| 8266598 | Bounding resource consumption using abstract interpretation | Sumit Gulwani, Trishul Chilimbi | 2012-09-11 |
| 8065565 | Statistical debugging using paths and adaptive profiling | Trishul Chilimbi, Benjamin Robert Liblit, Aditya Vithal Nori, Kapil Vaswani | 2011-11-22 |
| 7702695 | Object relational map verification system | Sriram K. Rajamani, Aravinda P. Sistla, Sumit Kumar Jha | 2010-04-20 |