Collaborated with:S.Misailovic Keyur Joshi Antonio Franques S.Abadal J.Torrellas
Talks about:approxim (2) wireless (1) sequenti (1) parallel (1) communic (1) accuraci (1) replica (1) program (1) manycor (1) verifi (1)
Person: Vimuth Fernando
DBLP: Fernando:Vimuth
Contributed to:
2019
2019Wrote 2 papers:
- OOPSLA-2019-FernandoJM #approximate #canonical #parallel #safety #source code #verification
- Verifying safety and accuracy of approximate parallel programs via canonical sequentialization (VF, KJ, SM), p. 29.
- ASPLOS-2019-FernandoFAMT #approximate #manycore #named
- Replica: A Wireless Manycore for Communication-Intensive and Approximate Data (VF, AF, SA, SM, JT), pp. 849–863.