| 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 |
