Johannes Åman Pohjola

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 22

Top Venues

ITP

CoRR

Arch. Formal Proofs

Proc. ACM Program. Lang.

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Palle Raabjerg, Johannes Åman Pohjola, Tjark Weber
Broadcast Psi-calculi. Arch. Formal Proofs 2024 (2024)
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
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti
PureCake: A Verified Compiler for a Lazy Functional Language. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Johannes Åman Pohjola, Magnus O. Myreen, Miki Tanaka
A Hoare Logic for Diverging Programs. Arch. Formal Proofs 2023 (2023)
Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish
Kalas: A Verified, End-To-End Compiler for a Choreographic Language. ITP (2022)
Arve Gengelbach, Johannes Åman Pohjola
A Verified Cyclicity Checker: For Theories with Overloaded Constants. ITP (2022)
Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading. LFMTP (2020)
Johannes Åman Pohjola
Psi-Calculi Revisited: Connectivity and Compositionality. Log. Methods Comput. Sci. 16 (4) (2020)
Johannes Åman Pohjola, Arve Gengelbach
A Mechanised Semantics for HOL with Ad-hoc Overloading. LPAR (2020)
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
Do you have space for dessert? a verified space cost semantics for CakeML programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Johannes Åman Pohjola, Arve Gengelbach
A Mechanised Semantics for HOL with Ad-hoc Overloading. CoRR (2020)
Johannes Åman Pohjola, Henrik Rostedt, Magnus O. Myreen
Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs. ITP (2019)
Johannes Åman Pohjola
Psi-Calculi Revisited: Connectivity and Compositionality. FORTE (2019)
Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola
A Verified Generational Garbage Collector for CakeML. J. Autom. Reason. 63 (2) (2019)
Johannes Åman Pohjola
Psi-Calculi Revisited: Connectivity and Compositionality. CoRR (2019)
Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications. VSTTE (2018)
Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola
Into the Infinite - Theory Exploration for Coinduction. AISC (2018)
Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola
A Verified Generational Garbage Collector for CakeML. ITP (2017)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi. Log. Methods Comput. Sci. 12 (1) (2016)
Johannes Åman Pohjola, Joachim Parrow
Bisimulation up-to techniques for psi-calculi. CPP (2016)
Johannes Åman Pohjola, Joachim Parrow
The Expressive Power of Monotonic Parallel Composition. ESOP (2016)
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
Broadcast psi-calculi with an application to wireless protocols. Softw. Syst. Model. 14 (1) (2015)
Johannes Åman Pohjola, Joachim Parrow
Priorities Without Priorities: Representing Preemption in Psi-Calculi. EXPRESS/SOS (2014)
Joachim Parrow, Johannes Borgström, Palle Raabjerg, Johannes Åman Pohjola
Higher-order psi-calculi. Math. Struct. Comput. Sci. 24 (2) (2014)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). TGC (2013)
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
Broadcast Psi-calculi with an Application to Wireless Protocols. SEFM (2011)

Johannes Åman Pohjola.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johannes Åman Pohjola