Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments (* ICSE 2018 * - Technical Papers ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Sahil Bhatia, Pushmeet Kohli, Rishabh Singh

Track

* ICSE 2018 * Technical Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 30 May 2018 11:00 - 11:20 at G1 room - Software Evolution and Maintenance I Chair(s): Chanchal K. Roy

Sahil Bhatia

Pushmeet Kohli

Microsoft Research

Rishabh Singh

Google Brain

United States

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:00 - 12:30	Software Evolution and Maintenance ITechnical Papers / Journal first papers at G1 room Chair(s): Chanchal K. Roy University of Saskatchewan

	11:00 20m Talk		Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Technical Papers Sahil Bhatia , Pushmeet Kohli Microsoft Research, Rishabh Singh Google Brain
	11:20 20m Talk		Automated Localization for Unreproducible Builds Technical Papers Zhilei Ren , He Jiang , Jifeng Xuan , Zijiang Yang Western Michigan University
	11:40 20m Talk		Enlightened Debugging Technical Papers Xiangyu Li Georgia Institute of Technology, Shaowei Zhu Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech Pre-print File Attached
	12:00 20m Research paper		Experiences and Challenges in Building a Data Intensive System for Data Migration Journal first papers Marco Scavuzzo Politecnico di Milano, Elisabetta Di Nitto Politecnico di Milano, Danilo Ardagna Link to publication DOI
	12:20 10m Talk		Q&A in groups Technical Papers