Mathias Jakobsen

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 6

Top Topics

Computationally Efficient

Parallel Hardware

Top Venues

Publications

Mathias Jakobsen, Alice Ravier, Ornela Dardha
Papaya: Global Typestate Analysis of Aliased Objects Extended Version. CoRR (2021)
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Behavioural separation with parallel usages. FTfJP@ECOOP (2021)
Mathias Jakobsen, Alice Ravier, Ornela Dardha
Papaya: Global Typestate Analysis of Aliased Objects. PPDP (2021)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS (2020)
Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Context-Free Session Types for Applied Pi-Calculus. EXPRESS/SOS (2018)