Constantin Enea -

Not registered as user

Name:Constantin Enea

Affiliation:LIX, CNRS, Ecole Polytechnique

Contributions

2026

POPL

Committee Member in Program Committee within the POPL-track

2025

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

SPLASH

Author of Scenario-based Proofs for Concurrent Objects within the OOPSLA 2024-track
Author of Model Checking Distributed Protocols in Must within the OOPSLA 2024-track
Author of Reward Augmentation in Reinforcement Learning for Testing Distributed Systems within the OOPSLA 2024-track

2023

PLDI

Author of Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels within the PLDI Research Papers-track