• Sign in
  • Sign up
conf.researchr.org / Karl Palmskog
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • SPLASH 2015 profile
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

Share
xWed 8 Feb 07:37
using conf.researchr.org (v1.58.0)
Support page
Sign Up