<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class="" style="orphans: 2; widows: 2; font-size: large;">UNIVERSITY OF CHICAGO</span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class=""><font size="4" class="">DEPARTMENT OF COMPUTER SCIENCE</font></span></div><div class="" style="orphans: 2; widows: 2;"><span class=""><font size="4" class="">PRESENTS</font></span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div class=""><br class="webkit-block-placeholder"></div><p class="MsoNormal"><o:p class=""> </o:p><img apple-inline="yes" id="3EDC080D-8EBA-46CA-A004-41206C09B2A6" class="" src="cid:A8915DDE-0FF5-4E99-9D3F-B02C03DE2C1C@cs.uchicago.edu"></p><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><b class="">Ravi Chugh</b></font></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><div class="" style="margin: 0in 0in 0.0001pt;"><font size="4" class=""><i class="">University of Chicago</i></font></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><i class=""><p class="MsoNormal" align="center"><o:p class=""></o:p></p></i></span><div class=""><br class=""></div></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class=""><font class=""><font size="4" class=""><b class="">Friday, October 2nd at 3:00 pm</b></font></font></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><br class=""></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Join via zoom </span><br class=""><font color="#0068da" class=""><span class="" style="font-size: 15px;"><u class=""><a href="https://uchicago.zoom.us/j/99702915593" class="">https://uchicago.zoom.us/j/99702915593</a><br class=""></u></span></font><br class=""></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 15px;"><br class=""></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="caret-color: rgb(60, 64, 67); color: rgb(60, 64, 67); font-family: Roboto, Arial, sans-serif; letter-spacing: 0.20000000298023224px; white-space: pre-wrap; background-color: rgb(255, 255, 255); font-size: 15px;">Password: 960546</span><br class=""><span class="" style="font-size: 15px;"> </span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><br class=""></div></div><div class=""><div class=""><font size="4" class=""><font class=""><span class=""><b class="" style="color: rgb(33, 33, 33);">Title: </b></span></font></font><font color="#212121" size="4" class=""><span class=""><b class="">Reimagining the User Interfaces for Programming</b></span></font></div><div class=""><font color="#212121" size="4" class=""><span class=""><b class=""><br class=""></b></span></font></div><div class="" style="color: rgb(33, 33, 33);"><b class=""><font class="" size="4">Abstract:</font></b></div><div class=""><font class=""><span class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><div class=""><font class="" size="4"><span class=""><span id="docs-internal-guid-bf351367-7fff-5067-8c8e-0130cc54a81c" class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class=""><span class=""><span class=""><span class=""><span class=""><span class="" style="white-space: pre-wrap;">Programming environments force users to work primarily with text, even though source code and debugging output are often opaque representations for describing and understanding computation. Most software applications (such as for documents or spreadsheets) force users to work primarily with graphical user interfaces (GUIs), even when direct manipulation of concrete values is no longer a desirable way to describe a computation. My research aims to bridge this gap, so that both expert programmers and novices can harness the expressive power of programming together with the cognitive and usability benefits of GUI-based manipulation.<br class=""><br class="">In this talk, I will describe new programming-language techniques (in bidirectional programming and program synthesis) and human-computer interaction techniques (in programming-by-demonstration and GUI code editors) that contribute towards this long-term goal. Next, I will demonstrate Sketch-n-Sketch, an interactive programming environment based on these techniques for creating basic web applications and vector graphics diagrams. I will conclude with a vision for how continued work at the intersection of PL and HCI might influence the next generation of IDEs for professional developers, as well as software applications at large.</span><br class=""><br class=""></span></span></span></span></span></div></span></span><b class="" style="color: rgb(33, 33, 33);">Bio:</b></font></div></div></span></font></div><div class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><font color="#222222" size="4" class=""><i class="">Ravi Chugh is an Assistant Professor of Computer Science at the University of Chicago (though he has not been seen in his office for 6 months). His research and teaching interests revolve around programming language technology --- program synthesis, types systems, and other program analysis techniques --- particularly as they relate to challenges in software engineering and human-computer interaction. Ravi received an NSF CAREER Award in 2017, and a Neubauer Fellowship from the University of Chicago in 2015 for innovative and effective undergraduate teaching. Ravi obtained his Ph.D. from the University of California, San Diego in 2013. <br class=""></i></font><br class=""></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></body></html>