| A case study on executing instrumented code in Java PathFinder K Palmskog, F Hariri, D Marinov ACM SIGSOFT Software Engineering Notes 40 (6), 1-5, 2015 | 1 | 2015 |
| 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 |
| A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018 | 312 | 2018 |
| ABS-NET: Fully decentralized runtime adaptation for distributed objects K Palmskog, M Dam, A Lundblad, A Jafari arXiv preprint arXiv:1310.4575, 2013 | 4 | 2013 |
| 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 |
| 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 |
| Efficient and fully abstract routing of futures in object network overlays M Dam, K Palmskog Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013 | 4 | 2013 |
| 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 |
| 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 |
| Hydras & Co. SD Damour, F Hatat, P Manoury, K Palmskog, C Pit-Claudel, ... | | 2024 |
| 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 |
| 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 | 20 | 2017 |
| Inferring Formal Properties of Production Key-Value Stores E Pek, P Garg, MR Rahman, K Palmskog, I Gupta, P Madhusudan arXiv preprint arXiv:1712.10056, 2017 | | 2017 |
| 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 |
| Learning to format Coq code using language models P Nie, K Palmskog, JJ Li, M Gligoric arXiv preprint arXiv:2006.16743, 2020 | 6 | 2020 |
| 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 |
| Location-independent routing in process network overlays M Dam, K Palmskog Service Oriented Computing and Applications 9, 285-309, 2015 | 10 | 2015 |
| 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 |
| 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 |
| 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 | 12 | 2018 |
Milos GligoricThe University of Texas at AustinVerified email at utexas.edu