Dr Johannes Aman Pohjola

Pohjola JÅ, 2019, 'Psi-Calculi Revisited: Connectivity and Compositionality.', in Pérez JA; Yoshida N (ed.), Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Springer, pp. 3 - 20, http://dx.doi.org/10.1007/978-3-030-21759-4_1

Borgström J; Gutkovas R; Parrow J; Victor B; Pohjola JA, 2014, 'A sorted semantic framework for applied process calculi (extended abstract)', in Trustworthy Global Computing, Springer International Publishing, pp. 103 - 118, http://dx.doi.org/10.1007/978-3-319-05119-2_7

Borgström J; Gutkovas R; Parrow J; Victor B; Pohjola JÅ, 2014, 'A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)', in Trustworthy Global Computing, Springer International Publishing, pp. 103 - 118, http://dx.doi.org/10.1007/978-3-319-14128-2_7

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, vol. 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, vol. 4, http://dx.doi.org/10.1145/3428272

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

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

Sandberg Ericsson A; Myreen MO; Åman Pohjola J, 2019, 'A Verified Generational Garbage Collector for CakeML', Journal of Automated Reasoning, vol. 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, vol. 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, vol. 14, pp. 201 - 216, http://dx.doi.org/10.1007/s10270-013-0375-z

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

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

Gengelbach A; Pohjola JÅ, 2022, 'A Verified Cyclicity Checker For Theories with Overloaded Constants', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ITP.2022.15

Pohjola JÅ; Gómez-Londoño A; Shaker J; Norrish M, 2022, 'Kalas: A Verified, End-To-End Compiler for a Choreographic Language', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ITP.2022.27

Hardin D; Slind K; Pohjola JÅ; Sproul M, 2020, 'Synthesis of verified architectural components for critical systems hosted on a verified microkernel', in Proceedings of the Annual Hawaii International Conference on System Sciences, pp. 6365 - 6374

Pohjola JÅ; Rostedt H; Myreen MO, 2019, 'Characteristic formulae for liveness properties of non-terminating CakeML programs', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ITP.2019.32

Åman Pohjola J, 2019, 'Psi-Calculi Revisited: Connectivity and Compositionality', in Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 (Series title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kongens Lyngby, Denmark, pp. 3 - 20, presented at FORTE, Kongens Lyngby, Denmark, 17 June 2019 - 21 June 2019, http://dx.doi.org/10.1007/978-3-030-21759-4_1

Einarsdóttir SH; Johansson M; Åman Pohjola J, 2018, 'Into the infinite - theory exploration for coinduction', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 70 - 86, http://dx.doi.org/10.1007/978-3-319-99957-9_5

Férée H; Åman Pohjola J; Kumar R; Owens S; Myreen MO; Ho S, 2018, 'Program Verification in the Presence of I/O: Semantics, Verified Library Routines, and Verified Applications', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Oxford, U.K., pp. 88 - 111, presented at 10th International Conference, VSTTE 2018, Oxford, U.K., 18 July 2018 - 19 July 2018, http://dx.doi.org/10.1007/978-3-030-03592-1_6

Sandberg Ericsson A; Myreen MO; Åman Pohjola J, 2017, 'A verified generational garbage collector for CakeML', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 444 - 461, http://dx.doi.org/10.1007/978-3-319-66107-0_28

Pohjola JÅ; Parrow J, 2016, 'Bisimulation up-to techniques for psi-calculi', in Avigad J; Chlipala A (ed.), CPP 2016 - Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2016, ASSOC COMPUTING MACHINERY, St Petersburg, FL, pp. 142 - 153, presented at 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), St Petersburg, FL, 18 January 2016 - 19 January 2016, http://dx.doi.org/10.1145/2854065.2854080

Pohjola JÅ; Parrow J, 2016, 'The expressive power of monotonic parallel composition', in Thiemann P (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Eindhoven, NETHERLANDS, pp. 780 - 803, presented at 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), Eindhoven, NETHERLANDS, 03 April 2016 - 07 April 2016, http://dx.doi.org/10.1007/978-3-662-49498-1_30

Borgström J; Huang S; Johansson M; Raabjerg P; Victor B; Åman Pohjola J; Parrow J, 2011, 'Broadcast psi-calculi with an application to wireless protocols', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 74 - 89, http://dx.doi.org/10.1007/978-3-642-24690-6_7