Performance Characterisation of the Arm Morello Platform.
Xiaoyang Sun, Jeremy Singer, and Zheng Wang. Proceedings of the 2025 IEEE International Symposium on Workload Characterization (IISWC), 2025.
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 51 blog entries.
Celebrating the VeTSS Summer School 2025 Cohort: 4 days of Learning and Collaboration
The VeTSS Summer School 2025 was hosted by the Department of Computer Science at the University of Glasgow from August 11th to 14th. This [...]
Student’s experience at VeTSS Summer School 2025
University of Glasgow, 11th to 14th August 2025 Last week, I had an incredible time at the Institute on Verified Trustworthy Software Systems (VeTSS) [...]
VeTSS Annual Conference 2025 highlights
Insights from a VeTSS Doctoral Dissertation Award Winner This June, VeTSS hosted its annual event at the Royal Academy of Engineering in London. As [...]
VeTSS Annual Conference 2025: A Day of Insight, Innovation, and Community
The VeTSS Annual Conference 2025 brought together leading researchers in verification, testing, and program analysis for a day of engaging talks, thought-provoking discussions, and [...]
VeTSS Research Awards, Call for Proposals
BACKGROUND The Research Institute in Verified Trustworthy Software Systems (VeTSS), hosted at Imperial College London and the University of Surrey, is a UK Academic Research [...]
MGS in the Foundations of Computing Science 25
University of Sheffield, 7-11 April 2025 On 7-11th April, the School of Computer Science at the University of Sheffield hosted the 25th edition of [...]
S-REPLS 16 at Imperial College London
Tuesday, 1 April 2025, London VeTSS supported the 16th edition of S-REPLS, which took place at Imperial College London on 1st April 2025, and [...]
VeTSS Doctoral Dissertation Awards
VeTSS Doctoral Dissertation Awards for theses in Program Analysis, Testing, and Verification. This annual award aims to recognise excellence in research by PhD students in [...]
Vacancy: Senior Lectureship and Lectureship in Cyber Security, University of Surrey
The School of Computer Science and Electronic Engineering at the University of Surrey, UK is seeking to recruit a full-time Senior Lecturer and a full-time [...]
by