Asymptotic Speedups for Free through Automatic Incremental Computing

Informations projet

AutoInc

N° de convention de subvention: 101125325

DOI

10.3030/101125325

Date de signature de la CE 22 Janvier 2024

Date de début 1 Juin 2024

Date de fin 31 Mai 2029

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 999 720,00

Contribution de l’UE

€ 1 999 720,00

Coordonné par

KARLSRUHER INSTITUT FUER TECHNOLOGIE
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (2)

Separate Compilation and Partial Linking: Modules for Datalog IR

Auteurs: David Klopp, André Pacak, Sebastian Erdweg
Publié dans: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Numéro 2, 2024
Éditeur: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy

Auteurs: Stefan Marx, Sebastian Erdweg
Publié dans: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Éditeur: ACM
DOI: 10.1145/3678721.3686226

Peer reviewed articles (2)

A Typed Multi-level Datalog IR and Its Compiler Framework

Auteurs: David Klopp, Sebastian Erdweg, André Pacak
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog

Auteurs: David Klopp, Sebastian Erdweg, André Pacak
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713