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

2025

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CPP

PC Member in Program Committee within the CPP 2025-track

2024

Requirements Engineering

Author of Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report within the Industrial Innovation Papers-track

2021

ICSE

Author of Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning within the DEMO - Demonstrations-track

CPP

Committee Member in Program Committee within the CPP 2021-track

2020

ICSE

Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track

2019

ASE

Author of Mutation Analysis for Coq within the Research Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

CoqPL

Author of Verifying Finality for Blockchain Systems within the CoqPL-track

2018

ISSTA

Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track

ICSE

Author of A Regression Proof Selection Tool For Coq within the DEMO - Demonstrations -track

2017

CoqPL

Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track

2015

AI-SEPS

Keynote Speaker of SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation within the SEPS-track