Eleni Bila

According to our database, Eleni Bila authored at least 4 papers between 2020 and 2022.

Collaborative distances:

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

2022

Modularising Verification Of Durable Opacity.

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Log. Methods Comput. Sci., 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

2020

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.

Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020