conf.researchr.org / Maja Kirkeby

Registered user since Mon 4 Mar 2019

Name:Maja Kirkeby
Affiliation:Roskilde University

Contributions

GPCE 2021 Committee Member in Program Committee within the GPCE-track
PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
QAPL 2019 Author of Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses within the QAPL-track