Cerebrovascular effects of glibenclamide investigated using high-resolution magnetic resonance imaging in healthy volunteers

Autor: Mohammad Al-Mahdi Al-Karagholi, Hashmat Ghanizada, Cherie Amalie Waldorff Nielsen, Assan Ansari, Christian Gram, Samaria Younis, Mark B Vestergaard, Henrik BW Larsson, Lene Theil Skovgaard, Faisal Mohammad Amin, Messoud Ashina

Publikováno v: J Cereb Blood Flow Metab

Glibenclamide inhibits sulfonylurea receptor (SUR), which regulates several ion channels including SUR1-transient receptor potential melastatin 4 (SUR1-TRPM4) channel and ATP-sensitive potassium (KATP) channel. Stroke upregulates SURl-TRPM4 channel,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d3a600fe4a85791d1aa78038b312c95
https://doi.org/10.1177/0271678x20959294

Striking a Balance:Pruning False-Positives from Static Call Graphs

Autor: Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg

Publikováno v: Utture, A, Liu, S, Kalhauge, C G & Palsberg, J 2022, Striking a Balance : Pruning False-Positives from Static Call Graphs . in Proceedings of 2022 ACM/IEEE 44 th International Conference on Software Engineering . Association for Computing Machinery, pp. 2043-2055, 44 th ACM/IEEE International Conference on Software Engineering, Pittsburgh, Pennsylvania, United States, 22/05/2022 . https://doi.org/10.1145/3510003.3510166

Researchers have reported that static analysis tools rarely achieve a false-positive rate that would make them attractive to developers. We overcome this problem by a technique that leads to reporting fewer bugs but also much fewer false positives. O

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::723d70528405d583c478941f86a5813f
https://orbit.dtu.dk/en/publications/96fc9bd1-2354-476a-9133-aea3fd5a38aa

Logical bytecode reduction

Autor: Christian Gram Kalhauge, Jens Palsberg

Publikováno v: Kalhauge, C G & Palsberg, J 2021, Logical bytecode reduction . in Proceedings of the 42 nd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Association for Computing Machinery, Proceedings of the Acm Sigplan Conference on Programming Language Design and Implementation (pldi), pp. 1003-1016, 42 nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Canada, 20/06/2021 . https://doi.org/10.1145/3453483.3454091
PLDI

Reducing a failure-inducing input to a smaller one is challenging for input with internal dependencies because most sub-inputs are invalid. Kalhauge and Palsberg made progress on this problem by mapping the task to a reduction problem for dependency

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14be3de05d39905568d7edc4879ddab0
https://orbit.dtu.dk/en/publications/19b41d14-286e-4796-9c28-df30402370a2

Sound deadlock prediction

Autor: Jens Palsberg, Christian Gram Kalhauge

Publikováno v: Proceedings of the ACM on Programming Languages. 2:1-29

For a concurrent program, a prediction tool maps the history of a single run to a prediction of bugs in an exponential number of other runs. If all those bugs can occur, then the tool is sound. This is the case for some data race tools like RVPredict

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::14877920c459f15679a8fc2e3e75ac31
https://doi.org/10.1145/3276516

History of Nordic Computing 4 : 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers

Autor: Christian Gram, Per Rasmussen, Søren Duus Østergaard

This book constitutes the refereed post-proceedings of the 4th IFIP WG 9.7 Conference on the History of Nordic Computing, HiNC 4, held in Copenhagen, Denmark, in August 2014. The 37 revised full papers were carefully reviewed and selected for inclusi