About Me

I'm a PhD Student in the Programming Languages Group at the Johannes Gutenberg-University Mainz under the supervision of Sebastian Erdweg. I received my Bachelor's and Master's degree in computer science at TU Darmstadt in 2015 and 2018, respectively. I currently focus my research on making Datalog a more user-friendly programming language. Other interests include incremental computing, domain-specific languages, and functional programming.

Publications

A Typed Multi-level Datalog IR and Its Compiler Framework
David Klopp, Sebastian Erdweg, and André Pacak
In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2024. [PDF]

Object-Oriented Fixpoint Programming with Datalog
David Klopp, Sebastian Erdweg, and André Pacak
In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2024. [PDF]

Separate Compilation and Partial Linking: Modules for Datalog IR
David Klopp, André Pacak, and Sebastian Erdweg
In Proceedings of Generative Programming: Concepts & Experiences (GPCE). ACM, 2024. [PDF]

Interactive Debugging of Datalog Programs
André Pacak and Sebastian Erdweg
In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2023. [PDF]

Incremental Processing of Structured Data in Datalog
André Pacak, Tamás Szabó, and Sebastian Erdweg
In Proceedings of Generative Programming: Concepts & Experiences (GPCE). ACM, 2022. [PDF]

Functional Programming with Datalog
André Pacak and Sebastian Erdweg
In Proceedings of European Conference on Object-Oriented Programming (ECOOP). 2022. [PDF]

Concise, Type-Safe, and Efficient Structural Diffing
Sebastian Erdweg, Tamás Szabó, and André Pacak
In Programming Language Design and Implementation (PLDI). ACM, 2021. [PDF]

A Systematic Approach to Deriving Incremental Type Checkers
André Pacak, Sebastian Erdweg, and Tamás Szabó
In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2020. [PDF]

Vision Paper: Generating Incremental Type Services
André Pacak and Sebastian Erdweg
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE). ACM, 2019. [PDF]

Generating Incremental Type Services
André Pacak and Sebastian Erdweg
In International Workshop on Incremental Computing (IC). 2019.

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers
Sylvia Grewe, Sebastian Erdweg, André Pacak, and Mira Mezini
International Symposium on Principles and Practice of Declarative Programming (PPDP). ACM, 2018. [PDF]

Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
Sylvia Grewe, André Pacak, and Mira Mezini
Proceedings of the 4th Vampire Workshop. EPiC Series in Computing, volume 53, 2018. [PDF]

Exploration of language specifications by compilation to first-order logic
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, and Mira Mezini
Science of Computer Programming, PPDP Special Issue. Elsevier, 2018. [PDF]

Activities

Defended my PhD dissertation!
Poster at SPLASH 2024
Talk at OOPSLA 2023
Talk at ECOOP 2022
Talk at OOPSLA 2020
Poster at SPLASH 2019
Talk at SLE 2019
Talk at the IC 2019 workshop
Attending PLISS 2019

Teaching

Courses

Program Analysis Lab, Sommer 2023, JGU Mainz
Teaching assistant for Program Analysis, Summer 2023, JGU Mainz
Program Analysis Lab, Sommer 2022, JGU Mainz
Language and Compiler Construction Seminar, Summer 2022, JGU Mainz
Teaching assistant for Program Analysis, Summer 2022, JGU Mainz
Program Analysis Seminar, Winter 2021, JGU Mainz
Teaching assistant for Language and Compiler Construction, Winter 2021, JGU Mainz
Language and Compiler Construction Seminar, Summer 2021, JGU Mainz
Program Analysis Lab, Sommer 2021, JGU Mainz
Teaching assistant for Program Analysis, Summer 2021, JGU Mainz
Teaching assistant for Programming Languages, Summer 2021, JGU Mainz
Introduction to Programming Lab, Winter 2020, JGU Mainz
Program Analysis Seminar, Winter 2020, JGU Mainz
Language and Compiler Construction Lab, Winter 2020, JGU Mainz
Teaching assistant for Language and Compiler Construction, Winter 2020, JGU Mainz
Program Analysis Lab, Sommer 2020, JGU Mainz
Teaching assistant for Programming Languages, Summer 2020, JGU Mainz
Language and Compiler Construction Seminar, Summer 2020, JGU Mainz
Language and Compiler Construction Lab, Winter 2019, JGU Mainz
Teaching assistant for Language and Compiler Construction, Winter 2019, JGU Mainz
Teaching assistant for Programming Languages, Summer 2019, JGU Mainz

Supervised Theses

• Big-Step Abstract Interpreters for the Multi-Level IR of the Datalog Framework IncA
  Levi Grote. Bachelor thesis.
• IntellJ-Plugin for IncA
  Lisa Leilich. Bachelor thesis.
• Theorem-based compilation of a functional programming language to Datalog
  Konstantin Heep. Bachelor thesis.
• Integration von Truediff in Tree-sitter und Optimierung der Laufzeit durch inkrementelles Parsen
  Janik Rapp. Bachelor thesis.
• Implementing a Top-Down Traversal Debugger for Bottom-Up Evaluated Program Analyses
  Don Lihinikadu. Bachelor thesis.
• Embedding IncA in Scala
  Paul Hempel. Bachelor thesis.

Contact

André Pacak
Office: 03-231
E-Mail: lastname [at] uni-mainz [dot] de

Address:
Staudingerweg 9
55128 Mainz
Germany