Karl Palmskog

Orcid: 0000-0003-0228-1240

According to our database1, Karl Palmskog authored at least 29 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022
Reliably Reproducing Machine-Checked Proofs with the Coq Platform.
CoRR, 2022

VLSM: Validating Labelled State Transition and Message Production Systems.
CoRR, 2022

Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

HOL4P4: semantics for a verified data plane.
Proceedings of the 5th International Workshop on P4 in Europe, 2022

2021
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020
Specification of the Giskard Consensus Protocol.
CoRR, 2020

Learning to Format Coq Code Using Language Models.
CoRR, 2020

Practical Machine-Checked Formalization of Change Impact Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

mCoq: mutation analysis for Coq verification projects.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Deep Generation of Coq Lemma Names Using Elaborated Terms.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
QED at Large: A Survey of Engineering of Formally Verified Software.
Found. Trends Program. Lang., 2019

Mutation Analysis for Coq.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Types for Progress in Actor Programs.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
A Survey of Statistical Model Checking.
ACM Trans. Model. Comput. Simul., 2018

piCoq: parallel regression proving for large-scale verification projects.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

A regression proof selection tool for coq.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces.
Proceedings of the Principles of Modeling, 2018

2017
Inferring Formal Properties of Production Key-Value Stores.
CoRR, 2017

iCoq: regression proof selection for large-scale verification projects.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2015
Location-independent routing in process network overlays.
Serv. Oriented Comput. Appl., 2015

A Case Study on Executing Instrumented Code in Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes, 2015

2014
Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management.
PhD thesis, 2014

2013
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects.
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

Efficient and fully abstract routing of futures in object network overlays.
Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012
Secure distributed top-k aggregation.
Proceedings of IEEE International Conference on Communications, 2012

2007
Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication.
Proceedings of the Fourth European Conference on Universal Multiservice Networks (ECUMN 2007), 2007


  Loading...