Asymptotic Speedups for Free through Automatic Incremental Computing

Informazioni relative al progetto

AutoInc

ID dell’accordo di sovvenzione: 101125325

DOI

10.3030/101125325

Data della firma CE 22 Gennaio 2024

Data di avvio 1 Giugno 2024

Data di completamento 31 Maggio 2029

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 999 720,00

Contributo UE

€ 1 999 720,00

Coordinato da

JOHANNES GUTENBERG-UNIVERSITAT MAINZ
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (2)

Separate Compilation and Partial Linking: Modules for Datalog IR

Autori: David Klopp, André Pacak, Sebastian Erdweg
Pubblicato in: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Numero 2, 2024
Editore: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy

Autori: Stefan Marx, Sebastian Erdweg
Pubblicato in: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Editore: ACM
DOI: 10.1145/3678721.3686226

Peer reviewed articles (2)

A Typed Multi-level Datalog IR and Its Compiler Framework

Autori: David Klopp, Sebastian Erdweg, André Pacak
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog

Autori: David Klopp, Sebastian Erdweg, André Pacak
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713