Constantin Enea -

Registered user since Fri 3 Jul 2015

Name:Constantin Enea

Country:France

Affiliation:Ecole Polytechnique / LIX / CNRS

Personal website: https://www.lix.polytechnique.fr/~cenea/

Contributions

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

POPL

Author of Scaling Verification of Concurrent Programs with the Civl Verifier within the TutorialFest-track

2023

POPL

Committee Member in Program Committee within the POPL-track

VMCAI

2022

SPLASH

Static Analysis Symposium

Author of Automated Synthesis of Asynchronizations within the SAS-track

PLDI

CORA

2021

Static Analysis Symposium

Committee Member in Program Committee within the SAS-track

SPLASH

2020

SPLASH

PLDI

VMCAI

2019

SPLASH

PLDI

Author of Replication-Aware Linearizability within the PLDI Research Papers-track

ESOP

Committee Member in Program Committee within the ESOP 2019-track

POPL

Author of Weak-Consistency Specification via Visibility Relaxation within the Research Papers-track

VMCAI

2018

PLMW

POPL

2017

POPL

Author of On Verifying Causal Consistency within the POPL-track

VMCAI

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

2016

POPL

Author of Symbolic Abstract Data Type Inference within the Research Papers-track

2015

PLDI

Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track