Issued Patents All Time
Showing 26–50 of 148 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9400638 | Reactive expression generation and optimization | Bart De Smet | 2016-07-26 |
| 9350690 | User perception of electronic messaging | Dragos A. Manolescu, Matthew Jason Pope, Matthew Bret MacLaurin, F. David Jones, Mary P. Czerwinski +1 more | 2016-05-24 |
| 9317255 | Automatic code transformation with state transformer monads | John Wesley Dyer | 2016-04-19 |
| 9282132 | Publish/subscribe mashups for social networks | — | 2016-03-08 |
| 9251284 | Mixing synchronous and asynchronous data streams | Danny Van Velzen, Jeffrey Van Gogh, Arun Sacheti, Srikanth R Ravula | 2016-02-02 |
| 9253047 | Serialization of run-time state | Debi P. Mishra, Amit Mital, Gary W. Flake, Matthew Bret MacLaurin, Alexander G. Gounares +1 more | 2016-02-02 |
| 9183407 | Permission based query processing | Evelyne Viegas, Savas Parastatidis, Stephen H. Toub | 2015-11-10 |
| 9177017 | Query constraint encoding with type-based state machine | Bart De Smet | 2015-11-03 |
| 9170787 | Componentization of compiler functionality | Avner Y. Aharoni, Timothy Yat Tim Ng, Amanda Silver, Paul A. Vick, Scott Daniel Wisniewski | 2015-10-27 |
| 9076125 | Visualization of participant relationships and sentiment for electronic messaging | Dragos A. Manolescu, Matthew Jason Pope, Raymond E. Ozzie, F. David Jones, Mary P. Czerwinski | 2015-07-07 |
| 9075672 | Monadic evaluation of injected query compositions | Brian C. Beckman, Elad Gerson, Gur Kimchi, Avi Bar-Zeev, Selvi Chenai | 2015-07-07 |
| 9043727 | Visualization techniques for imprecise statement completion | Avner Y. Aharoni, Andrew E. Kimball, David N. Schach, Sravani Kothapalle, Ghanashyam Chandrasekhar Namboodiripad +4 more | 2015-05-26 |
| 9003377 | Efficient resumption of co-routines on a linear stack | Neal M. Gafter, Mads Torgersen, Niklas Gustafsson | 2015-04-07 |
| 8983954 | Finding data in connected corpuses using examples | John C. Platt, Surajit Chaudhuri, Lev Novik, Efim Hudis, Kunal Mukerjee +1 more | 2015-03-17 |
| 8806468 | On-demand loading of types of software code of a program executing on a computing device | Jeffrey Van Gogh | 2014-08-12 |
| 8806618 | Security by construction for distributed applications | Benjamin Livshits, Brian C. Beckman, Jeffrey Van Gogh, Danny Van Velzen, Dragos A. Manolescu +1 more | 2014-08-12 |
| 8775677 | Transportable web application | Gary W. Flake, Alexander G. Gounares, Matthew Bret MacLaurin, Debi P. Mishra, Amit Mital +1 more | 2014-07-08 |
| 8762969 | Immutable parsing | John Wesley Dyer, Thomas Meschter, Cyrus Najmabadi | 2014-06-24 |
| 8745591 | Data flow visualization and debugging | Bart De Smet | 2014-06-03 |
| 8732732 | Type inference and type-directed late binding | Brian C. Beckman, David N. Schach, Amanda Silver, Paul A. Vick, Peter F. Drayton +2 more | 2014-05-20 |
| 8719143 | Determination of optimized location for services and data | Gary W. Flake, Arnold Blinn, William J. Bolosky, Lili Cheng, Michael Connolly +7 more | 2014-05-06 |
| 8713015 | Expressive grouping for language integrated queries | Paul A. Vick | 2014-04-29 |
| 8705746 | Data security in an off-premise environment | William H. Gates, III, Raymond E. Ozzie, Thomas F. Bergstraesser, Lili Cheng, Michael Connolly +4 more | 2014-04-22 |
| 8601598 | Off-premise encryption of data storage | Raymond E. Ozzie, William H. Gates, III, Thomas F. Bergstraesser, Lili Cheng, Michael Connolly +4 more | 2013-12-03 |
| 8595356 | Serialization of run-time state | Debi P. Mishra, Amit Mital, Gary W. Flake, Matthew Bret MacLaurin, Alexander G. Gounares +1 more | 2013-11-26 |