Issued Patents All Time
Showing 26–50 of 58 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9733927 | Detection of software or hardware incompatibilities in software packages | Pietro Ferrara, Marco Pistoia, Omer Tripp | 2017-08-15 |
| 9715560 | Optimizing sparse schema-less data in data stores | Mihaela Ancuta Bornea, Achille B. Fokoue-Nkoutche, Anastasios Kementsietsidis, Kavitha Srinivas | 2017-07-25 |
| 9535950 | Method and apparatus for optimizing the evaluation of semantic web queries | Mihaela Ancuta Bornea, Anastasios Kementsietsidis, Kavitha Srinivas | 2017-01-03 |
| 9471636 | Finding optimal query plans | Mihaela Ancuta Bornea, Achille B. Fokoue-Nkoutche, Anastasios Kementsietsidis, Kavitha Srinivas | 2016-10-18 |
| 9471635 | Finding optimal query plans | Mihaela Ancuta Bornea, Achille B. Fokoue-Nkoutche, Anastasios Kementsietsidis, Kavitha Srinivas | 2016-10-18 |
| 9323864 | Method and apparatus for identifying the optimal schema to store graph data in a relational store | Mihaela Ancuta Bornea, Achille B. Fokoue-Nkoutche, Anastasios Kementsietsidis, Kavitha Srinivas | 2016-04-26 |
| 9323825 | Method and apparatus for storing sparse graph data as multi-dimensional cluster | Mihaela Ancuta Bornea, Achille B. Fokoue-Nkoutche, Anastasios Kementsietsidis, Kavitha Srinivas | 2016-04-26 |
| 9280584 | Finding optimal query plans | Mihaela Ancuta Bornea, Achille B. Fokoue-Nkoutche, Anastasios Kementsietsidis, Kavitha Srinivas | 2016-03-08 |
| 9280585 | Method and apparatus for optimizing the evaluation of semantic web queries | Mihaela Ancuta Bornea, Anastasios Kementsietsidis, Kavitha Srinivas | 2016-03-08 |
| 9135147 | Automated testing of applications with scripting code | Shay Artzi, Salvatore A. Guarnieri, Simon H. Jensen, Marco Pistoia, Manu Sridharan +2 more | 2015-09-15 |
| 9043761 | Fault localization using condition modeling and return value modeling | Shay Artzi, Marco Pistoia, Frank Tip | 2015-05-26 |
| 9031933 | Method and apparatus for optimizing the evaluation of semantic web queries | Mihaela Ancuta Bornea, Anastasios Kementsietsidis, Kavitha Srinivas | 2015-05-12 |
| 8955139 | Sound and effective data-flow analysis in the presence of aliasing | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2015-02-10 |
| 8943478 | Fault detection and localization in dynamic software applications | Shay Artzi, Frank Tip | 2015-01-27 |
| 8918434 | Optimizing sparse schema-less data in relational stores | Bishwaranjan Bhattacharjee, Mihaela Ancuta Bornea, Patrick Dantressangle, Kavitha Srinivas, Octavian Udrea | 2014-12-23 |
| 8869127 | Refactoring programs for flexible locking | Manu Sridharan, Frank Tip, Max Schaefer | 2014-10-21 |
| 8694971 | Scalable property-sensitive points-to analysis for program code | Satish Chandra, Manu Sridharan, Frank Tip | 2014-04-08 |
| 8689191 | Correct refactoring of concurrent software | Max Schaefer, Manu Sridharan, Frank Tip, Emina Torlak | 2014-04-01 |
| 8607191 | Automated discovery of programmatic resources | Richard T. Goodwin, Anca-Andreea Ivan, Igor Anatolyevich Naumov, Manas R. Kumar Singh | 2013-12-10 |
| 8578342 | Fault detection and localization in dynamic software applications requiring user inputs and persistent states | Shay Artzi, Frank Tip | 2013-11-05 |
| 8572674 | System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision | Emmanuel Geay, Marco Pistoia, Barbara G. Ryder, Takaaki Tateishi | 2013-10-29 |
| 8549490 | Static code analysis for packaged application customization | Richard T. Goodwin, Anca-Andreea Ivan, Manas R. Kumar Singh | 2013-10-01 |
| 8527946 | Declarative object identity using relation types | Mandana Vaziri-Farahani, Frank Tip, Stephen Fink | 2013-09-03 |
| 8516449 | Detecting and localizing security vulnerabilities in client-server application | Shay Artzi, Marco Pistoia, Frank Tip, Omer Tripp | 2013-08-20 |
| 8453125 | Generating inputs for client-server programs for fault-detection and localization | Shay Artzi, Marco Pistoia, Frank Tip | 2013-05-28 |