
Registered user since Wed 18 Jun 2014
Name: Peter Müller
Country: Switzerland
Affiliation: ETH Zurich
Personal website: http://www.pm.inf.ethz.ch
Contributions
PLDI 2018 | Static Serializability Analysis for Causal Consistency | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2018-profile
View general profile
View general profile