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

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