Travelled to:1 × Norway
1 × USA
Collaborated with:Z.Rakamaric G.Gopalakrishnan W.Chiang C.Jacobsen Mark Baranowski Ian Briggs
Talks about:point (3) float (3) rigor (2) error (2) taylor (1) symbol (1) search (1) precis (1) expans (1) effici (1)
Person: Alexey Solovyev
DBLP: Solovyev:Alexey
Contributed to:
2015
2014
2017Wrote 3 papers:
- FM-2015-SolovyevJRG #estimation #fault #float
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
- PPoPP-2014-ChiangGRS #fault #float #performance
- Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
- POPL-2017-ChiangBBSGR #float
- Rigorous floating-point mixed-precision tuning (WFC, MB, IB, AS, GG, ZR), pp. 300–315.