Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview (PLATEAU 2018)

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

Who

Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh

Track

PLATEAU 2018

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Save

When

Mon 5 Nov 2018 15:55 - 16:00 at Beacon Hill - Interactive Tools & Breakout Chair(s): Sarah E. Chasins

Junho Lee

Korea University

Dowon Song

Korea University

Sunbeom So

Korea University

Hakjoo Oh

Korea University

Korea, South

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00	Interactive Tools & BreakoutPLATEAU at Beacon Hill Chair(s): Sarah E. Chasins University of California, Berkeley

15:30 25m Talk		Interactive Extraction of Examples from Existing Code PLATEAU Andrew Head UC Berkeley
15:55 5m Talk		Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview PLATEAU Junho Lee Korea University, Dowon Song Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
16:00 5m Talk		One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview PLATEAU James Koppel MIT, Varot Premtoon MIT, Armando Solar-Lezama MIT CSAIL
16:05 5m Talk		Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview PLATEAU Akio Oka Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology
16:10 50m Other		Breakout Discussion PLATEAU