André Pacak

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

Collaborative distances:

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

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

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