{"643857":{"#nid":"643857","#data":{"type":"event","title":"SCS Seminar Talk: Manuel Rigger","body":[{"value":"\u003Cp\u003ETITLE: \u003Cem\u003ERobustifying Data-Centric Systems\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003EABSTRACT:\u003C\/p\u003E\r\n\r\n\u003Cp\u003EData is eating the world. Systems for storing and processing data, such as database\u003Cbr \/\u003E\r\nmanagement systems (DBMSs), are thus pivotal for our computing infrastructure. It is critical\u003Cbr \/\u003E\r\nthat they function correctly \u0026mdash; incorrectly computed results (e.g., by omitting a row) can cause\u003Cbr \/\u003E\r\nserious loss or damage. Despite their importance, finding such logic bugs in production DBMSs is a longstanding challenge. This talk presents novel, general approaches to effectively detecting logic bugs in DBMSs by tackling the test oracle problem, i.e., deciding whether the returned result for a query is correct. These approaches were realized as the SQLancer open-source tool, which was evaluated on widely-used, production-quality DBMSs, such as SQLite, MySQL, and PostgreSQL. To date, SQLancer has found over 450 unique previously unknown bugs in these systems, most of which have been fixed by the developers. This body of work has provided solid methodological and technical bases for effectively testing DBMSs and has already been widely adopted by industry. Many reliability challenges remain, not only for DBMSs, but also for other data-centric systems. The heterogeneous landscape in this space provides an exciting, fertile ground for new, practically relevant research for improving the reliability and performance of our society\u0026rsquo;s data processing infrastructure\u003C\/p\u003E\r\n\r\n\u003Cp\u003EBIO:\u003C\/p\u003E\r\n\r\n\u003Cp\u003EManuel Rigger is a postdoctoral researcher in the Advanced Software Technologies (AST)\u003Cbr \/\u003E\r\nLab at ETH Zurich, mentored by Zhendong Su. His research goal is to make software more\u003Cbr \/\u003E\r\nreliable by developing practical and principled approaches to tackle important challenges related to correctness, performance, and security. He draws on and contributes to the software engineering, systems, programming languages, and compilers fields. His recent work has focused on automatically testing database management systems, and led to over 450 unique bugs in widely-used systems such as SQLite, MySQL, PostgreSQL, TiDB, and CockroachDB being discovered, most of which have been fixed. He completed his Ph.D. at Johannes Kepler University Linz, mentored by Hanspeter M\u0026ouml;ssenb\u0026ouml;ck, and worked on the safe and efficient execution of unsafe languages (project Sulong). Part of this work was integrated into Oracle\u0026rsquo;s GraalVM to support its execution of LLVM IR.\u003C\/p\u003E\r\n\r\n\u003Cp\u003EJOIN THE TALK HERE: \u003Ca href=\u0022https:\/\/bluejeans.com\/946032411\u0022\u003Ehttps:\/\/bluejeans.com\/946032411\u003C\/a\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Robustifying Data-Centric Systems"}],"uid":"34541","created_gmt":"2021-02-03 22:23:09","changed_gmt":"2021-03-10 15:50:26","author":"Tess Malone","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2021-03-04T11:00:00-05:00","event_time_end":"2021-03-04T12:00:00-05:00","event_time_end_last":"2021-03-04T12:00:00-05:00","gmt_time_start":"2021-03-04 16:00:00","gmt_time_end":"2021-03-04 17:00:00","gmt_time_end_last":"2021-03-04 17:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"hg_media":{"643858":{"id":"643858","type":"image","title":"Manuel Rigger","body":null,"created":"1612391233","gmt_created":"2021-02-03 22:27:13","changed":"1612391233","gmt_changed":"2021-02-03 22:27:13","alt":"Manuel Rigger","file":{"fid":"244463","name":"manuel.jpg","image_path":"\/sites\/default\/files\/images\/manuel.jpg","image_full_path":"http:\/\/www.tlwarc.hg.gatech.edu\/\/sites\/default\/files\/images\/manuel.jpg","mime":"image\/jpeg","size":756586,"path_740":"http:\/\/www.tlwarc.hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/manuel.jpg?itok=zDXpZhwr"}}},"media_ids":["643858"],"groups":[{"id":"47223","name":"College of Computing"},{"id":"50875","name":"School of Computer Science"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"177814","name":"Postdoc"},{"id":"78771","name":"Public"},{"id":"174045","name":"Graduate students"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003ETess Malone, Communications Officer\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Ca href=\u0022mailto:tess.malone@cc.gatech.edu\u0022\u003Etess.malone@cc.gatech.edu\u003C\/a\u003E\u003C\/p\u003E\r\n","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}