
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