Reservoir Labs Presents at HPEC 2019

On September 25 and 26, Reservoir Labs will present five papers at The IEEE 2019 High Performance Exascale Computing Conference (HPEC 2019) on topics of emerging interest including Graphs, Networks & Sparse Data, HPC, Advanced Sensing, and AI. The following papers will be presented: Combinatorial Multigrid: Advanced Preconditioners For Ill-Conditioned Linear SystemsFast Large-Scale Algorithm for Electromagnetic Wave Propagation in 3D Media Fast and […]

IEEE HPEC ’16: Reservoir Labs Presentations

At the upcoming IEEE HPEC 2016 Conference, Reservoir Labs will share new approaches and techniques from the past year, addressing key developments and insights into high performance embedded computing. Please join us for our fourteenth year at this premier conference. Reservoir Labs’ experts will present the following research on September 15–17, 2016 at Westin Waltham Hotel in […]

Dr. Ramananandro Presenting at High-Confidence Software and Systems (HCSS) Conference

We are pleased to announce that Dr. Tahina Ramananandro, Senior Engineer at Reservoir Labs, will present at the High-Confidence Software and Systems (HCSS) Conference at 10:00AM EST on Thursday, May 12, 2016. The conference is held at the Governor Calvert House, Historic Inns of Annapolis, Annapolis, MD and is sponsored by the Cyber-Physical Systems Virtual Organization (CPS-VO). Dr. Ramananandro’s presentation, Formal Verification […]

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’s Presentations at HPEC 2015

We’re happy to have several papers being presented at the 2015 High-Performance Extreme Computing Conference (HPEC). Wednesday, September 16 – Graphs & Sparse Data 2 Session (3:00-4:40) at Eden Vale C1: Jonathon Cai of Yale University will present our jointly written paper, “Optimization of Symmetric Tensor Computations.” Wednesday, September 16 – Manycore Computing 2 Session […]

Reservoir Labs at HPEC 2015

Join Reservoir Labs this year at High Performance Extreme Computing conference from September 15 – 17, held at the Westin Waltham Boston hotel in Massachusetts. HPEC 2015 is the premier conference on the convergence of high performance computing and embedded computing for networking, sensor processing and big data.  Reservoir Labs will be presenting three papers describing […]

New Results in Communication-Avoiding Fast Fourier Transform

9/4/2013 Reservoir Labs researchers will be presenting results for reducing the amount of energy consumed in computing Fast Fourier Transforms (FFTs) at the High Performance Extreme Computing conference in Waltham, MA on Sep 11. Reservoir’s results are based on utilizing an algorithm from MIT’s professor Alan Edelman and his collaborators Peter McCorquodale and Sivan Toledo […]

Reservoir Labs Delivers Powerful Advances In SCA Compliance Testing

03/15/13 R-Check® SCA support for Linux and partnership with Spectrum Signal Processing announced NEW YORK, March 15, 2013 /PRNewswire/ — Reservoir Labs today announced the latest  release of R-Check® SCA, now available for both Windows® and Linux®, addressing the growing demand by software defined radio (SDR) developers for SCA compliance testing solutions. As part of today’s announcement, […]