Fingerprint
Dive into the research topics where Constantin Enea is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Arbitration-Free Consistency Is Available (and Vice Versa)
Attiya, H., Enea, C. & Román-Calvo, E., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 1183-1211 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Verifying Almost-Sure Termination for Randomized Distributed Algorithms
Enea, C., Majumdar, R., Motwani, H. J. & Sathiyanarayana, V. R., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 1412-1441 30 p.Research output: Contribution to journal › Article › peer-review
Open Access -
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Bouajjani, A., Enea, C. & Román-Calvo, E., 1 Jan 2025, Computer Aided Verification - 37th International Conference, CAV 2025, Proceedings. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 315-337 23 p. (Lecture Notes in Computer Science; vol. 15934 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Preserving hyperproperties of programs using primitives with consensus number 2
Attiya, H., Castañeda, A. & Enea, C., 1 Sept 2025, In: Acta Informatica. 62, 3, 29.Research output: Contribution to journal › Article › peer-review
Open Access -
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A., 27 Apr 2024, Fall Cycle. Association for Computing Machinery, p. 223-238 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 3).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Model Checking Distributed Protocols in Must
Enea, C., Giannakopoulou, D., Kokologiannakis, M. & Majumdar, R., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 338.Research output: Contribution to journal › Article › peer-review
Open Access -
Preface
Castañeda, A., Enea, C. & Gupta, N., 1 Jan 2024, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14783 LNCS, p. v-viResearch output: Contribution to journal › Editorial
-
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Borgarelli, A., Enea, C., Majumdar, R. & Nagendra, S., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 339.Research output: Contribution to journal › Article › peer-review
Open Access -
Scenario-Based Proofs for Concurrent Objects
Enea, C. & Koskinen, E., 29 Apr 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 140.Research output: Contribution to journal › Article › peer-review
Open Access -
Strong Linearizability using Primitives with Consensus Number 2
Attiya, H., Castaneda, A. & Enea, C., 17 Jun 2024, PODC 2024 - Proceedings of the 2024 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 432-442 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access