Technical Research: Synthesis
Wednesday May 18, 4:00 pm - 5:30 pm
Session Chair: Victor Braberman
Room: San Antonio
04:00 - 04:20 PM ― Program Synthesis Using Natural Language
- Aditya Desai, IIT Kanpur (now at Tower Research), India
- Sumit Gulwani, Microsoft Research, United States
- Vineet Hingorani, IIT Kanpur (now at SAP), India
- Nidhi Jain, IIT Kanpur (now at Intel), India
- Amey Karkare, IIT Kanpur, India
- Mark Marron, Microsoft Research, United States
- Sailesh Ramayanam, IIT Kanpur (now at Intel), India
- Subhajit Roy, IIT Kanpur, India, India
04:20 - 04:40 PM ― SWIM: Synthesizing What I Mean
- Mukund Raghothaman, University of Pennsylvania, United States
- Yi Wei, Microsoft Research, Cambridge, United Kingdom
- Youssef Hamadi, Microsoft Research, Cambridge, United Kingdom
04:40 - 05:00 PM ― Cross-Supervised Synthesis of Web-Crawlers
- Adi Omari, Technion - Israel Institute of Technology, Israel
- Sharon Shoham, Academic College of Tel Aviv Yaffo, Israel
- Eran Yahav, Technion - Israel Institute of Technology, Israel
05:00 - 05:20 PM ― Automatic Model Generation from Documentation for Java API Functions
- Juan Zhai, Nanjing University, China
- Jianjun Huang, Purdue University, United States
- Shiqing Ma, Purdue University, United States
- Xiangyu Zhang, Purdue University, United States
- Lin Tan, University of Waterloo, Canada
- Jianhua Zhao, Nanjing University, China
- Feng Qin, Ohio State University, United States