Mathias Jakobsen

According to our database, Mathias Jakobsen authored at least 5 papers between 2018 and 2021.

Collaborative distances:

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

2021

Papaya: Global Typestate Analysis of Aliased Objects Extended Version.

Mathias Jakobsen, Alice Ravier, Ornela Dardha

CoRR, 2021

Papaya: Global Typestate Analysis of Aliased Objects.

Mathias Jakobsen, Alice Ravier, Ornela Dardha

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Behavioural separation with parallel usages.

Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2018

Context-Free Session Types for Applied Pi-Calculus.

Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018