Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
VenueMövenpick Hotel Amsterdam City Centre
Room nameWinterthur
Floor0
Capacity30
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 31 Oct

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

08:30 - 10:00
1. Basics & ContextSPLASH-E at Winterthur
Chair(s): Steve Blackburn Australian National University
10:30 - 12:10
2. SPLASH-I talks (room Matterhorn 3!)SPLASH-E at Winterthur
Chair(s): Matthias Hauswirth University of Lugano
10:30
50m
Talk
The dream of a lifetime: Shaping how our children learn computing
SPLASH-E
Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
11:20
50m
Talk
Snap!: Scheme Disguised as Scratch
SPLASH-E
Brian Harvey University of California, Berkeley
13:30 - 15:10
3. Which Concepts to Teach?SPLASH-E at Winterthur
Chair(s): Steve Blackburn Australian National University
15:40 - 17:20
4. How to Teach? (Lesson Plans)SPLASH-E at Winterthur

Tue 1 Nov

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

08:30 - 10:00
Session 1WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
08:30
45m
Talk
Feedback-Directed Instrumentation for Deployed JavaScript Applications
WODA
Frank Tip Samsung Research America
09:15
45m
Talk
JavaScript in the Small
WODA
Cole Schlesinger Samsung Research America
10:30 - 12:10
Session 2WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
10:30
33m
Talk
Inferring test oracles from the Javadoc documentation
WODA
Alessandra Gorla IMDEA Software Institute
11:03
33m
Talk
The high-interest credit card of runtime enforcement
WODA
Ben Livshits Microsoft Research
11:36
33m
Talk
Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications
WODA
Steven Arzt TU Darmstadt, Germany
13:30 - 15:10
Session 3WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
13:30
50m
Talk
Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation
WODA
Ben Liblit University of Wisconsin–Madison
14:20
50m
Talk
What’s going on in the heap?
WODA
Sam Guyer Tufts University
15:40 - 17:20
Session 4WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
15:40
50m
Talk
Metamorphic Testing for Compilers and Program Analysers
WODA
Alastair F. Donaldson Imperial College London
16:30
50m
Talk
From Soundiness to Soundness
WODA
Yannis Smaragdakis University of Athens

Thu 3 Nov

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

15:40 - 17:20
TalksStudent Research Competition at Winterthur
Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada
15:40
1h40m
Talk
Phase 3 Talks
Student Research Competition

Mon 31 Oct

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

Tue 1 Nov

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Winterthur

Thu 3 Nov

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

Mon 31 Oct

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

Thu 3 Nov

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

Room15:0015304516:0015304517:00153045
Winterthur