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