Toggle navigation
Sign in
Sign up
conf.researchr.org
/
André Pacak
conf.researchr.org general profile
ECOOP 2022 profile
PLDI 2021 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Fri 14 Jun 2019
Name:
André Pacak
Country:
Germany
Affiliation:
JGU Mainz
Personal website:
http://www.andrepacak.de
Contributions
2024
GPCE
Author of Separate Compilation and Partial Linking: Modules for Datalog IR within the GPCE 2024-track
SPLASH
Author of A Typed Multi-Level Datalog IR and its Compiler Framework within the OOPSLA 2024-track
Author of AUTOINC: Incrementality for Free within the Posters-track
Author of Object-Oriented Fixpoint Programming with Datalog within the OOPSLA 2024-track
2023
SPLASH
Author of Interactive Debugging of Datalog Programs within the OOPSLA-track
2022
GPCE
Author of Incremental Processing of Structured Data in Datalog within the GPCE -track
ECOOP
Author of Functional Programming with Datalog within the Research Papers-track
2021
PLDI
Author of Concise, Type-Safe, and Efficient Structural Diffing within the PLDI-track
2020
SPLASH
Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-track
2019
SPLASH
Author of Vision Paper: Generating Incremental Type Services within the Posters-track
Incremental Computing
Author of Generating Incremental Type Services within the IC 2019-track
SLE
Author of Vision Paper: Generating Incremental Type Services within the SLE 2019-track
Share
x
Sat 21 Dec 16:45
