Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Arbitration-Free Consistency Is Available (and Vice Versa)
Attiya, H., Enea, C. & Román-Calvo, E., 8 janv. 2026, Dans: Proceedings of the ACM on Programming Languages. 10, p. 1183-1211 29 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Verifying Almost-Sure Termination for Randomized Distributed Algorithms
Enea, C., Majumdar, R., Motwani, H. J. & Sathiyanarayana, V. R., 8 janv. 2026, Dans: Proceedings of the ACM on Programming Languages. 10, p. 1412-1441 30 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Bouajjani, A., Enea, C. & Román-Calvo, E., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Preserving hyperproperties of programs using primitives with consensus number 2
Attiya, H., Castañeda, A. & Enea, C., 1 sept. 2025, Dans: Acta Informatica. 62, 3, 29.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
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 avr. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Model Checking Distributed Protocols in Must
Enea, C., Giannakopoulou, D., Kokologiannakis, M. & Majumdar, R., 8 oct. 2024, Dans: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 338.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Preface
Castañeda, A., Enea, C. & Gupta, N., 1 janv. 2024, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14783 LNCS, p. v-viRésultats de recherche: Contribution à un journal › Éditorial
-
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Borgarelli, A., Enea, C., Majumdar, R. & Nagendra, S., 8 oct. 2024, Dans: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 339.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Scenario-Based Proofs for Concurrent Objects
Enea, C. & Koskinen, E., 29 avr. 2024, Dans: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 140.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Strong Linearizability using Primitives with Consensus Number 2
Attiya, H., Castaneda, A. & Enea, C., 17 juin 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert