Reservoir Labs joins Gigamon Bringing the Power of Network Visibility to the Cyber Security Fight

Reservoir Labs is proud to partner with Gigamon to bring the power of network visibility to the ever-evolving threat landscape. Together with its industry-leading partners, Gigamon is calling on organizations large and small to rethink the architecture of their cyber-security infrastructure and to turn the table on the attackers. At Reservoir Labs, we know that […]


High Performance Computing Meets Advanced Analyses: Reservoir Labs Teams with Mount Sinai

Reservoir Labs is pleased to announce its partnership with the Icahn School of Medicine at Mount Sinai (ICAHN). This initial collaboration spans analyses of both Alzheimer’s and breast cancer gene expression data. The partnership with the Icahn School of Medicine at Mount Sinai is enabling Reservoir to further tune advanced graph computing and graph visualization for new […]


R-Check: Finalist for the 2015 Technology of the Year award

To honor leading-edge innovation and meaningful technology advancement, Wireless Innovation Forum, announced that R-Check has been selected as a finalist for the 2015 Technology of the Year award. This is a testament to the value that Reservoir Labs’ novel technology brings to the field of SCA validation and compliance testing. More inform R-Check 2015 is an static source analysis […]


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 […]


Reservoir Labs collaborates with NSF DeepSpec Project

Reservoir Labs is pleased to support and participate in the National Science Foundation (NSF) DeepSpec project. DeepSpec, a collaboration among top programming language and compiler researchers, represents an opportunity to develop software systems with robust correctness and certification properties. It will be based on new and innovative technology in formal reasoning and proofs. Reservoir’s role […]