Anton Podkopaev

Registered user since Wed 23 Dec 2015

Name:Anton Podkopaev
Affiliation:HSE University; JetBrains Research
Personal website:
Research interests:programming languages, weak memory models


POPL 2022 The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
Committee Member in Selection Committee within the Student Research Competition-track
Show activities from other conferences

Using general profile