Issued Patents All Time
Showing 25 most recent of 30 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12254008 | Responding to task prompt on declarative code using language model | Carina Suzana NEGREANU, Neil Blunt TORONTO, Brian Paul SLININGER, Andrew D. Gordon, Advait Sarkar +1 more | 2025-03-18 |
| 12039257 | Systems, methods, and computer-readable media for improved table identification using a neural network | Marc Manuel Johannes Brockschmidt, Pallavi Choudhury, Oleksandr Polozov, Rishabh Singh, Saswat Padhi | 2024-07-16 |
| 11107548 | Leveraging chip variability | Ray Bittner, Darko Kirovski, Karthik Pattabiraman | 2021-08-31 |
| 11080475 | Predicting spreadsheet properties | Rishabh Singh, Ben Livshits | 2021-08-03 |
| 10748640 | Leveraging chip variability | Ray Bittner, Darko Kirovski, Karthik Pattabiraman | 2020-08-18 |
| 10578427 | Apparatus and method for measuring the torsion of a test object | Mathias Müller, Florian Rieger, Thomas Grübler | 2020-03-03 |
| 10409892 | Formatting data by example | Chad Rothschiller, Daniel Battagin, Christopher Benedict, Rodrigo Moreira-Silveira, Dmitri O. Danilov +5 more | 2019-09-10 |
| 10102241 | Detecting errors in spreadsheets | Emery D. Berger | 2018-10-16 |
| 10044750 | Code labeling based on tokenized code samples | Benjamin Livshits, Benjamin Stock | 2018-08-07 |
| 9978461 | Leveraging chip variability | Ray Bittner, Darko Kirovski, Karthik Pattabiraman | 2018-05-22 |
| 9898579 | Relational DNA operations | Karin Strauss, Kris Ganjam | 2018-02-20 |
| 9891895 | User interaction models for disambiguation in programming-by-example | Sumit Gulwani, Rishabh Singh, Mark Marron, Oleksandr Polozov, Vu Minh Le +3 more | 2018-02-13 |
| 9666303 | Leveraging chip variability | Ray Bittner, Darko Kirovski, Karthik Pattabiraman | 2017-05-30 |
| 9552335 | Expedited techniques for generating string manipulation programs | Sumit Gulwani, Rishabh Singh, Dany Rouhana, Weide Zhong | 2017-01-24 |
| 9411674 | Providing hardware resources having different reliabilities for use by an application | Karthik Pattabiraman, Thomas Moscibroda, Song Liu | 2016-08-09 |
| 9038185 | Execution of multiple execution paths | Benjamin Livshits, Christian Seifert, Clemens Kolbitsch | 2015-05-19 |
| 8977910 | Leveraging chip variability | Ray Bittner, Darko Kirovski, Karthik Pattabiraman | 2015-03-10 |
| 8856333 | Datacenter execution templates | Jeffrey T. Cohen, Dennis B. Gannon, Emre Mehmet Kiciman, George M. Moore, Stuart Schaefer | 2014-10-07 |
| 8713679 | Detection of code-based malware | Benjamin Livshits, Charles M. Curtsinger, Christian Seifert | 2014-04-29 |
| 8468513 | Specification, abstraction, and enforcement in a data center operating system | — | 2013-06-18 |
| 8412882 | Leveraging chip variability | Ray Bittner, Darko Kirovski, Karthik Pattabiraman | 2013-04-02 |
| 8407206 | Storing results related to requests for software development services | Todd A. Proebsting, David R. Hanson | 2013-03-26 |
| 8271964 | Extensible software development services | David R. Hanson | 2012-09-18 |
| 8112597 | Critical memory | Karthik Pattabiraman, Vinod Grover | 2012-02-07 |
| 7971248 | Tolerating and detecting asymmetric races | Rahul Nagpal, Darko Kirovski | 2011-06-28 |