conf.researchr.org / Christian Gram Kalhauge
Christian Gram Kalhauge

Registered user since Mon 16 Apr 2018

Name:Christian Gram Kalhauge
Country:Denmark
Affiliation:Technical University of Denmark
GitHub:https://github.com/kalhauge
Research interests:Formal Methods, Dynamic Analysis

Contributions

PLDI 2022 Author of (PLDI 2021) Logical Bytecode Reduction within the SIGPLAN Track-track
PLDI 2021 Author of Logical Bytecode Reduction within the PLDI-track
ICSE 2022 Author of Striking a Balance: Pruning False-Positives from Static Call Graphs within the Technical Track-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
SPLASH 2018 Author of Sound Deadlock Prediction within the OOPSLA-track
Author of Sound Deadlock Prediction within the Artifacts-track
Author of Sound Deadlock Prediction within the Posters-track