Constantin Enea - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Fri 3 Jul 2015

Name:Constantin Enea

Affiliation:LIAFA, Université Paris Diderot

Contributions

2017

POPL

On Verifying Causal Consistency

VMCAI

Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI)

Show activities from other conferences

POPL 2017-profile
View general profile