Issued Patents All Time
Showing 1–21 of 21 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12271710 | Elidable text for prompt crafting | Albert Ziegler | 2025-04-08 |
| 12210628 | Generic feature extraction for identifying malicious packages | Rahul PANDITA, Albert Ziegler | 2025-01-28 |
| 12174734 | Code synthesis model evaluation harnessing real-world code repositories | Albert Ziegler, Oegerikus DE MOOR, Balabhadra Graveley, Johan Sebastian Heesemann ROSENKILDE, Edward Emil AFTANDILIAN | 2024-12-24 |
| 12061697 | Automated detection of malicious packages in a software repository | Adriana Sejfia | 2024-08-13 |
| RE48405 | Type inference for datalog with complex type hierarchies | Oege de Moor | 2021-01-26 |
| 10353702 | Source code element signatures | Julian Tibble, Pavel Avgustinov | 2019-07-16 |
| 10042884 | Algebraic data types for database query languages | Alexander Eyers-Taylor | 2018-08-07 |
| 9830358 | Generating identifiers for tuples of recursively defined relations | Alexander Eyers-Taylor | 2017-11-28 |
| 9792114 | Source code element signatures | Julian Tibble, Pavel Avgustinov | 2017-10-17 |
| 9720961 | Algebraic data types for database query languages | Alexander Eyers-Taylor | 2017-08-01 |
| 9633078 | Generating identifiers for tuples of recursively defined relations | Alexander Eyers-Taylor | 2017-04-25 |
| RE46380 | Type inference for datalog with complex type hierarchies | Oege de Moor | 2017-04-25 |
| 9507591 | Source code violation matching and attribution | Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Oege de Moor | 2016-11-29 |
| 9417985 | Distributed analysis and attribution of source code | Arthur Baars, Anders Starcke Henriksen | 2016-08-16 |
| 9411579 | Source code violation matching and attribution | Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Oege de Moor | 2016-08-09 |
| 9411578 | Source code violation matching and attribution | Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Oege de Moor | 2016-08-09 |
| 9262157 | Source code violation matching and attribution | Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Oege de Moor | 2016-02-16 |
| 8869127 | Refactoring programs for flexible locking | Julian Timothy Dolby, Manu Sridharan, Frank Tip | 2014-10-21 |
| 8689191 | Correct refactoring of concurrent software | Julian Timothy Dolby, Manu Sridharan, Frank Tip, Emina Torlak | 2014-04-01 |
| 8595213 | Type inference for datalog with complex type hierarchies | Oege de Moor | 2013-11-26 |
| 8332385 | Approximating query results by relations over types for error detection and optimization | Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere | 2012-12-11 |