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