Pavel Pancheckha

Identifiers

No identifiers captured yet.

Papers (1)

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