Follow
Johannes Åman Pohjola
Title
Cited by
Cited by
Year
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
542015
A verified generational garbage collector for CakeML
A Sandberg Ericsson, MO Myreen, J Åman Pohjola
Journal of Automated Reasoning 63, 463-488, 2019
282019
Higher-order psi-calculi
J Parrow, J Borgström, P Raabjerg, JÅ Pohjola
Mathematical Structures in Computer Science 24 (2), e240203, 2014
232014
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
222022
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
212020
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
142019
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
132018
A mechanised semantics for HOL with ad-hoc overloading
JÅ Pohjola, A Gengelbach
arXiv preprint arXiv:2002.10212, 2020
122020
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
102016
Negative premises in applied process calculi
JÅ Pohjola, J Borgström, J Parrow, P Raabjerg, I Rodhe
Department of Information Technology, Uppsala University, Tech. Rep 14, 2013
82013
Into the infinite-theory exploration for coinduction
SH Einarsdóttir, M Johansson, J Åman Pohjola
Artificial Intelligence and Symbolic Computation: 13th International …, 2018
72018
Mechanisation of model-theoretic conservative extension for HOL with ad-hoc overloading
A Gengelbach, JÅ Pohjola, T Weber
arXiv preprint arXiv:2101.03807, 2021
52021
Synthesis of verified architectural components for autonomy hosted on a verified microkernel
DS Hardin, KL Slind, JA Pohjola, M Sproul
Proceedings of the 53rd Hawaii International Conference on System Sciences …, 2020
52020
Bisimulation up-to techniques for psi-calculi
J Åman Pohjola, J Parrow
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
52016
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
42023
Priorities without priorities: representing preemption in Psi-calculi
JÅ Pohjola, J Parrow
arXiv preprint arXiv:1408.1453, 2014
42014
Towards Correctly Checking for Cycles in Overloaded Definitions
A Gengelbach, JÅ Pohjola
Department of Information Technology, Uppsala Universitet, 2021
32021
Verifying psi-calculi
JÅ Pohjola
M. Sc. thesis IT 10, 052, 2010
32010
Connecting choreography languages with verified stacks
A Gómez-Londono, JÅ Pohjola
Procs. of the Nordic Workshop on Programming Theory, 31-33, 2018
22018
The expressive power of monotonic parallel composition
J Åman Pohjola, J Parrow
European Symposium on Programming, 780-803, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20