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