Pavel Pancheckha
Identifiers
No identifiers captured yet.
Papers (1)
- Combining Tools for Optimization and Analysis of Floating-Point Computations cs.PL · 2018 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Eva Darulova 1 shared papers
- Heiko Becker 1 shared papers
- Zachary Tatlock 1 shared papers