Constantin Enea

Registered user since Fri 3 Jul 2015

Name: Constantin Enea

Country: France

Affiliation: IRIF, University Paris Diderot & CNRS

Personal website: https://www.irif.fr/~cenea/

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
SPLASH 2019Author of On the Complexity of Checking Transactional Consistency within the OOPSLA Artifacts-track
Author of On the Complexity of Checking Transactional Consistency within the OOPSLA-track
VMCAI 2019Program Co-Chair in Program Committee within the VMCAI 2019-track
Session Chair of Invited Talk 1 (part of VMCAI 2019)
Co-chair in Organizing Committee within the VMCAI 2019-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
PLDI 2019Author of Replication-Aware Linearizability within the PLDI Research Papers-track
POPL 2019Author of Weak-Consistency Specification via Visibility Relaxation within the Research Papers-track
PLMW 2018Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track
Committee Member in Panelists within the PLMW-track
POPL 2018Session Chair of Termination (part of Research Papers)
Author of Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
VMCAI 2017Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI)
POPL 2017Author of On Verifying Causal Consistency within the POPL-track
POPL 2016Author of Symbolic Abstract Data Type Inference within the Research Papers-track
PLDI 2015Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track