Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

SPLASH-I Logo

SPLASH-I is a series of research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the OOPSLA main track. Talks are open to all attendees.

Dates
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

10:30 - 12:10
Session 1 (SPLASH-E)SPLASH-I at Matterhorn 3
Chair(s): Matthias Hauswirth University of Lugano
10:30
50m
Talk
SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote
SPLASH-I
Simon Peyton Jones Microsoft Research, Cambridge
Media Attached File Attached
11:20
50m
Talk
Snap!: Scheme Disguised as Scratch
SPLASH-I
Brian Harvey University of California, Berkeley
Media Attached
13:30 - 15:10
Session 2 (AGERE)SPLASH-I at Matterhorn 3
Chair(s): Alessandro Ricci University of Bologna, Italy
13:30
1h40m
Talk
Agent-Oriented Programming
SPLASH-I
Amal El Fallah-Segrouchni LIP6, John-Jules Meyer Universiteit Utrecht, Mehdi Dastani , Rafael Bordini PUCRS, Koen Hindriks Delft University of Technology, Netherlands, Rem Collier University College Dublin, Alessandro Ricci University of Bologna, Italy
Media Attached
15:40 - 17:20
Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research
15:40
1h40m
Talk
The elements of decision alignment: Large programs as complex organizations
SPLASH-I
I: Mark Miller Google Inc., I: Bill Tulloh eRights.org
Media Attached

Tue 1 Nov

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

10:30 - 12:10
Session 4 (SPLASH-E)SPLASH-I at Matterhorn 3
Chair(s): Matthias Hauswirth University of Lugano
10:30
1h40m
Talk
Bootstrap: Build Bridges, not Walls
SPLASH-I
Emmanuel Schanzer Brown University
Media Attached
13:30 - 15:10
Session 5SPLASH-I at Matterhorn 3
Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands
13:30
50m
Talk
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
SPLASH-I
Media Attached
14:20
50m
Talk
Designing and Debugging Surveys with SurveyMan
SPLASH-I
Emma Tosch University of Massachusetts, Amherst
Media Attached
15:40 - 17:20
Session 6SPLASH-I at Matterhorn 3
Chair(s): Tiark Rompf Purdue University, USA
15:40
50m
Talk
Type-driven Development in Idris
SPLASH-I
Edwin Brady University of St Andrews
16:30
50m
Talk
Fact or fiction? What software analytics can do for us (developers and researchers)
SPLASH-I
Andy Zaidman TU Delft
Media Attached

Wed 2 Nov

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

10:30 - 12:10
Session 7 (Modeling)SPLASH-I at Matterhorn 3
Chair(s): Laurence Tratt King's College London
10:30
50m
Talk
How Domain Requirements Shape Languages
SPLASH-I
Markus Völter itemis, Germany
Media Attached
11:20
50m
Talk
Making Mendix Meta Model Driven
SPLASH-I
Jos Warmer Independent
13:30 - 15:10
Session 8SPLASH-I at Matterhorn 3
Chair(s): Ulrik Pagh Schultz University of Southern Denmark
13:30
50m
Talk
Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes
SPLASH-I
Boaz Rosenan University of Haifa, David H. Lorenz Open University and Technion IIT
14:20
50m
Talk
The basic skill set of software language engineering
SPLASH-I
Ralf Laemmel University of Koblenz-Landau, Germany
Media Attached
15:40 - 17:20
Session 9SPLASH-I at Matterhorn 3
Chair(s): Ross Tate Cornell University
15:40
50m
Talk
Using Docker Containers to Improve Reproducibility in PL/SE Research
SPLASH-I
Jürgen Cito University of Zurich
Media Attached
16:30
50m
Talk
Adventures in Software Evolution
SPLASH-I
Robert Grimm Goldman Sachs

Thu 3 Nov

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

10:30 - 12:10
Session 10SPLASH-I at Matterhorn 3
Chair(s): Tijs van der Storm CWI & University of Groningen
10:30
50m
Talk
Responsive Language Tooling For Cloud-based IDEs
SPLASH-I
Media Attached
11:20
50m
Talk
Simulating Cities: The Spacetime Framework
SPLASH-I
Crista Lopes University of California, Irvine
Media Attached
13:30 - 15:10
Session 11SPLASH-I at Matterhorn 3
Chair(s): Philipp Haller KTH Royal Institute of Technology
13:30
50m
Talk
Exploratory Analysis in Virtual Reality: The New Frontier
SPLASH-I
Derek Jacoby Qvirt, Yvonne Coady University of Victoria
Media Attached
14:20
50m
Talk
Truffle and Graal: Fast Programming Languages With Modest Effort
SPLASH-I
Chris Seaton Oracle Labs, Adam Welc Oracle Labs, USA
Media Attached
15:40 - 17:20
Session 12SPLASH-I at Matterhorn 3
Chair(s): Coen De Roover Vrije Universiteit Brussel, Belgium
15:40
50m
Talk
Language Support for Distributed Systems
SPLASH-I
Heather Miller Ecole Polytechnique Federale de Lausanne
16:30
50m
Talk
Pony: Co-designing a Type System and a Runtime
SPLASH-I
Sylvan Clebsch Imperial College London
Media Attached

Fri 4 Nov

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

13:30 - 15:10
Session 14SPLASH-I at Matterhorn 3
Chair(s): Stefan Marr Johannes Kepler University Linz
13:30
50m
Talk
Fast Datalog
SPLASH-I
Todd Veldhuizen LogicBlox
Media Attached File Attached
14:20
50m
Talk
Software Environmentalism
SPLASH-I
Tudor Gîrba feenk.com
Media Attached
15:40 - 17:00
Session 15 (Keynote)SPLASH-I at Matterhorn 2
Chair(s): Eelco Visser Delft University of Technology, Netherlands
15:40
80m
Talk
SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?Keynote
SPLASH-I
Guy L. Steele Jr. Oracle Labs

SPLASH-I

SPLASH-I is a series of research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the conference from Monday to Friday. Talks are open to all attendees.

Talks

Title
Type-driven Development in Idris
SPLASH-I
Adventures in Software Evolution
SPLASH-I
Agent-Oriented Programming
SPLASH-I
Media Attached
Bootstrap: Build Bridges, not Walls
SPLASH-I
Media Attached
Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes
SPLASH-I
Designing and Debugging Surveys with SurveyMan
SPLASH-I
Media Attached
Exploratory Analysis in Virtual Reality: The New Frontier
SPLASH-I
Media Attached
Fact or fiction? What software analytics can do for us (developers and researchers)
SPLASH-I
Media Attached
Fast Datalog
SPLASH-I
Media Attached File Attached
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
SPLASH-I
Media Attached
How Domain Requirements Shape Languages
SPLASH-I
Media Attached
Language Support for Distributed Systems
SPLASH-I
Making Mendix Meta Model Driven
SPLASH-I
Pony: Co-designing a Type System and a Runtime
SPLASH-I
Media Attached
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
SPLASH-I
Media Attached
Responsive Language Tooling For Cloud-based IDEs
SPLASH-I
Media Attached
SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?Keynote
SPLASH-I
SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote
SPLASH-I
Media Attached File Attached
Simulating Cities: The Spacetime Framework
SPLASH-I
Media Attached
Snap!: Scheme Disguised as Scratch
SPLASH-I
Media Attached
Software Environmentalism
SPLASH-I
Media Attached
Stencils: Graphical User Interfaces in Ensō
SPLASH-I
Media Attached
The basic skill set of software language engineering
SPLASH-I
Media Attached
The elements of decision alignment: Large programs as complex organizations
SPLASH-I
Media Attached
Truffle and Graal: Fast Programming Languages With Modest Effort
SPLASH-I
Media Attached
Using Docker Containers to Improve Reproducibility in PL/SE Research
SPLASH-I
Media Attached