Registered user since Fri 3 Jul 2015

Name: Constantin Enea

Affiliation: LIAFA, Université Paris Diderot

POPL 2017 Activities

• Author of On Verifying Causal Consistency within the POPL-track in POPL 2017
• Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI 2017)
• Show activities from other conferences