Asymptotic Speedups for Free through Automatic Incremental Computing

Project Information

AutoInc

Grant agreement ID: 101125325

DOI

10.3030/101125325

EC signature date 22 January 2024

Start date 1 June 2024

End date 31 May 2029

Funded under

• European Research Council (ERC)

Total cost

€ 1 999 720,00

EU contribution

€ 1 999 720,00

Coordinated by

JOHANNES GUTENBERG-UNIVERSITAT MAINZ
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (2)

Separate Compilation and Partial Linking: Modules for Datalog IR

Author(s): David Klopp, André Pacak, Sebastian Erdweg
Published in: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Issue 2, 2024
Publisher: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy

Author(s): Stefan Marx, Sebastian Erdweg
Published in: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Publisher: ACM
DOI: 10.1145/3678721.3686226

Peer reviewed articles (2)

A Typed Multi-level Datalog IR and Its Compiler Framework

Author(s): David Klopp, Sebastian Erdweg, André Pacak
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog

Author(s): David Klopp, Sebastian Erdweg, André Pacak
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713