Anton Podkopaev - PLDI 2020

Mon 15 - Fri 19 June 2020

Registered user since Wed 23 Dec 2015

Name:Anton Podkopaev

Country:Russia

Affiliation:MPI-SWS, NRU HSE, JetBrains Research

Research interests:programming languages, weak memory models

Contributions

PLDI 2020	Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Repairing and Mechanising the JavaScript Relaxed Memory Model
REMS-DeepSpec 2020	WebAssembly: sequential and concurrent semantics
Show activities from other conferences