Johannes man Pohjola
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2011–2025
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICTAC | A Rely-Guarantee-Based Simulation for Cooperative Semantics. | Kevin Tran, Johannes man Pohjola, Rob Sison, Gerwin Klein |
| 2025 | ITP | A Verified Cost Model for Call-By-Push-Value. | Zhuo Zoey Chen, Johannes man Pohjola, Christine Rizkallah |
| 2023 | PLOS | 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 |
| 2022 | ITP | A Verified Cyclicity Checker: For Theories with Overloaded Constants. | Arve Gengelbach, Johannes man Pohjola |
| 2022 | ITP | Kalas: A Verified, End-To-End Compiler for a Choreographic Language. | Johannes man Pohjola, Alejandro Gmez-Londoo, James Shaker, Michael Norrish |
| 2020 | LPAR | A Mechanised Semantics for HOL with Ad-hoc Overloading. | Johannes man Pohjola, Arve Gengelbach |
| 2019 | FORTE | Psi-Calculi Revisited: Connectivity and Compositionality. | Johannes man Pohjola |
| 2019 | ITP | Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs. | Johannes man Pohjola, Henrik Rostedt, Magnus O. Myreen |
| 2018 | AISC | Into the Infinite - Theory Exploration for Coinduction. | Slrn Halla Einarsdttir, Moa Johansson, Johannes man Pohjola |
| 2017 | ITP | A Verified Generational Garbage Collector for CakeML. | Adam Sandberg Ericsson, Magnus O. Myreen, Johannes man Pohjola |
| 2016 | CPP | Bisimulation up-to techniques for psi-calculi. | Johannes man Pohjola, Joachim Parrow |
| 2016 | ESOP | The Expressive Power of Monotonic Parallel Composition. | Johannes man Pohjola, Joachim Parrow |
| 2011 | SEFM | Broadcast Psi-calculi with an Application to Wireless Protocols. | Johannes Borgstrm, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Bjrn Victor, Johannes man Pohjola, Joachim Parrow |