conf.researchr.org / Karl Palmskog
Karl Palmskog

Registered user since Sun 27 May 2018

Name: Karl Palmskog

Country: Sweden

Affiliation: KTH Royal Institute of Technology

Personal website: https://setoid.com

Contributions

CPP 2021 Committee Member in Program Committee within the CPP 2021-track
ICSE 2021 Author of Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning within the DEMO - Demonstrations-track
ASE 2019 Author of Mutation Analysis for Coq within the Research Papers-track
CoqPL 2019 Author of Verifying Finality for Blockchain Systems within the CoqPL-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2020 Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track
CoqPL 2017 Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
ISSTA 2018 Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track
* ICSE 2018 * Author of A Regression Proof Selection Tool For Coq within the DEMO - Demonstrations -track
SEPS 2015 Keynote Speaker of SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation within the SEPS-track