Asymptotic Speedups for Free through Automatic Incremental Computing

Informacje na temat projektu

AutoInc

Identyfikator umowy o grant: 101125325

DOI

10.3030/101125325

Data podpisania przez KE 22 Stycznia 2024

Data rozpoczęcia 1 Czerwca 2024

Data zakończenia 31 Maja 2029

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 999 720,00

Wkład UE

€ 1 999 720,00

Koordynowany przez

JOHANNES GUTENBERG-UNIVERSITAT MAINZ
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (2)

Separate Compilation and Partial Linking: Modules for Datalog IR

Autorzy: David Klopp, André Pacak, Sebastian Erdweg
Opublikowane w: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Numer 2, 2024
Wydawca: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy

Autorzy: Stefan Marx, Sebastian Erdweg
Opublikowane w: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Wydawca: ACM
DOI: 10.1145/3678721.3686226

Peer reviewed articles (2)

A Typed Multi-level Datalog IR and Its Compiler Framework

Autorzy: David Klopp, Sebastian Erdweg, André Pacak
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog

Autorzy: David Klopp, Sebastian Erdweg, André Pacak
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713