Constantin Enea -

Registered user since Fri 3 Jul 2015

Name:Constantin Enea

Country:France

Affiliation:University of Paris / IRIF / CNRS

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

Contributions

PLDI 2022	Committee Member in PLDI within the PLDI-track
SAS 2021	Committee Member in Program Committee within the SAS-track
SPLASH 2021	Session Chair of Analysis - mirror (part of OOPSLA) Author of MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels within the OOPSLA-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
SPLASH 2020	Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track Author of Testing Consensus Implementations using Communication Closure within the OOPSLA-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-track Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track
PLDI 2020	Author of Inductive Sequentialization of Asynchronous Programs within the PLDI Research Papers-track Author of Behavioral Simulation for Smart Contracts within the PLDI Research Papers-track
SPLASH 2019	Author 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 2019	Program 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 2019	Committee Member in Program Committee within the ESOP 2019-track
PLDI 2019	Author of Replication-Aware Linearizability within the PLDI Research Papers-track
POPL 2019	Author of Weak-Consistency Specification via Visibility Relaxation within the Research Papers-track
PLMW 2018	Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track Committee Member in Panelists within the PLMW-track
POPL 2018	Session 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 2017	Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI)
POPL 2017	Author of On Verifying Causal Consistency within the POPL-track
POPL 2016	Author of Symbolic Abstract Data Type Inference within the Research Papers-track
PLDI 2015	Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track