E-LIB Suche - Ergebnisse für: Raad, Azalea

1

Specifying and Verifying Persistent Libraries:

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

Stefanesco, Léo ; Raad, Azalea ; Vafeiadis, Viktor - p. 185-211 , 2024

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

2

Intel PMDK Transactions: Specification, Validation and Conc..:

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

Raad, Azalea ; Lahav, Ori ; Wickerson, John.. - p. 150-179 , 2024

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

3

Under-Approximation for Scalable Bug Detection (Keynote):

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Raad, Azalea - p. 1 ff. , 2024

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

4

Artifact Report: Intel PMDK Transactions: Specification, Va..:

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

Raad, Azalea ; Lahav, Ori ; Wickerson, John.. - p. 180-184 , 2024

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

5

Challenges in Empirically Testing Memory Persistency Models:

, In: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results,

Klimis, Vasileios ; Donaldson, Alastair F. ; Vafeiadis, Viktor.. - p. 82-86 , 2024

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

6

The Path to Durable Linearizability:

D'Osualdo, Emanuele ; Raad, Azalea ; Vafeiadis, Viktor
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 748-774 , 2023

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

7

Extending Intel-x86 consistency and persistency: formalisin..:

Raad, Azalea ; Maranget, Luc ; Vafeiadis, Viktor
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

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

8

Extending Intel-x86 consistency and persistency: formalisin..:

Raad, Azalea ; Maranget, Luc ; Vafeiadis, Viktor
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

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

9

Concurrent incorrectness separation logic:

Raad, Azalea ; Berdine, Josh ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-29 , 2022

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

10

Hyperstate Space Graphs:

Cook, Michael ; Raad, Azalea
IEEE Transactions on Games. 14 (2022) 3 - p. 435-445 , 2022

Link: https://doi.org/10.1109/..

11

Finding real bugs in big programs with incorrectness logic:

Le, Quang Loc ; Raad, Azalea ; Villard, Jules...
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA1 - p. 1-27 , 2022

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

12

View-Based Owicki–Gries Reasoning for Persistent x86-TSO:

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

Bila, Eleni Vafeiadi ; Dongol, Brijesh ; Lahav, Ori.. - p. 234-261 , 2022

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

13

Concurrent incorrectness separation logic:

Raad, Azalea ; Berdine, Josh ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-29 , 2022

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

14

Revamping hardware persistency models: view-based and axiom..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Cho, Kyeongmin ; Lee, Sung-Hwan ; Raad, Azalea. - p. 16-31 , 2021

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

15

PerSeVerE: persistency semantics for verification under ext:

Kokologiannakis, Michalis ; Kaysin, Ilya ; Raad, Azalea.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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