Azalea Raad - RankMe

66 papers A* 2A 6B 8C 1Journal 37Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Verified High-Performance Composable Object Library for Remote Direct Memory Access. Proc. ACM Program. Lang. Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis
2026	J	`jnl`	Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming. Proc. ACM Program. Lang. Shing Hin Ho, Nicolas Wu, Azalea Raad
2026	J	`jnl`	Specifying and Verifying RDMA Synchronisation (Extended Version). CoRR Guillaume Ambal, Max Stupple, Brijesh Dongol, Azalea Raad
2026	—	`conf`	Specifying and Verifying RDMA Synchronisation. ESOP (1) Guillaume Ambal, Max Stupple, Brijesh Dongol, Azalea Raad
2026	J	`jnl`	U-Turn: Enhancing Incorrectness Analysis by Reversing Direction. Proc. ACM Program. Lang. Flavio Ascari, Roberto Bruni, Roberta Gori, Azalea Raad
2025	J	`jnl`	A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version). CoRR Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis
2025	J	`jnl`	Bayesian Separation Logic. CoRR Shing Hin Ho, Nicolas Wu, Azalea Raad
2025	J	`jnl`	Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact). Dagstuhl Artifacts Ser. Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad
2025	A	`conf`	Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. ECOOP Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad
2025	J	`jnl`	IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). CoRR Matt Griffin, Brijesh Dongol, Azalea Raad
2025	A	`conf`	IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. ECOOP Matt Griffin, Brijesh Dongol, Azalea Raad
2025	J	`jnl`	Non-Termination Proving: 100 Million LoC and Beyond. CoRR Julien Vanegue, Jules Villard, Peter W. O'Hearn, Azalea Raad
2025	J	`jnl`	Soteria: Efficient Symbolic Execution as a Functional Library. CoRR Sacha-Élie Ayoun, Opale Sjöstedt, Azalea Raad
2025	—	`conf`	Sufficient Conditions for Robustness of RDMA Programs. ESOP (1) Guillaume Ambal, Ori Lahav, Azalea Raad
2025	J	`jnl`	U-Turn: Enhancing Incorrectness Analysis by Reversing Direction. CoRR Flavio Ascari, Roberto Bruni, Roberta Gori, Azalea Raad
2025	—	`ed.`	Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers VSTTE Jonathan Protzenko, Azalea Raad
2024	—	`conf`	Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
2024	—	`conf`	Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024	J	`jnl`	Extending the C/C++ Memory Model with Inline Assembly. Proc. ACM Program. Lang. Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad
2024	J	`jnl`	Extending the C/C++ Model with Inline Assembly. CoRR Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad
2024	—	`conf`	Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
2024	J	`jnl`	Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024	J	`jnl`	Non-termination Proving at Scale. Proc. ACM Program. Lang. Azalea Raad, Julien Vanegue, Peter W. O'Hearn
2024	B	`conf`	Principles of Persistent Programming (Invited Talk). CONCUR Azalea Raad
2024	J	`jnl`	Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. Proc. ACM Program. Lang. Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad
2024	—	`conf`	Specifying and Verifying Persistent Libraries. ESOP (2) Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
2024	B	`conf`	Under-Approximation for Scalable Bug Detection (Keynote). CPP Azalea Raad
2023	B	`conf`	A General Approach to Under-Approximate Reasoning About Concurrent Programs. CONCUR Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn
2023	J	`jnl`	Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). Dagstuhl Reports Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev
2023	J	`jnl`	Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
2023	J	`jnl`	Memento: A Framework for Detectable Recoverability in Persistent Memory. Proc. ACM Program. Lang. Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang
2023	J	`jnl`	Specifying and Verifying Persistent Libraries. CoRR Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
2023	J	`jnl`	The Path to Durable Linearizability. Proc. ACM Program. Lang. Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
2022	J	`jnl`	Concurrent incorrectness separation logic. Proc. ACM Program. Lang. Azalea Raad, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
2022	J	`jnl`	Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. Proc. ACM Program. Lang. Azalea Raad, Luc Maranget, Viktor Vafeiadis
2022	J	`jnl`	Finding real bugs in big programs with incorrectness logic. Proc. ACM Program. Lang. Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
2022	J	`jnl`	Hyperstate Space Graphs. IEEE Trans. Games Michael Cook, Azalea Raad
2022	J	`jnl`	The Path to Durable Linearizability. CoRR Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
2022	J	`jnl`	View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
2022	A	`conf`	View-Based Owicki-Gries Reasoning for Persistent x86-TSO. ESOP Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
2021	J	`jnl`	Foundations of Persistent Programming (Dagstuhl Seminar 21462). Dagstuhl Reports Hans-Juergen Boehm, Ori Lahav, Azalea Raad
2021	J	`jnl`	PerSeVerE: persistency semantics for verification under ext4. Proc. ACM Program. Lang. Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis
2021	A*	`conf`	Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. PLDI Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang
2020	A	`conf`	Data Consistency in Transactional Storage Systems: A Centralised Semantics. ECOOP Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2020	—	`conf`	Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. CAV (2) Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard
2020	J	`jnl`	Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
2020	J	`jnl`	Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86. Proc. ACM Program. Lang. Azalea Raad, Ori Lahav, Viktor Vafeiadis
2019	J	`jnl`	Data Consistency in Transactional Storage Systems: a Centralised Approach. CoRR Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2019	J	`jnl`	Effective lock handling in stateless model checking. Proc. ACM Program. Lang. Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
2019	C	`conf`	Hyperstate Space Graphs for Automated Game Analysis. CoG Michael Cook, Azalea Raad
2019	A*	`conf`	Model checking for weakly consistent libraries. PLDI Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
2019	J	`jnl`	On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. Proc. ACM Program. Lang. Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav, Viktor Vafeiadis
2019	B	`conf`	On the Semantics of Snapshot Isolation. VMCAI Azalea Raad, Ori Lahav, Viktor Vafeiadis
2019	J	`jnl`	Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proc. ACM Program. Lang. Azalea Raad, John Wickerson, Viktor Vafeiadis
2018	—	`conf`	Inferring Design Constraints From Game Ruleset Analysis. CIG Michael Cook, Simon Colton, Azalea Raad
2018	A	`conf`	On Parallel Snapshot Isolation and Release/Acquire Consistency. ESOP Azalea Raad, Ori Lahav, Viktor Vafeiadis
2018	J	`jnl`	On the Semantics of Snapshot Isolation. CoRR Azalea Raad, Ori Lahav, Viktor Vafeiadis
2018	J	`jnl`	Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model. Proc. ACM Program. Lang. Azalea Raad, Viktor Vafeiadis
2016	—	`—`	Abstraction, refinement and concurrent reasoning. Azalea Raad
2016	B	`conf`	DOM: Specification and Client Reasoning. APLAS Azalea Raad, José Fragoso Santos, Philippa Gardner
2016	B	`conf`	Verifying Concurrent Graph Algorithms. APLAS Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner
2015	A	`conf`	CoLoSL: Concurrent Local Subjective Logic. ESOP Azalea Raad, Jules Villard, Philippa Gardner
2014	B	`conf`	Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. MFPS Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright
2013	B	`conf`	Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. EvoApplications Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow
2011	—	`conf`	A sip of the Chalice. FTfJP@ECOOP Azalea Raad, Sophia Drossopoulou
2011	—	`conf`	Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) Simon Colton, Michael Cook, Azalea Raad