conf.researchr.org / Johannes Åman Pohjola

Not registered as user yet

Name:Johannes Åman Pohjola
Affiliation:Data61 at CSIRO / UNSW

Contributions

CPP 2021 Committee Member in Program Committee within the CPP 2021-track
SPLASH 2020 Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA-track
Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA Artifacts-track