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