André Pacak

15 papers A* 1A 2B 3C 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Incremental Computing by Differential Execution (Artifact).
Dagstuhl Artifacts Ser.
Prashant Kumar, André Pacak, Sebastian Erdweg
2025 A conf
Incremental Computing by Differential Execution.
ECOOP
Prashant Kumar, André Pacak, Sebastian Erdweg
2024 J jnl
A Typed Multi-level Datalog IR and Its Compiler Framework.
Proc. ACM Program. Lang.
David Klopp, Sebastian Erdweg, André Pacak
2024 — conf
AUTOINC: Incrementality for Free.
SPLASH Companion
André Pacak, Prashant Kumar, Runqing Xu, Sebastian Erdweg
2024 — —
Datalog as a (non-logic) Programming Language.
André Pacak
2024 J jnl
Object-Oriented Fixpoint Programming with Datalog.
Proc. ACM Program. Lang.
David Klopp, Sebastian Erdweg, André Pacak
2024 B conf
Separate Compilation and Partial Linking: Modules for Datalog IR.
GPCE
David Klopp, André Pacak, Sebastian Erdweg
2023 J jnl
Interactive Debugging of Datalog Programs.
Proc. ACM Program. Lang.
André Pacak, Sebastian Erdweg
2022 A conf
Functional Programming with Datalog.
ECOOP
André Pacak, Sebastian Erdweg
2022 B conf
Incremental Processing of Structured Data in Datalog.
GPCE
André Pacak, Tamás Szabó, Sebastian Erdweg
2021 A* conf
Concise, type-safe, and efficient structural diffing.
PLDI
Sebastian Erdweg, Tamás Szabó, André Pacak
2020 J jnl
A systematic approach to deriving incremental type checkers.
Proc. ACM Program. Lang.
André Pacak, Sebastian Erdweg, Tamás Szabó
2019 B conf
Generating incremental type services.
SLE
André Pacak, Sebastian Erdweg
2018 J jnl
Exploration of language specifications by compilation to first-order logic.
Sci. Comput. Program.
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
2018 C conf
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
PPDP
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini