According to our database1, Vimuth Fernando authored at least 5 papers between 2019 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.
Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.
Proc. ACM Program. Lang., 2019
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019