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