Asymptotic Speedups for Free through Automatic Incremental Computing

Información del proyecto

AutoInc

Identificador del acuerdo de subvención: 101125325

DOI

10.3030/101125325

Fecha de la firma de la CE 22 Enero 2024

Fecha de inicio 1 Junio 2024

Fecha de finalización 31 Mayo 2029

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 999 720,00

Aportación de la UE

€ 1 999 720,00

Coordinado por

JOHANNES GUTENBERG-UNIVERSITAT MAINZ
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (2)

Separate Compilation and Partial Linking: Modules for Datalog IR

Autores: David Klopp, André Pacak, Sebastian Erdweg
Publicado en: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Edición 2, 2024
Editor: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy

Autores: Stefan Marx, Sebastian Erdweg
Publicado en: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Editor: ACM
DOI: 10.1145/3678721.3686226

Peer reviewed articles (2)

A Typed Multi-level Datalog IR and Its Compiler Framework

Autores: David Klopp, Sebastian Erdweg, André Pacak
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog

Autores: David Klopp, Sebastian Erdweg, André Pacak
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713