| Binary reduction of dependency graphs CG Kalhauge, J Palsberg Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 42 | 2019 |
| Sound deadlock prediction CG Kalhauge, J Palsberg Proceedings of the ACM on Programming Languages 2 (OOPSLA), 146, 2018 | 39 | 2018 |
| 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 | 23 | 2022 |
| Logical bytecode reduction CG Kalhauge, J Palsberg Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 14 | 2021 |
| 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 | 8 | 2013 |
| Njr-1 dataset A Utture, CG Kalhauge, S Liu, J Palsberg Google Scholar Google Scholar Cross Ref Cross Ref, 2020 | 6 | 2020 |
| Reporting Bugs in Metaprograms CG Kalhauge PQDT-UK & Ireland, 2020 | 2 | 2020 |
| 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 | | |
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verifierad e-postadress på ucla.edu