{"285931":{"#nid":"285931","#data":{"type":"event","title":"SCS Talk: Michael Carbin, Massachusetts Institute of Technology","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ESpeaker:\u0026nbsp;\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EMichael Carbin, Massachusetts Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETitle:\u0026nbsp;\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EVerified Approximate Computing\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cbr \/\u003E\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EMany modern applications implement large-scale computations (e.g., machine learning, big data analytics, and financial analysis) in which there is a natural trade-off between the quality of the results that the computation produces, and the performance and cost of executing the computation. Exploiting this fact, researchers have recently developed a variety of new mechanisms that automatically manipulate an application to enable it to execute at a variety of points in its underlying trade-off space. The resulting approximate application can navigate this trade-off space to meet its performance and cost requirements.\u003C\/p\u003E\u003Cp\u003EI present a program verification and analysis system, Rely, for answering fundamental questions that arise when manipulating an application that implements an approximate computation. Examples of the questions that Rely is designed to answer include: What is the probability that the approximate application produces the same result as the original application? How much do the approximate application\u2019s results differ from those of the original application? And is the approximate application safe and secure?\u003C\/p\u003E\u003Cp\u003ERely answers these questions with a novel analysis and verification method for reasoning about the safety and accuracy of approximate applications. Rely also provides a novel language and program analysis for verifying quantitative reliability: the probability that the new approximate application produces the same result as the original computation.\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cbr \/\u003E\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBio:\u0026nbsp;\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cem\u003EMichael Carbin is a Ph.D. Candidate in Electrical Engineering and Computer Science at MIT. Michael started his research career as undergraduate student, working on BDD-based program analysis at Stanford University and on type-safe compile-time metaprogramming at Microsoft Research.\u0026nbsp; His work at Stanford received an award for Best Computer Science Undergraduate Honors Thesis.\u0026nbsp; \u003C\/em\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cem\u003EAs a graduate student, Michael has worked as a MIT Lemelson Presidential Fellow and a Microsoft Research Graduate Fellow on both the theory and practice of verified approximate computing and software self-healing. His recent research on verifying the reliability of programs that execute on unreliable hardware won a best paper award at OOPSLA 2013: Object-Oriented Programming, Systems, Languages \u0026amp; Analysis.\u003C\/em\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cbr \/\u003E\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cbr \/\u003E\u003C\/strong\u003E\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Verified Approximate Computing"}],"uid":"27734","created_gmt":"2014-03-26 12:51:19","changed_gmt":"2016-10-08 02:07:22","author":"Antonette Benford","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2014-04-10T16:00:00-04:00","event_time_end":"2014-04-10T17:00:00-04:00","event_time_end_last":"2014-04-10T17:00:00-04:00","gmt_time_start":"2014-04-10 20:00:00","gmt_time_end":"2014-04-10 21:00:00","gmt_time_end_last":"2014-04-10 21:00:00","rrule":null,"timezone":"America\/New_York"},"extras":["free_food"],"hg_media":{"277091":{"id":"277091","type":"image","title":"Michael Carbin- MIT","body":null,"created":"1449244151","gmt_created":"2015-12-04 15:49:11","changed":"1475894968","gmt_changed":"2016-10-08 02:49:28","alt":"Michael Carbin- MIT","file":{"fid":"198810","name":"michael_carbin.jpeg","image_path":"\/sites\/default\/files\/images\/michael_carbin_0.jpeg","image_full_path":"http:\/\/www.tlwarc.hg.gatech.edu\/\/sites\/default\/files\/images\/michael_carbin_0.jpeg","mime":"image\/jpeg","size":4260623,"path_740":"http:\/\/www.tlwarc.hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/michael_carbin_0.jpeg?itok=vqGD7KUA"}}},"media_ids":["277091"],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[{"id":"167907","name":"SCS Faculty Recruit Talk"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78771","name":"Public"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003ESantosh Pande, \u003Ca href=\u0022mailto:santosh@cc.gatech.edu\u0022\u003Esantosh@cc.gatech.edu\u003C\/a\u003E, 404.385.2169\u003C\/p\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}