Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Constantin Enea
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2023 profile
SPLASH 2024 profile
Not registered as user yet
Name:
Constantin Enea
Affiliation:
LIX, CNRS, Ecole Polytechnique
Contributions
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
Share
x
Thu 21 Nov 12:49