Broadcast psi-calculi with an application to wireless protocols J Borgström, S Huang, M Johansson, P Raabjerg, B Victor, ... Software & Systems Modeling 14, 201-216, 2015 | 55 | 2015 |
A verified generational garbage collector for CakeML A Sandberg Ericsson, MO Myreen, J Åman Pohjola Journal of Automated Reasoning 63, 463-488, 2019 | 28 | 2019 |
Kalas: A verified, end-to-end compiler for a choreographic language JÅ Pohjola, A Gómez-Londoño, J Shaker, M Norrish 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022 | 26 | 2022 |
Do you have space for dessert? A verified space cost semantics for CakeML programs A Gómez-Londoño, J Åman Pohjola, HT Syeda, MO Myreen, YK Tan Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 25 | 2020 |
Higher-order psi-calculi J Parrow, J Borgström, P Raabjerg, JÅ Pohjola Mathematical Structures in Computer Science 24 (2), e240203, 2014 | 24 | 2014 |
Characteristic formulae for liveness properties of non-terminating CakeML programs J Åman Pohjola, H Rostedt, MO Myreen 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 14 | 2019 |
Program verification in the presence of I/O: Semantics, verified library routines, and verified applications H Férée, J Åman Pohjola, R Kumar, S Owens, MO Myreen, S Ho Verified Software. Theories, Tools, and Experiments: 10th International …, 2018 | 13 | 2018 |
A mechanised semantics for HOL with ad-hoc overloading JÅ Pohjola, A Gengelbach arXiv preprint arXiv:2002.10212, 2020 | 12 | 2020 |
A sorted semantic framework for applied process calculi J Borgström, R Gutkovas, J Parrow, B Victor, JÅ Pohjola Logical Methods in Computer Science 12, 2016 | 10 | 2016 |
Negative premises in applied process calculi J Åman Pohjola, J Borgström, J Parrow, P Raabjerg, I Rodhe | 8 | 2013 |
Into the infinite-theory exploration for coinduction SH Einarsdóttir, M Johansson, J Åman Pohjola Artificial Intelligence and Symbolic Computation: 13th International …, 2018 | 7 | 2018 |
PureCake: A verified compiler for a lazy functional language H Kanabar, S Vivien, O Abrahamsson, MO Myreen, M Norrish, JÅ Pohjola, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 952-976, 2023 | 5 | 2023 |
Mechanisation of model-theoretic conservative extension for HOL with ad-hoc overloading A Gengelbach, JÅ Pohjola, T Weber arXiv preprint arXiv:2101.03807, 2021 | 5 | 2021 |
Synthesis of verified architectural components for autonomy hosted on a verified microkernel K Slind, DS Hardin, JÅ Pohjola, M Sproul Draft, 2019 | 5 | 2019 |
Bisimulation up-to techniques for psi-calculi J Åman Pohjola, J Parrow Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 5 | 2016 |
Priorities without priorities: representing preemption in Psi-calculi JÅ Pohjola, J Parrow arXiv preprint arXiv:1408.1453, 2014 | 4 | 2014 |
Towards Correctly Checking for Cycles in Overloaded Definitions A Gengelbach, JÅ Pohjola Department of Information Technology, Uppsala University, 2021 | 3 | 2021 |
Verifying psi-calculi JÅ Pohjola Master’s thesis, Uppsala University, Department of Information Technology, 2010 | 3 | 2010 |
Pancake: verified systems programming made sweeter JÅ Pohjola, HT Syeda, M Tanaka, K Winter, TW Sau, B Nott, TT Ung, ... Proceedings of the 12th Workshop on programming languages and operating …, 2023 | 2 | 2023 |
Connecting choreography languages with verified stacks A Gómez-Londono, JÅ Pohjola Procs. of the Nordic Workshop on Programming Theory, 31-33, 2018 | 2 | 2018 |