Two VeTSS PhD students have been recently awarded best paper awards at international conferences.
Eleni Bila, a PhD student at the University of Surrey supported by VeTSS project “Persistent Safety and Security” has won best paper at FORTE 2020 with “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory”. This is joint work with Simon Doherty, Brijesh Dongol, (her supervisor and PI on the project) John Derrick, Gerhard Schellhorn and Heike Wehrheim. FORTE, the Formal Techniques for Distributed Objects, Components, and Systems, is one of the three conferences of DisCoTec 2020, the 15th International Federated Conference on Distributed Computing Techniques.
Yann Herklotz, is a student at Imperial College London and his PhD is supported by the VeTSS project Reliable High-Level Synthesis, supervised by John Wickerson. Yann has been awarded first prize in the #PLDI2020 Student Research Competition (graduate category) for his work on Formally Verified High-Level Synthesis. PLDI, the ACM SIGPLAN Conference on Programming Language Design and Implementation is one of the leading conferences for practical and experimental work in the design and implementation of programming languages.