default search action

combined dblp search
author search
venue search
publication search

ask others

Karl Palmskog

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/re/UngAGLNP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/UngAGLNP24
Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg, Karl Palmskog:
Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. RE 2024: 287-298
2023
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/itp/BorgesAFAMPSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/BorgesAFAMPSZ23
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: 12:1-12:18
2022
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/AlshnakatLGDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/AlshnakatLGDP22
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog:
HOL4P4: semantics for a verified data plane. EuroP4@CoNEXT 2022: 39-45
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/PalmskogYDGD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PalmskogYDGD22
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: 129-138
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-12662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-12662
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 abs/2202.12662 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09835
Karl Palmskog, Enrico Tassi, Théo Zimmermann:
Reliably Reproducing Machine-Checked Proofs with the Coq Platform. CoRR abs/2203.09835 (2022)
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NiePLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NiePLG21
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. ICSE (Companion Volume) 2021: 21-24
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-01346
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-01346
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. CoRR abs/2103.01346 (2021)
2020
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NiePLG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NiePLG20
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Deep Generation of Coq Lemma Names Using Elaborated Terms. IJCAR (2) 2020: 97-118
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JainPCAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JainPCAG20
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric:
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) 2020: 89-92
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PalmskogCG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PalmskogCG20
Karl Palmskog, Ahmet Çelik, Milos Gligoric:
Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) 2020: 137-157
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-06458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-06458
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock:
QED at Large: A Survey of Engineering of Formally Verified Software. CoRR abs/2003.06458 (2020)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-07761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-07761
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Deep Generation of Coq Lemma Names Using Elaborated Terms. CoRR abs/2004.07761 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16743
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16743
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Learning to Format Coq Code Using Language Models. CoRR abs/2006.16743 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-02124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-02124
Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu:
Specification of the Giskard Consensus Protocol. CoRR abs/2010.02124 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ftpl/RingerPSGT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftpl/RingerPSGT19
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): 102-281 (2019)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CharalambidesPA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CharalambidesPA19
Minas Charalambides, Karl Palmskog, Gul Agha:
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 315-339
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlturkiCLMPPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlturkiCLMPPR19
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: 362-367
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KalimPMMGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KalimPMMGM19
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: 96-104
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CelikPPAG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CelikPPAG19
Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric:
Mutation Analysis for Coq. ASE 2019: 539-551
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-05523
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05523
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 abs/1907.05523 (2019)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/AghaP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/AghaP18
Gul Agha, Karl Palmskog:
A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. 28(1): 6:1-6:39 (2018)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AghaP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AghaP18
Gul Agha, Karl Palmskog:
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling 2018: 16-37
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CelikPG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CelikPG18
Ahmet Çelik, Karl Palmskog, Milos Gligoric:
A regression proof selection tool for coq. ICSE (Companion Volume) 2018: 117-120
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PalmskogCG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PalmskogCG18
Karl Palmskog, Ahmet Çelik, Milos Gligoric:
piCoq: parallel regression proving for large-scale verification projects. ISSTA 2018: 344-355
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CelikPG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CelikPG17
Ahmet Çelik, Karl Palmskog, Milos Gligoric:
iCoq: regression proof selection for large-scale verification projects. ASE 2017: 171-182
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-10056
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-10056
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan:
Inferring Formal Properties of Production Key-Value Stores. CoRR abs/1712.10056 (2017)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/PalmskogHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/PalmskogHM15
Karl Palmskog, Farah Hariri, Darko Marinov:
A Case Study on Executing Instrumented Code in Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 40(6): 1-5 (2015)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/DamP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/DamP15
Mads Dam, Karl Palmskog:
Location-independent routing in process network overlays. Serv. Oriented Comput. Appl. 9(3-4): 285-309 (2015)
2014
[b1]
- view
  - electronic edition @ kb.se
  - details & citations
- export record
  dblp key:
  - phd/se/Palmskog14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/se/Palmskog14
Karl Palmskog:
Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management. KTH Royal Institute of Technology, Sweden, 2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/DamP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/DamP14
Mads Dam, Karl Palmskog:
Location Independent Routing in Process Network Overlays. PDP 2014: 715-724
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/agere/DamP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agere/DamP13
Mads Dam, Karl Palmskog:
Efficient and fully abstract routing of futures in object network overlays. AGERE!@SPLASH 2013: 49-60
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PalmskogDLJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PalmskogDLJ13
Karl Palmskog, Mads Dam, Andreas Lundblad, Ali Jafari:
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. ICE 2013: 85-100
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/JonssonPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/JonssonPV12
Kristján Valur Jónsson, Karl Palmskog, Ymir Vigfusson:
Secure distributed top-k aggregation. ICC 2012: 804-809

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecumn/IsmailovPWAW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecumn/IsmailovPWAW07
Yuri Ismailov, Karl Palmskog, Micael Widell, Petter Arvidsson, YaoShuang Wang:
Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication. ECUMN 2007: 337-345

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.