Alex Sanchez-Stern

Identifiers

No identifiers captured yet.

Papers (1)

1. Finding Root Causes of Floating Point Error with Herbgrind cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Pavel Panchekha 1 shared papers
• Sorin Lerner 1 shared papers
• Zachary Tatlock 1 shared papers