Christian Gram Kalhauge

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Logical Representation

Pruning Methods

Attribute Reduction

Dependency Graphs

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg
Striking a Balance: Pruning False-Positives from Static Call Graphs. ICSE (2022)
Christian Gram Kalhauge, Jens Palsberg
Logical bytecode reduction. PLDI (2021)
Christian Gram Kalhauge, Jens Palsberg
Binary reduction of dependency graphs. ESEC/SIGSOFT FSE (2019)
Christian Gram Kalhauge, Jens Palsberg
Sound deadlock prediction. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)