
Registered user since Fri 3 Jul 2015
Name:Constantin Enea
Affiliation:LIAFA, Université Paris Diderot
Contributions
POPL 2017 | On Verifying Causal Consistency | ||||||||||||||||||||||||||||||||||||||||
VMCAI 2017 | Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile