Eleni Vafeiadi Bila

Eleni Vafeiadi Bila

Postgraduate Research Student

Academic and research departments

Department of Computer Science.

My research project

My qualifications

MSc, Information Security (Recipient of DCMS bursary)
University College London
BSc, Computer Science
University of Piraeus


Research interests

My publications


Vafeiadi Bila Eleni, Brijesh Dongol, Ori Lahav, Azalea Raad, and John Wickerson. (2022). View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Distinguished Artifact Award)
Vafeiadi Bila Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. (2020). Defining and verifying durable opacity: correctness for persistent software transactional memory (Best Paper Award)