Articles with public access mandates - Karl PalmskogLearn more
Available somewhere: 14
A survey of statistical model checking
G Agha, K Palmskog
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018
Mandates: US National Science Foundation, US Department of Defense
QED at large: A survey of engineering of formally verified software
T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock
Foundations and Trends® in Programming Languages 5 (2-3), 102-281, 2019
Mandates: US National Science Foundation
iCoq: Regression proof selection for large-scale verification projects
A Celik, K Palmskog, M Gligoric
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Mandates: US National Science Foundation
Deep generation of Coq lemma names using elaborated terms
P Nie, K Palmskog, JJ Li, M Gligoric
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
Mandates: US National Science Foundation
piCoq: Parallel regression proving for large-scale verification projects
K Palmskog, A Celik, M Gligoric
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Mandates: US National Science Foundation
Mutation analysis for Coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
Mandates: US National Science Foundation
mCoq: mutation analysis for Coq verification projects
K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Mandates: US National Science Foundation
A regression proof selection tool for Coq
A Celik, K Palmskog, M Gligoric
Proceedings of the 40th International Conference on Software Engineering …, 2018
Mandates: US National Science Foundation
HOL4P4: semantics for a verified data plane
A Alshnakat, D Lundberg, R Guanciale, M Dam, K Palmskog
Proceedings of the 5th International Workshop on P4 in Europe, 39-45, 2022
Mandates: Knut and Alice Wallenberg Foundation
Kaizen: Building a performant blockchain system verified for consensus and integrity
F Kalim, K Palmskog, J Mehar, A Murali, I Gupta, P Madhusudan
2019 Formal Methods in Computer Aided Design (FMCAD), 96-104, 2019
Mandates: US National Science Foundation
Types for progress in actor programs
M Charalambides, K Palmskog, G Agha
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
Mandates: US National Science Foundation
Roosterize: Suggesting lemma names for Coq verification projects using deep learning
P Nie, K Palmskog, JJ Li, M Gligoric
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
Mandates: US National Science Foundation
Transforming threads into actors: learning concurrency structure from execution traces
G Agha, K Palmskog
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of …, 2018
Mandates: US National Science Foundation, US Department of Defense
Practical Machine-Checked Formalization of Change Impact Analysis
K Palmskog, A Celik, M Gligoric
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program