{"273851":{"#nid":"273851","#data":{"type":"event","title":"SCS Talk: Rishabh Singh, Massachusetts Institute of Technology","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ESPEAKER:\u0026nbsp;Rishabh Singh, Massachusetts Institute of Technology\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETITLE: Program Synthesis for the Masses\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EABSTRACT:\u0026nbsp;\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003ENew computing platforms have greatly increased the demand for programmers, but learning to program remains a big challenge. Program synthesis has the potential to revolutionize programming by making it more accessible. My work has focused on two goals: making programming more intuitive through the use of new interfaces, and using automated feedback to help students learn programming.\u003C\/p\u003E\u003Cp\u003EIn this talk, I will present my work on three systems that work towards these goals. The FlashFill system helps end-users perform repetitive data transformations over strings, numbers, and tables using input-output examples. FlashFill was shipped as part of Excel 2013 and was quoted as one of the top features by many press reviews. The Storyboard Programming system helps students write data-structure manipulations using textbook-like visual examples and bridges the gap between high-level insights and low-level code. Finally, the Autograder system provides automated feedback to students on introductory programming assignments, and was successfully run on tens of thousands of programming exercises from edX. I will describe how ideas from advances in constraint-solving, machine learning, and formal verification enabled the new forms of interaction required by these systems.\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBIO:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003ERishabh Singh is a PhD candidate in the Computer Science and Artificial Intelligence Laboratory at MIT. His research interests are broadly in formal methods and programming languages. His PhD work focuses on developing program synthesis techniques for making programming accessible to end-users and students. He is a Microsoft Research PhD fellow and winner of MIT\u0027s William A. Martin Outstanding Master\u0027s thesis Award. He obtained his BTech in Computer Science and Engineering from IIT Kharagpur in 2008, where he was awarded the Institute Silver Medal and Bigyan Sinha Memorial Award. He was also awarded to be Prime Minister\u0027s National Guest at Republic Day Parade, New Delhi in 2005.\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":"Program Synthesis for the Masses"}],"uid":"27734","created_gmt":"2014-02-04 20:36:02","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-02-18T10:00:00-05:00","event_time_end":"2014-02-18T11:00:00-05:00","event_time_end_last":"2014-02-18T11:00:00-05:00","gmt_time_start":"2014-02-18 15:00:00","gmt_time_end":"2014-02-18 16:00:00","gmt_time_end_last":"2014-02-18 16:00:00","rrule":null,"timezone":"America\/New_York"},"extras":["free_food"],"hg_media":{"273621":{"id":"273621","type":"image","title":"Rishabh Singh, 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":"Rishabh Singh, Massachusetts Institute of Technology","file":{"fid":"198704","name":"rishabh_singh.jpg","image_path":"\/sites\/default\/files\/images\/rishabh_singh_0.jpg","image_full_path":"http:\/\/www.tlwarc.hg.gatech.edu\/\/sites\/default\/files\/images\/rishabh_singh_0.jpg","mime":"image\/jpeg","size":61750,"path_740":"http:\/\/www.tlwarc.hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/rishabh_singh_0.jpg?itok=asU3qwHc"}}},"media_ids":["273621"],"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 align=\u0022center\u0022\u003EFor more information please contact Mayur Naik @ (404) 385-4746 \u003Ca href=\u0022mailto:mayur.naik@cc.gatech.edu\u0022\u003Emayur.naik@cc.gatech.edu\u003C\/a\u003E\u0026nbsp; \u0026nbsp;\u0026nbsp;\u003C\/p\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}