‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Mon 1 Apr 2019 10:00 - 10:30 at Michelangelo - Session 1 Chair(s): Jens Lincke

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