Eleni Vafeiadi Bila

Miss Eleni Vafeiadi Bila


Postgraduate Research Student

Academic and research departments

Department of Computer Science.

About

My research project

My qualifications

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

Research

Research interests

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)