Brae J. Webb
Orcid: 0000-0003-3579-0244
According to our database1,
Brae J. Webb
authored at least 5 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study).
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper).
CoRR, 2022
2021
Proceedings of the Automated Technology for Verification and Analysis, 2021