POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Michael Emmi
Michael Emmi

Registered user since Tue 9 Jun 2015

Name:Michael Emmi
Affiliation:Nokia Bell Labs
Personal website:http://michael-emmi.github.io

Contributions

POPL 2018 Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections
Show activities from other conferences

POPL 2018-profile
View general profile