| A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018 | 345 | 2018 |
| 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 | 98 | 2019 |
| Towards a verified model of the algorand consensus protocol in coq MA Alturki, J Chen, V Luchangco, B Moore, K Palmskog, L Peña, G Roşu Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 31 | 2020 |
| 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 | 23 | 2017 |
| 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 | 15 | 2020 |
| 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 | 13 | 2018 |
| Secure distributed top-k aggregation KV Jonsson, K Palmskog, Y Vigfusson 2012 IEEE International Conference on Communications (ICC), 804-809, 2012 | 11 | 2012 |
| Mutation analysis for Coq A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 10 | 2019 |
| Location-independent routing in process network overlays M Dam, K Palmskog Service Oriented Computing and Applications 9, 285-309, 2015 | 10 | 2015 |
| Verification of casper in the coq proof assistant K Palmskog, M Gligoric, L Pena, B Moore, G Roşu | 9 | 2018 |
| Scalable metadata-directed search in a network of information K Palmskog, AG Prieto, C Meirosu, R Stadler, M Dam 2010 Future Network & Mobile Summit, 1-8, 2010 | 8 | 2010 |
| 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 | 7 | 2020 |
| A regression proof selection tool for Coq A Celik, K Palmskog, M Gligoric Proceedings of the 40th International Conference on Software Engineering …, 2018 | 7 | 2018 |
| Learning to format Coq code using language models P Nie, K Palmskog, JJ Li, M Gligoric arXiv preprint arXiv:2006.16743, 2020 | 6 | 2020 |
| Verifying Gasper with dynamic validator sets in Coq MA Alturki, E Li, D Park, B Moore, K Palmskog, L Pena, G Roşu Technical report, 2020 | 6 | 2020 |
| 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 | 5 | 2022 |
| 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 | 5 | 2019 |
| Types for progress in actor programs M Charalambides, K Palmskog, G Agha Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019 | 5 | 2019 |
| Verification of the Session Mangement Protocol K Palmskog Numerisk analys och datalogi, Kungliga Tekniska högskolan, 2006 | 5 | 2006 |
| 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 | 4 | 2021 |
Milos GligoricThe University of Texas at AustinVerified email at utexas.edu
