conf.researchr.org / Karl Palmskog
Karl Palmskog

Registered user since Sun 27 May 2018

Name: Karl Palmskog

Country: United States

Affiliation: University of Texas at Austin

Personal website: https://setoid.com

Contributions

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
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