Patents per Year
Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 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 | $20,251,000 |
| 8266598 | Bounding resource consumption using abstract interpretation | Sumit Gulwani, Trishul Chilimbi | 2012-09-11 | $13,794,000 |
| 8065565 | Statistical debugging using paths and adaptive profiling | Trishul Chilimbi, Benjamin Robert Liblit, Aditya Vithal Nori, Kapil Vaswani | 2011-11-22 | $15,326,000 |
| 7702695 | Object relational map verification system | Sriram K. Rajamani, Aravinda P. Sistla, Sumit Kumar Jha | 2010-04-20 | $23,763,000 |