Collaborated with:S.Misailovic Vimuth Fernando H.Sharif Prakalp Srivastava Muhammad Huzaifa Maria Kotsifakou Yasmin Sarita Nathan Zhao V.S.Adve S.V.Adve
Talks about:accuraci (2) sequenti (1) parallel (1) approxim (1) program (1) portabl (1) verifi (1) safeti (1) compil (1) approx (1)
Person: Keyur Joshi
DBLP: Joshi:Keyur
Contributed to:
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.
- OOPSLA-2019-SharifSHKJSZAMA #compilation #information retrieval #named #optimisation
- ApproxHPVM: a portable compiler IR for accuracy-aware optimizations (HS, PS, MH, MK, KJ, YS, NZ, VSA, SM, SVA), p. 30.