André Pacak

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 8

Top Topics

Relational Algebra

Quantifier Elimination

Datalog Programs

Transitive Closure

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

André Pacak, Sebastian Erdweg
Interactive Debugging of Datalog Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
André Pacak, Sebastian Erdweg
Functional Programming with Datalog. ECOOP (2022)
André Pacak, Tamás Szabó, Sebastian Erdweg
Incremental Processing of Structured Data in Datalog. GPCE (2022)
Sebastian Erdweg, Tamás Szabó, André Pacak
Concise, type-safe, and efficient structural diffing. PLDI (2021)
André Pacak, Sebastian Erdweg, Tamás Szabó
A systematic approach to deriving incremental type checkers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
André Pacak, Sebastian Erdweg
Generating incremental type services. SLE (2019)
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP (2018)
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155 (2018)