By Dr Johannes Aman Pohjola

Journal articles

Kanabar H; Vivien S; Abrahamsson O; Myreen MO; Norrish M; JOHANNES ÅMAN PA; Zanetti R, 2023, 'PureCake: A Verified Compiler for a Lazy Functional Language', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3591259

Pohjola JÅ; Myreen MO; Tanaka M, 2023, 'A Hoare Logic for Diverging Programs.', Arch. Formal Proofs, 2023

Gengelbach A; Pohjola JÅ; Weber T, 2021, 'Mechanisation of model-theoretic conservative extension for HOL with Ad-hoc overloading', Electronic Proceedings in Theoretical Computer Science, EPTCS, 332, pp. 1 - 17, http://dx.doi.org/10.4204/EPTCS.332.1

Gómez-Londoño A; Åman Pohjola J; Syeda HT; Myreen MO; Tan YK, 2020, 'Do you have space for dessert? a verified space cost semantics for CakeML programs', Proceedings of the ACM on Programming Languages, 4, http://dx.doi.org/10.1145/3428272

Pohjola JÅ; Gengelbach A, 2020, 'A mechanised semantics for hol with ad-hoc overloading', EPiC Series in Computing, 73, pp. 498 - 515, http://dx.doi.org/10.29007/413d

Pohjola JÅ, 2020, 'Psi-calculi revisited: Connectivity and compositionality', Logical Methods in Computer Science, 16, pp. 16:1-16:28, http://dx.doi.org/10.23638/LMCS-16(4:16)2020

Sandberg Ericsson A; Myreen MO; Åman Pohjola J, 2019, 'A Verified Generational Garbage Collector for CakeML', Journal of Automated Reasoning, 63, pp. 463 - 488, http://dx.doi.org/10.1007/s10817-018-9487-z

Borgström J; Gutkovas R; Parrow J; Victor B; Pohjola JÅ, 2016, 'A sorted semantic framework for applied process calculi', Logical Methods in Computer Science, 12, http://dx.doi.org/10.2168/LMCS-12(1:8)2016

Borgström J; Huang S; Johansson M; Raabjerg P; Victor B; Åman Pohjola J; Parrow J, 2015, 'Broadcast psi-calculi with an application to wireless protocols', Software and Systems Modeling, 14, pp. 201 - 216, http://dx.doi.org/10.1007/s10270-013-0375-z

Pohjola JÅ; Parrow J, 2014, 'PrioritiesWithout priorities: Representing preemption in psi-calculi', Electronic Proceedings in Theoretical Computer Science, EPTCS, 160, pp. 2 - 15, http://dx.doi.org/10.4204/EPTCS.160.2

Parrow J; Borgström J; Raabjerg P; Åman Pohjola J, 2014, 'Higher-order psi-calculi', Mathematical Structures in Computer Science, 24, http://dx.doi.org/10.1017/S0960129513000170

Back to profile page