BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Solovyev:Alexey

Contributed to:

FM 20152015
PPoPP 20142014
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.