‹Programming› 2019 (series) / PX/19 (series) /
PX/19 Program
This is the PX/19 program - see the full program for ‹Programming› 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 30mTalk | 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 30mTalk | Draw This Object: A Study of Debugging Representations PX/19 Pre-print | ||
10:00 30mTalk | 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 |
11:00 - 12:30 | |||
11:00 30mTalk | Live Software Development --- Tightening the feedback loops PX/19 Ademar Aguiar FEUP, Universidade do Porto, André Restivo LIACC, Universidade do Porto, Porto, Portugal, Filipe Figueiredo Correia University of Porto, Hugo Sereno Ferreira FEUP, Universidade do Porto, João Pedro Dias INESC TEC, Porto | ||
11:30 30mTalk | The Meager Validation of Live Programming PX/19 Johan Fabry Raincode Labs, Belgium | ||
12:00 30mTalk | PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM PX/19 Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Eva Krebs , Christian Flach Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany DOI Pre-print |
14:00 - 15:30 | |||
14:00 30mTalk | Time Series Analysis of Programmer’s EEG for Debug State Classifcation PX/19 | ||
14:30 30mTalk | Projectional DSLs from the ground up PX/19 Meinte Boersma Dutch Tax and Customs Agency | ||
15:00 30mTalk | What can we learn from systems? PX/19 |