Johannes Åman Pohjola

According to our database, Johannes Åman Pohjola authored at least 22 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Broadcast Psi-calculi.

Palle Raabjerg, Johannes Åman Pohjola, Tjark Weber

Arch. Formal Proofs, 2024

2023

PureCake: A Verified Compiler for a Lazy Functional Language.

Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti

Proc. ACM Program. Lang., 2023

A Hoare Logic for Diverging Programs.

Johannes Åman Pohjola, Magnus O. Myreen, Miki Tanaka

Arch. Formal Proofs, 2023

Pancake: Verified Systems Programming Made Sweeter.

Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

2022

Kalas: A Verified, End-To-End Compiler for a Choreographic Language.

Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

A Verified Cyclicity Checker: For Theories with Overloaded Constants.

Arve Gengelbach, Johannes Åman Pohjola

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2020

Do you have space for dessert? a verified space cost semantics for CakeML programs.

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan

Proc. ACM Program. Lang., 2020

Psi-Calculi Revisited: Connectivity and Compositionality.

Johannes Åman Pohjola

Log. Methods Comput. Sci., 2020

Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading.

Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber

Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020

A Mechanised Semantics for HOL with Ad-hoc Overloading.

Johannes Åman Pohjola, Arve Gengelbach

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

A Verified Generational Garbage Collector for CakeML.

Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola

J. Autom. Reason., 2019

Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs.

Johannes Åman Pohjola, Henrik Rostedt, Magnus O. Myreen

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.

Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Into the Infinite - Theory Exploration for Coinduction.

Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2016

Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results.

Johannes Åman Pohjola

PhD thesis, 2016

A Sorted Semantic Framework for Applied Process Calculi.

Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

Log. Methods Comput. Sci., 2016

The Expressive Power of Monotonic Parallel Composition.

Johannes Åman Pohjola, Joachim Parrow

Proceedings of the Programming Languages and Systems, 2016

Bisimulation up-to techniques for psi-calculi.

Johannes Åman Pohjola, Joachim Parrow

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Broadcast psi-calculi with an application to wireless protocols.

Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow

Softw. Syst. Model., 2015

2014

Higher-order psi-calculi.

Joachim Parrow, Johannes Borgström, Palle Raabjerg, Johannes Åman Pohjola

Math. Struct. Comput. Sci., 2014

Priorities Without Priorities: Representing Preemption in Psi-Calculi.

Johannes Åman Pohjola, Joachim Parrow

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

2013

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract).

Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013