Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Constantin Enea
conf.researchr.org general profile
PLDI 2023 profile
SPLASH 2024 profile
Not registered as user yet
Name:
Constantin Enea
Affiliation:
LIX, CNRS, Ecole Polytechnique
Contributions
2024
SPLASH
Author of Scenario-based Proofs for Concurrent Objects 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 25 Apr 23:58