
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
PLDI 2018 | Static Serializability Analysis for Causal Consistency | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2018-profile
View general profile
View general profile