• Sign in
  • Sign up
conf.researchr.org / Christian Gram Kalhauge
  • ICSE 2022 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • SPLASH 2018 profile
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

Share
xMon 8 Aug 19:05
using conf.researchr.org (v1.56.1)
Support page
Sign Up