Travelled to:1 × USA
Collaborated with:P.Panchekha Z.Tatlock J.R.Wilcox S.Lerner
Talks about:point (2) float (2) accuraci (1) express (1) automat (1) improv (1) error (1) root (1) find (1) caus (1)
Person: Alex Sanchez-Stern
DBLP: Sanchez-Stern:Alex
Contributed to:
20152018Wrote 2 papers:
- PLDI-2015-PanchekhaSWT #automation #float
- Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
- PLDI-2018-Sanchez-SternPL #fault #float
- Finding root causes of floating point error (ASS, PP, SL, ZT), pp. 256–269.