Reservoir Labs at CPP 2016

Tahina Ramananandro, Senior Engineer, at Reservoir Labs will introduce VCFloat, a Coq proof library for unprecedentedly trustworthy formal verification of floating-point computations in C programs. Ramananandro’s presentation, A Unified Coq Framework for Verifying C Programs with Floating-Point Computations, will be held at the 5th ACM/SIGPLAN International Conference on Certified Programs and Proofs (CPP) on Hilton St. Petersburg Bayfront in St. Petersburg, FL, USA on January 18-19, 2016, 11am EST.
Coincidentally, a reception, sponsored by the National Science Foundation (NSF) DeepSpec project, is held on Tuesday evening, an hour after the last CPP talk ends.

What’s New ?

For more information about Reservoir products or to purchase, please