André Pacak

According to our database, André Pacak authored at least 15 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Incremental Computing by Differential Execution (Artifact).

Prashant Kumar, André Pacak, Sebastian Erdweg

Dagstuhl Artifacts Ser., 2025

Incremental Computing by Differential Execution.

Prashant Kumar, André Pacak, Sebastian Erdweg

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Datalog as a (non-logic) Programming Language.

André Pacak

PhD thesis, 2024

A Typed Multi-level Datalog IR and Its Compiler Framework.

David Klopp, Sebastian Erdweg, André Pacak

Proc. ACM Program. Lang., 2024

Object-Oriented Fixpoint Programming with Datalog.

David Klopp, Sebastian Erdweg, André Pacak

Proc. ACM Program. Lang., 2024

AUTOINC: Incrementality for Free.

André Pacak, Prashant Kumar, Runqing Xu, Sebastian Erdweg

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024

Separate Compilation and Partial Linking: Modules for Datalog IR.

David Klopp, André Pacak, Sebastian Erdweg

Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2024

2023

Interactive Debugging of Datalog Programs.

André Pacak, Sebastian Erdweg

Proc. ACM Program. Lang., October, 2023

2022

Incremental Processing of Structured Data in Datalog.

André Pacak, Tamás Szabó, Sebastian Erdweg

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

Functional Programming with Datalog.

André Pacak, Sebastian Erdweg

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Concise, type-safe, and efficient structural diffing.

Sebastian Erdweg, Tamás Szabó, André Pacak

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

A systematic approach to deriving incremental type checkers.

André Pacak, Sebastian Erdweg, Tamás Szabó

Proc. ACM Program. Lang., 2020

2019

Generating incremental type services.

André Pacak, Sebastian Erdweg

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

2018

Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini

Sci. Comput. Program., 2018

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018