Write a Blog >>
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

VMCAI A program logic for C11 memory fences
Show activities from other conferences

POPL 2016-profile
View general profile