Asymptotic Speedups for Free through Automatic Incremental Computing

Projektinformationen

AutoInc

ID Finanzhilfevereinbarung: 101125325

DOI

10.3030/101125325

EK-Unterschriftsdatum 22 Januar 2024

Startdatum 1 Juni 2024

Enddatum 31 Mai 2029

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 999 720,00

EU-Beitrag

€ 1 999 720,00

Koordiniert durch

JOHANNES GUTENBERG-UNIVERSITAT MAINZ
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (2)

Separate Compilation and Partial Linking: Modules for Datalog IR

Autoren: David Klopp, André Pacak, Sebastian Erdweg
Veröffentlicht in: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Ausgabe 2, 2024
Herausgeber: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy

Autoren: Stefan Marx, Sebastian Erdweg
Veröffentlicht in: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Herausgeber: ACM
DOI: 10.1145/3678721.3686226

Peer reviewed articles (2)

A Typed Multi-level Datalog IR and Its Compiler Framework

Autoren: David Klopp, Sebastian Erdweg, André Pacak
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog

Autoren: David Klopp, Sebastian Erdweg, André Pacak
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713