Vimuth Fernando

According to our database1, Vimuth Fernando authored at least 5 papers between 2019 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
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

2019
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

Statistical algorithmic profiling for randomized approximate programs.
Proceedings of the 41st International Conference on Software Engineering, 2019

Replica: A Wireless Manycore for Communication-Intensive and Approximate Data.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019


  Loading...