Karl Palmskog

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 26

Top Topics

Interactive Theorem Proving

Networked Environment

State Transition

Top Venues

ICSE (Companion Volume)

Publications

Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. ITP (2023)
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog
HOL4P4: semantics for a verified data plane. EuroP4@CoNEXT (2022)
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay
VLSM: Validating Labelled State Transition and Message Production Systems. CoRR (2022)
Karl Palmskog, Enrico Tassi, Théo Zimmermann
Reliably Reproducing Machine-Checked Proofs with the Coq Platform. CoRR (2022)
Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam
Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. FMCAD (2022)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. ICSE (Companion Volume) (2021)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. CoRR (2021)
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. CoRR (2020)
Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu
Specification of the Giskard Consensus Protocol. CoRR (2020)
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) (2020)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) (2020)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Deep Generation of Coq Lemma Names Using Elaborated Terms. IJCAR (2) (2020)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Learning to Format Coq Code Using Language Models. CoRR (2020)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Deep Generation of Coq Lemma Names Using Elaborated Terms. CoRR (2020)
Minas Charalambides, Karl Palmskog, Gul Agha
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
Mutation Analysis for Coq. ASE (2019)
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. 5 (2-3) (2019)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
Towards a Verified Model of the Algorand Consensus Protocol in Coq. FM Workshops (1) (2019)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
Towards a Verified Model of the Algorand Consensus Protocol in Coq. CoRR (2019)
Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. FMCAD (2019)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
A regression proof selection tool for coq. ICSE (Companion Volume) (2018)
Gul Agha, Karl Palmskog
A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. 28 (1) (2018)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
piCoq: parallel regression proving for large-scale verification projects. ISSTA (2018)
Gul Agha, Karl Palmskog
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling (2018)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
iCoq: regression proof selection for large-scale verification projects. ASE (2017)
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan
Inferring Formal Properties of Production Key-Value Stores. CoRR (2017)
Mads Dam, Karl Palmskog
Location-independent routing in process network overlays. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Karl Palmskog, Farah Hariri, Darko Marinov
A Case Study on Executing Instrumented Code in Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Mads Dam, Karl Palmskog
Location Independent Routing in Process Network Overlays. PDP (2014)
Mads Dam, Karl Palmskog
Efficient and fully abstract routing of futures in object network overlays. AGERE!@SPLASH (2013)
Karl Palmskog, Mads Dam, Andreas Lundblad, Ali Jafari
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. ICE (2013)
Kristján Valur Jónsson, Karl Palmskog, Ymir Vigfusson
Secure distributed top-k aggregation. ICC (2012)
Yuri Ismailov, Karl Palmskog, Micael Widell, Petter Arvidsson, YaoShuang Wang
Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication. ECUMN (2007)