Follow
Christian Gram Kalhauge
Christian Gram Kalhauge
Assistant Professor, DTU
Verified email at dtu.dk
Title
Cited by
Cited by
Year
Binary reduction of dependency graphs
CG Kalhauge, J Palsberg
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
382019
Sound deadlock prediction
CG Kalhauge, J Palsberg
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 146, 2018
372018
Striking a balance: pruning false-positives from static call graphs
A Utture, S Liu, CG Kalhauge, J Palsberg
Proceedings of the 44th International Conference on Software Engineering …, 2022
202022
Logical bytecode reduction
CG Kalhauge, J Palsberg
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
122021
HExpoChem: a systems biology resource to explore human exposure to chemicals
O Taboureau, UP Jacobsen, C Kalhauge, D Edsgärd, O Rigina, R Gupta, ...
Bioinformatics 29 (9), 1231-1232, 2013
82013
Njr-1 dataset
A Utture, CG Kalhauge, S Liu, J Palsberg
Google Scholar Google Scholar Cross Ref Cross Ref, 2020
62020
Reporting Bugs in Metaprograms
CG Kalhauge
PQDT-UK & Ireland, 2020
22020
Code Management
S Dieterle, RR Hansen, CG Kalhauge
http://securitybydesign.alexandra.dk/wp-content/uploads/2022/12/Whitepaper …, 2022
2022
Hyperconcolic-Finding parallel bugs in Java programs, using concolic execution
CG Kalhauge
2015
Automatic parallelization with flow programming
CG Kalhauge
Technical University of Denmark,{DTU} Informatics,{E-} mail: reception@ imm …, 2012
2012
SUPPLEMENTARY INFORMATION 2 1. Datasets 2 2. Description of the four biological outcomes 3 3. Enrichment analysis 5 4. Examples 5
O Taboureau, UP Jacobsen, C Kalhauge, D Edsgärd, O Rigina, R Gupta, ...
Finding parallel bugs in Java programs, using concolic execution
CG Kalhauge
The system can't perform the operation now. Try again later.
Articles 1–12