E-LIB Suche - Ergebnisse für: Enea, Constantin

1

Strong Linearizability using Primitives with Consensus Numb..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,

Attiya, Hagit ; Castaneda, Armando ; Enea, Constantin - p. 432-442 , 2024

2

CSSTs: A Dynamic Data Structure for Partial Orders in Concu..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,

Tunç, Hünkar Can ; Deshmukh, Ameya Prashant ; Cirisci, Berk.. - p. 223-238 , 2024

Link: https://dl.acm.org/doi/1..

3

Scenario-Based Proofs for Concurrent Objects:

Enea, Constantin ; Koskinen, Eric
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 1294-1323 , 2024

Link: https://doi.org/10.1145/..

4

A Pragmatic Approach to Stateful Partial Order Reduction:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Cirisci, Berk ; Enea, Constantin ; Farzan, Azadeh. - p. 129-154 , 2023

Link: https://doi.org/10.1007/..

5

Dynamic Partial Order Reduction for Checking Correctness ag..:

Bouajjani, Ahmed ; Enea, Constantin ; Román-Calvo, Enrique
Proceedings of the ACM on Programming Languages. 7 (2023) PLDI - p. 565-590 , 2023

Link: https://doi.org/10.1145/..

6

Computer Aided Verification: 35th International Conference,..

Lecture Notes in Computer Science, 13964

Enea, Constantin ; Lal, Akash - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

7

Computer Aided Verification: 35th International Conference,..

Lecture Notes in Computer Science, 13965

Enea, Constantin ; Lal, Akash - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

8

Comparing Causal Convergence Consistency Models:

, In: Networked Systems; Lecture Notes in Computer Science,

Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin - p. 62-77 , 2023

Link: https://doi.org/10.1007/..

9

Quorum Tree Abstractions of Consensus Protocols:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Cirisci, Berk ; Enea, Constantin ; Mutluergil, Suha Orhun - p. 337-362 , 2023

Link: https://doi.org/10.1007/..

10

Computer Aided Verification: 35th International Conference,..

Lecture Notes in Computer Science, 13966

Enea, Constantin ; Lal, Akash - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

11

Blunting an Adversary Against Randomized Concurrent Program..:

, In: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing,

Attiya, Hagit ; Enea, Constantin ; Welch, Jennifer - p. 209-219 , 2022

Link: https://dl.acm.org/doi/1..

12

Automated Synthesis of Asynchronizations:

, In: Static Analysis; Lecture Notes in Computer Science,

Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin. - p. 135-159 , 2022

Link: https://doi.org/10.1007/..

13

Verifying non-blocking data structures with manual memory m..:

Wolff, Sebastian , 2021

Link: https://nbn-resolving.de..

14

Checking causal consistency of distributed databases:

Zennou, Rachid ; Biswas, Ranadeep ; Bouajjani, Ahmed..
Computing. 104 (2021) 10 - p. 2181-2201 , 2021

Link: https://doi.org/10.1007/..

15

MonkeyDB: effectively testing correctness under weak isolat..:

Biswas, Ranadeep ; Kakwani, Diptanshu ; Vedurada, Jyothi..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-27 , 2021

Link: https://doi.org/10.1145/..