Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Lucas Brutschy

Registered user since Wed 13 Aug 2014

Name:Lucas Brutschy
Country:Switzerland
Affiliation:ETH Zurich
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