Azalea Raad

According to our database, Azalea Raad authored at least 40 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Specifying and Verifying Persistent Libraries.

Léo Stefanesco, Azalea Raad, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2024

Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency.

Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol

Proceedings of the Programming Languages and Systems, 2024

Intel PMDK Transactions: Specification, Validation and Concurrency.

Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol

Proceedings of the Programming Languages and Systems, 2024

Under-Approximation for Scalable Bug Detection (Keynote).

Azalea Raad

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

2023

The Path to Durable Linearizability.

Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., January, 2023

Memento: A Framework for Detectable Recoverability in Persistent Memory.

Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang

Proc. ACM Program. Lang., 2023

Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412).

Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev

Dagstuhl Reports, 2023

Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version).

Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol

CoRR, 2023

A General Approach to Under-Approximate Reasoning About Concurrent Programs.

Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Hyperstate Space Graphs.

Michael Cook, Azalea Raad

IEEE Trans. Games, 2022

Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores.

Azalea Raad, Luc Maranget, Viktor Vafeiadis

Proc. ACM Program. Lang., 2022

Concurrent incorrectness separation logic.

Azalea Raad, Josh Berdine, Derek Dreyer, Peter W. O'Hearn

Proc. ACM Program. Lang., 2022

Finding real bugs in big programs with incorrectness logic.

Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn

Proc. ACM Program. Lang., 2022

View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version).

Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson

CoRR, 2022

View-Based Owicki-Gries Reasoning for Persistent x86-TSO.

Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson

Proceedings of the Programming Languages and Systems, 2022

2021

PerSeVerE: persistency semantics for verification under ext4.

Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2021

Foundations of Persistent Programming (Dagstuhl Seminar 21462).

Hans-Juergen Boehm, Ori Lahav, Azalea Raad

Dagstuhl Reports, 2021

Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.

Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Persistency semantics of the Intel-x86 architecture.

Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis

Proc. ACM Program. Lang., 2020

Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86.

Azalea Raad, Ori Lahav, Viktor Vafeiadis

Proc. ACM Program. Lang., 2020

Data Consistency in Transactional Storage Systems: A Centralised Semantics.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic.

Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models.

Azalea Raad, John Wickerson, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.

Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

Effective lock handling in stateless model checking.

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

Data Consistency in Transactional Storage Systems: a Centralised Approach.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

CoRR, 2019

On the Semantics of Snapshot Isolation.

Azalea Raad, Ori Lahav, Viktor Vafeiadis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Model checking for weakly consistent libraries.

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Hyperstate Space Graphs for Automated Game Analysis.

Michael Cook, Azalea Raad

Proceedings of the IEEE Conference on Games, 2019

2018

Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model.

Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2018

On Parallel Snapshot Isolation and Release/Acquire Consistency.

Azalea Raad, Ori Lahav, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2018

Inferring Design Constraints From Game Ruleset Analysis.

Michael Cook, Simon Colton, Azalea Raad

Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, 2018

2016

Abstraction, refinement and concurrent reasoning.

Azalea Raad

PhD thesis, 2016

DOM: Specification and Client Reasoning.

Azalea Raad, José Fragoso Santos, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

Verifying Concurrent Graph Algorithms.

Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

CoLoSL: Concurrent Local Subjective Logic.

Azalea Raad, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2015

2014

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap.

Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

2013

Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design.

Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow

Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013

2011

Ludic Considerations of Tablet-Based Evo-Art.

Simon Colton, Michael Cook, Azalea Raad

Proceedings of the Applications of Evolutionary Computation, 2011

A sip of the Chalice.

Azalea Raad, Sophia Drossopoulou

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011