About Me
I am a PhD student in the S3 Group at the University of Manchester, supervised by Prof. Lucas C. Cordeiro and Dr. Pavlos Petoumenos, fully funded by EPSRC and Arm Centre of Excellence. My research interests focus on formal verification (bounded model checking) and machine learning for verifying the safety of concurrent software.
Publications
- ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving (Competition Contribution): FASE (2025.01). Link
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution): TACAS (2025.01). Link
- Verifying components of Arm® Confidential Computing Architecture with ESBMC: SAS (2024.10). Link
- JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking: ISSTA (2024.09). Link
- Wit4Java: A violation-witness validator for Java verifiers (Competition Contribution): TACAS (2022.03). Link
Software Projects
Links
Contact
Email: wutonguom[at]gmail.com