Issued Patents All Time
Showing 1–18 of 18 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11494414 | Progressive query computation using streaming architectures | Danyel A. Fisher, Steven M. Drucker, Jonathan D. Goldstein, Badrish Chandramouli, John C. Platt +1 more | 2022-11-08 |
| 10140358 | Progressive query computation using streaming architectures | Danyel A. Fisher, Steven M. Drucker, Jonathan D. Goldstein, Badrish Chandramouli, John C. Platt +1 more | 2018-11-27 |
| 9659280 | Information sharing democratization for co-located group meetings | Andrew Craig Bragdon, Ken Hinckley, Meredith June Morris | 2017-05-23 |
| 9607045 | Progressive query computation using streaming architectures | Danyel A. Fisher, Steven M. Drucker, Jonathan D. Goldstein, Badrish Chandramouli, John C. Platt +1 more | 2017-03-28 |
| D766055 | Wrench | Douglas W. Ford | 2016-09-13 |
| 9015674 | Identifying execution paths that satisfy reachability queries | Mike Barnett, Akash Lal, Shaz Qadeer | 2015-04-21 |
| 8740261 | Fitting assembly | Douglas W. Ford | 2014-06-03 |
| 8696902 | High pressure connect fitting | Douglas W. Ford | 2014-04-15 |
| 8656361 | Debugging code visually on a canvas | Andrew Craig Bragdon, Kael R. Rowan, Jens K. Jacobsen | 2014-02-18 |
| 8561015 | Source code semantic zoom and spatial layout | Kael R. Rowan | 2013-10-15 |
| 8453106 | Graphical user interface for exploring source code execution behavior | Jonathan de Halleux, Nikolai Tillmann | 2013-05-28 |
| 8307541 | Assembly for placing an insert into communication with an analytical chemical instrument | Douglas W. Ford | 2012-11-13 |
| 8201854 | Hybrid ferrule | Douglas W. Ford | 2012-06-19 |
| 7793259 | System and method for managing user interaction data in a networked environment | George G. Robertson, Mary P. Czerwinski | 2010-09-07 |
| 7739622 | Dynamic thumbnails for document navigation | Mary P. Czerwinski, Brian R. Meyers, Gina D. Venolia, Steven M. Drucker, George G. Robertson | 2010-06-15 |
| 7614035 | Cartographic software maps | — | 2009-11-03 |
| 7526755 | Plug-in pre- and postconditions for static program analysis | Manuel A. Fahndrich | 2009-04-28 |
| 7421680 | Persisted specifications of method pre-and post-conditions for static checking | Manuel A. Fahndrich | 2008-09-02 |