IDVE: an Integrated Development and Verification Environment for JavaScript (PX/19) - ‹Programming› 2019

Mon 1 - Thu 4 April 2019 Genoa, Italy

Who

Christopher Schuster, Cormac Flanagan

Track

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

Mon 1 Apr 2019 09:00 - 09:30 at Michelangelo - Session 1 Chair(s): Jens Lincke

Christopher Schuster

University of California, Santa Cruz

United States

Cormac Flanagan

University of California, Santa Cruz

Ireland

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

Mon 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 10:30	Session 1PX/19 at Michelangelo Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany

	09:00 30m Talk		IDVE: an Integrated Development and Verification Environment for JavaScript PX/19 Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz
	09:30 30m Talk		Draw This Object: A Study of Debugging Representations PX/19 Matúš Sulír Technical University of Košice, Ján Juhár Pre-print
	10:00 30m Talk		Faster Feedback through Lexical Test Prioritization PX/19 Toni Mattis Hasso Plattner Institute, University of Potsdam, Falco Dürsch , Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany