{"273841":{"#nid":"273841","#data":{"type":"event","title":"SCS Talk: Xi Wang, Massachusetts Institute of Technology","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ESPEAKER:\u0026nbsp;\u003Cbr \/\u003EXi Wang, Massachusetts Institute of Technology\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cbr \/\u003E\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETITLE:\u0026nbsp;\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EHow Compiler Optimizations Make Our Systems Vulnerable: Understanding and Mitigating a New Class of Security Bugs\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EABSTRACT:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003ESoftware bugs introduce security vulnerabilities into our computer systems.\u0026nbsp; To understand and mitigate an increasing number of bugs, practitioners categorize them into classes, such as buffer overflow or SQL injection, and handle each class separately.\u003C\/p\u003E\u003Cp\u003EThis talk introduces a new class of bugs called unstable code: code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program.\u0026nbsp; I will discuss its prevalence and security impact in systems, and present a systematic approach for reasoning about unstable code, as well as a static checker called Stack that implements this approach to precisely identify unstable code in real systems.\u0026nbsp; Applying Stack to widely used software has uncovered 160 new bugs that have been confirmed and fixed by developers.\u0026nbsp; It has also been adopted by several companies to scan their code bases.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBIO:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EXi Wang is a PhD candidate in Computer Science at MIT, advised by M. Frans Kaashoek and Nickolai Zeldovich. His research interests are in building secure and reliable systems.\u0026nbsp; He was awarded a Best Paper Award at SOSP 2013, a Best Student Paper Award at EuroSys 2008, and an MIT Jacobs Presidential Fellowship in 2008.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"How Compiler Optimizations Make Our Systems Vulnerable: Understanding and Mitigating a New Class of Security Bugs"}],"uid":"27734","created_gmt":"2014-02-04 20:27:27","changed_gmt":"2016-10-08 02:06:44","author":"Antonette Benford","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2014-03-03T10:00:00-05:00","event_time_end":"2014-03-03T11:00:00-05:00","event_time_end_last":"2014-03-03T11:00:00-05:00","gmt_time_start":"2014-03-03 15:00:00","gmt_time_end":"2014-03-03 16:00:00","gmt_time_end_last":"2014-03-03 16:00:00","rrule":null,"timezone":"America\/New_York"},"extras":["free_food"],"hg_media":{"273561":{"id":"273561","type":"image","title":"Xi Wang, Massachusetts Institute of Technology","body":null,"created":"1449244112","gmt_created":"2015-12-04 15:48:32","changed":"1475894964","gmt_changed":"2016-10-08 02:49:24","alt":"Xi Wang, Massachusetts Institute of Technology","file":{"fid":"198703","name":"xi_wang_col.jpg","image_path":"\/sites\/default\/files\/images\/xi_wang_col_0.jpg","image_full_path":"http:\/\/www.tlwarc.hg.gatech.edu\/\/sites\/default\/files\/images\/xi_wang_col_0.jpg","mime":"image\/jpeg","size":42275,"path_740":"http:\/\/www.tlwarc.hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/xi_wang_col_0.jpg?itok=hY3onC6V"}}},"media_ids":["273561"],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"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\u003EFor more information, please contact Calton Pu at \u003Ca href=\u0022mailto:calton@cc.gatech.edu\u0022\u003Ecalton@cc.gatech.edu\u003C\/a\u003E or 404-385-1106.\u003C\/p\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}