Issued Patents All Time
Showing 25 most recent of 36 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12415124 | Rooftop mount for exercise equipment | Keith M. Dery, Donald D. Fink, Steve Yang | 2025-09-16 |
| 11471724 | Rooftop mount for exercise equipment | Keith M. Dery, Donald D. Fink, Steve Yang | 2022-10-18 |
| 11301364 | Facilitating debugging serverless applications via graph rewriting | Nicholas Matthew Mitchell | 2022-04-12 |
| 11194572 | Managing external feeds in an event-based computing system | Hoang Anh Le, Vinod Muthusamy, Rodric Rabbah, Jeremias Werner | 2021-12-07 |
| 10929274 | Facilitating debugging serverless applications via graph rewriting | Nicholas Matthew Mitchell | 2021-02-23 |
| 10896181 | Serverless composition of functions into applications | Rodric Rabbah, Nicholas Matthew Mitchell, Olivier Tardieu | 2021-01-19 |
| 10733591 | Tiered model for event-based serverless computing | Ioana M. Baldini Soares | 2020-08-04 |
| 10489277 | Facilitating debugging serverless applications via graph rewriting | Nicholas Matthew Mitchell | 2019-11-26 |
| 10303529 | Protocol for communication of data structures | Alan A. Donovan, Darrell C. Reimer, Mark N. Wegman | 2019-05-28 |
| 10303582 | Facilitating debugging serverless applications via graph rewriting | Nicholas Matthew Mitchell | 2019-05-28 |
| 10191735 | Language-independent program composition using containers | Perry S. Cheng, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski | 2019-01-29 |
| 10185558 | Language-independent program composition using containers | Perry S. Cheng, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski | 2019-01-22 |
| 10032114 | Predicting application performance on hardware accelerators | Ioana M. Baldini Soares | 2018-07-24 |
| 9753708 | Automatic conversion of sequential array-based programs to parallel map-reduce programs | Rodric Rabbah, Cosmin A. Radoi, Manu Sridharan | 2017-09-05 |
| 9747089 | Automatic conversion of sequential array-based programs to parallel map-reduce programs | Rodric Rabbah, Cosmin A. Radoi, Manu Sridharan | 2017-08-29 |
| 9747187 | Simulating black box test results using information from white box testing | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani +4 more | 2017-08-29 |
| 9720798 | Simulating black box test results using information from white box testing | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani +4 more | 2017-08-01 |
| 9715663 | Predicting application performance on hardware accelerators | Ioana M. Baldini Soares | 2017-07-25 |
| 9501334 | Protocol for communication of data structures | Alan A. Donovan, Darrell C. Reimer, Mark N. Wegman | 2016-11-22 |
| 9454350 | Extracting stream graph structure in a computer language by pre-executing a deterministic subset | Joshua S. Auerbach, David F. Bacon, Perry S. Cheng, Rodric Rabbah | 2016-09-27 |
| 9208055 | Importance-based call graph construction | Yinnon A. Haviv, Marco Pistoia, Omer Tripp, Omri Weisman | 2015-12-08 |
| 9152399 | Extracting stream graph structure in a computer language by pre-executing a deterministic subset | Joshua S. Auerbach, David F. Bacon, Perry S. Cheng, Rodric Rabbah | 2015-10-06 |
| 9104432 | Extracting stream graph structure in a computer language by pre-executing a deterministic subset | Joshua S. Auerbach, David F. Bacon, Perry S. Cheng, Rodric Rabbah | 2015-08-11 |
| 8850405 | Generating sound and minimal security reports based on static analysis of a program | Yinnon A. Haviv, Marco Pistoia, Omer Tripp, Omri Weisman | 2014-09-30 |
| 8527946 | Declarative object identity using relation types | Mandana Vaziri-Farahani, Frank Tip, Julian Timothy Dolby | 2013-09-03 |