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 2021Committee Member in Program Committee within the CPP 2021-track
ASE 2019Author of Mutation Analysis for Coq within the Research Papers-track
CoqPL 2019Author of Verifying Finality for Blockchain Systems within the CoqPL-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2020Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track
CoqPL 2017Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
ISSTA 2018Author 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 2015Keynote Speaker of SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation within the SEPS-track