Issued Patents All Time
Showing 51–69 of 69 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9098191 | Sketch beautification and completion of partial structured-drawings | Salman Shaukat Cheema, Joseph LaViola, II | 2015-08-04 |
| 9031894 | Parsing and rendering structured images | Oleksandr Polozov | 2015-05-12 |
| 9002758 | Ranking for inductive synthesis of string transformations | Rishabh Singh | 2015-04-07 |
| 8972930 | Generating text manipulation programs using input-output examples | — | 2015-03-03 |
| 8825572 | Program synthesis with existentially and universally quantified belief propagation using probabilistic inference | Aditya Vithal Nori, Sriram K. Rajamani, Rahul Srinivasan | 2014-09-02 |
| 8799234 | Semantic entity manipulation using input-output examples | Rishabh Singh | 2014-08-05 |
| 8752029 | Computing a symbolic bound for a procedure | Florian Franz Zuleger, Sudeep Dilip Juvekar | 2014-06-10 |
| 8719801 | Timing analysis of concurrent programs | Raluca Carmen Sauciuc | 2014-05-06 |
| 8650207 | Inductive synthesis of table-based string transformations | Rishabh Singh, Dany Rouhana | 2014-02-11 |
| 8484550 | Automated table transformations from examples | William R. Harris | 2013-07-09 |
| 8402439 | Program analysis as constraint solving | Saurabh Srivastava, Ramarathnam Venkatesan | 2013-03-19 |
| 8397221 | Calculating resource bounds of programs manipulating recursive data structures and collections | Krishna Kumar Mehra, Trishul Chilimbi | 2013-03-12 |
| 8316345 | Program abstraction based on program control | Akash Lal | 2012-11-20 |
| 8271404 | Template based approach to discovering disjunctive and quantified invariants over predicate abstraction | Ramarathnam Venkatesan, Saurabh Srivastava | 2012-09-18 |
| 8266598 | Bounding resource consumption using abstract interpretation | Krishna Kumar Mehra, Trishul Chilimbi | 2012-09-11 |
| 8181163 | Program synthesis and debugging using machine learning techniques | Vladimir Jojic, Nebojsa Jojic | 2012-05-15 |
| 8060880 | System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding threshold | Sigmund Isy Cherem, Trishul Chilimbi | 2011-11-15 |
| 7729999 | Program verification and discovery using probabilistic inference | Vladimir Jojic, Nebojsa Jojic | 2010-06-01 |
| 7606774 | Computer implemented cover process approximating quantifier elimination | Madanlal Musuvathi | 2009-10-20 |