Christian Gram Kalhauge

Registered user since Mon 16 Apr 2018

Name:Christian Gram Kalhauge
Country:Denmark
Affiliation:Technical University of Denmark
Research interests:Formal Methods, Dynamic Analysis

Contributions

PLDI 2022 (PLDI 2021) Logical Bytecode Reduction
Show activities from other conferences

Using general profile