Archive: Reasoning about Approximate Computing Abstract

Michael Carbin, Ph.D. Candidate in Electrical Engineering and Computer Science at MIT, presents on Rely, a program verification and analysis system. Many modern applications implement large-scale computations where there is a natural trade-off between the quality of results that computations produce and the performance and cost of executing the computation. Researchers have recently developed a variety of new mechanisms that automatically chance the structure and execution of an application to enable it to meet its performance requirements. Rely uses a novel verification approach that makes it possible to verify the safety, security, and accuracy of the approximate applications that these mechanisms produce. Michael Carbin, Ph.D. Candidate in Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) 5/6/2014 http://www.cs.washington.edu/ The University of Washington is committed to ensuring digital accessibility in our services, programs, and activities. If you encounter accessibility barriers using videos found on this channel, please contact UW Video at uwvideo [at] uw [dot] edu.