PPT-Sumit Gulwani Programming by Examples

Applications Algorithms amp Ambiguity Resolution Lecture 4 Miscellaneous Related Topics Winter School in Software Engineering TRDDC Pune Dec 2017 Financial issues in pursuing graduate education. Inputoutput examples are a simple and accessible way of describing program behaviour Program synthesis from inputoutput ex amples has the potential of extending the range of computational tasks achievable by endusers who have no programming knowledg mitedu Sumit Gulwani Microsoft Research Redmond WA sumitgmicrosoftcom Armando SolarLezama MIT CSAIL Cambridge MA asolarcsailmitedu Abstract We present a new method for automatically providing feedback for introductory programming problems In order to in. Invited Talk @ . CBSoft. . Sep 2015. Sumit Gulwani. Data Wrangling . &. . Education. 1. The New Opportunity. Software developer. Traditional customer for PL community. End Users. Two orders of magnitude more computer users.. Dr. Jeyakesavan Veerasamy. CS faculty, University of Texas at Dallas. Email: jeyv@utdallas.edu . Website: www.utdallas.edu/~jeyv. Agenda. Difficulties in attracting students to STEM careers & specifically CS - what can we do?. by Demonstration. Kerry Chang. Human-Computer Interaction Institute. Carnegie Mellon University. 05-899D: Human Aspects of Software Development (HASD. ). Spring 2011 – Lecture 25. History. Direct Manipulation: Allows users to interact with the computer by pointing to objects on the screen and manipulating them using a mouse and keyboard. (Ben . Sumit Gulwani Microsoft Research, Redmond UninterpretedFunctions: Complexity •Complexity of congruence closure : O(nlog n), where n is the size of the input formula –In each step, we merge 2 Invited Talk @ POPL 2015. Sumit Gulwani. Automating. for the Masses. 1. The New Opportunity. End Users. (non-programmers with access to computers). Software developer. 2. orders of magnitude more end users. Marktoberdorf Lectures. August 2015. Sumit Gulwani. Demos of Programming-by-Examples Tools . Dealing with Ambiguity in Example-based specification. 1. Lecture . 1. 2. Programming by Examples. Program synthesis: . Programming by Examples. PLDI Tutorial. June 2016. Core Synthesis Architecture [1 hour by Sumit]. Domain-specific Languages. Search methodology. Ranking function. PROSE Framework [1:15 hours by Alex]. Programming by . Examples:. PL meets ML. Joint work with PROSE team and others. 1. Programming by Examples (PBE). The task of synthesizing a program in an . underlying language. from . example-based specification . Programming using Examples. Keynote at SEMS. July 2016. Motivation. 99% of computer users cannot program! . They struggle with simple repetitive tasks.. 1. Programming by examples (PBE) can revolutionize this landscape!. CBSoft. . Sep 2015. Sumit Gulwani. Data Wrangling . &. . Education. 1. The New Opportunity. Software developer. Traditional customer for PL community. End Users. Two orders of magnitude more computer users.. The Desired Brand Effect Stand Out in a Saturated Market with a Timeless Brand The Desired Brand Effect Stand Out in a Saturated Market with a Timeless Brand