Iaroslav Golovanov

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Parallel Hardware

Classification Accuracy

Depth First Search

Top Venues

Publications

Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Behavioural separation with parallel usages. FTfJP@ECOOP (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)