
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
View general profile