| Hydras & Co. SD Damour, F Hatat, P Manoury, K Palmskog, C Pit-Claudel, ... | | 2024 |
| Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users A de Almeida Borges, AC Artís, JR Falleri, EJG Arias, É Martin-Dorel, ... 14th International Conference on Interactive Theorem Proving (ITP 2023) 268 …, 2023 | 1 | 2023 |
| 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 |
| Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. K Palmskog, X Yao, N Dong, R Guanciale, M Dam FMCAD, 129-138, 2022 | 2 | 2022 |
| Coq Community Survey 2022: Summary of Results A de Almeida Borges, JR Falleri, J Fehrle, EJG Arias, É Martin-Dorel, ... 13th installment of the Coq Workshop series (Coq workshop 2022), 2022 | 1 | 2022 |
| Hydras & Co.: Formalized mathematics in Coq for inspiration and entertainment P Castéran, J Damour, K Palmskog, C Pit-Claudel, T Zimmermann Journées Francophones des Langages Applicatifs: JFLA 2022, 2022 | 1 | 2022 |
| Reliably reproducing machine-checked proofs with the Coq Platform K Palmskog, E Tassi, T Zimmermann arXiv preprint arXiv:2203.09835, 2022 | 1 | 2022 |
| Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems V Zamfir, M Calancea, D Diaconescu, W Kołowski, B Moore, K Palmskog, ... arXiv preprint arXiv:2202.12662, 2022 | | 2022 |
| 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 |
| Specification of the Giskard Consensus Protocol E Li, K Palmskog, M Sebe, G Roşu arXiv preprint arXiv:2010.02124, 2020 | | 2020 |
| 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 |
| 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 |
| 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 | 14 | 2020 |
| 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 | 1 | 2020 |
| 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 | 27 | 2020 |
| 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 |
| 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 |
| 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 | 89 | 2019 |
| Verifying finality for blockchain systems KPM Gligoric, LPG Roşu | 1 | 2019 |
Milos GligoricThe University of Texas at AustinVerified email at utexas.edu