• Sign in
  • Sign up
conf.researchr.org / Marko Doko
  • POPL 2016 profile
  • POPL 2019 profile
Marko Doko

Registered user since Thu 10 Dec 2015

Name: Marko Doko

Affiliation: MPI-SWS, Germany

Personal website: http://www.mpi-sws.org/~mdoko

Contributions

POPL 2019 Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track
VMCAI Author of A program logic for C11 memory fences within the VMCAI-track

Share
xTue 19 Jan 20:22
using conf.researchr.org (v1.40.1)
Support page
Sign Up