
Registered user since Wed 13 Aug 2014
Name: Lucas Brutschy
Country: Switzerland
Affiliation: ETH Zurich
Personal website: http://people.inf.ethz.ch/blucas/
Research interests: Static Analysis, Mobile Software, Program Verification, IT Security
Contributions
POPL 2017 | Serializability for Eventual Consistency: Criterion, Analysis and Applications | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile