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
Times are displayed in 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 HauswirthUniversity of Lugano
10:30 - 11:20
Talk
SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote
SPLASH-I
Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached File Attached
11:20 - 12:10
Talk
Snap!: Scheme Disguised as Scratch
SPLASH-I
Brian HarveyUniversity of California, Berkeley
Media Attached
13:30 - 15:10: Session 2 (AGERE)SPLASH-I at Matterhorn 3
Chair(s): Alessandro RicciUniversity of Bologna, Italy
13:30 - 15:10
Talk
Agent-Oriented Programming
SPLASH-I
Amal El Fallah-SegrouchniLIP6, John-Jules MeyerUniversiteit Utrecht, Mehdi Dastani, Rafael BordiniPUCRS, Koen HindriksDelft University of Technology, Netherlands, Rem CollierUniversity College Dublin, Alessandro RicciUniversity of Bologna, Italy
Media Attached
15:40 - 17:20: Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
15:40 - 17:20
Talk
The elements of decision alignment: Large programs as complex organizations
SPLASH-I
I: Mark MillerGoogle Inc., I: Bill TulloheRights.org
Media Attached

Tue 1 Nov
Times are displayed in 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 HauswirthUniversity of Lugano
10:30 - 12:10
Talk
Bootstrap: Build Bridges, not Walls
SPLASH-I
Emmanuel SchanzerBrown University
Media Attached
13:30 - 15:10: Session 5SPLASH-I at Matterhorn 3
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
13:30 - 14:20
Talk
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
SPLASH-I
Media Attached
14:20 - 15:10
Talk
Designing and Debugging Surveys with SurveyMan
SPLASH-I
Emma ToschUniversity of Massachusetts, Amherst
Media Attached
15:40 - 17:20: Session 6SPLASH-I at Matterhorn 3
Chair(s): Tiark RompfPurdue University, USA
15:40 - 16:30
Talk
Type-driven Development in Idris
SPLASH-I
Edwin BradyUniversity of St Andrews
16:30 - 17:20
Talk
Fact or fiction? What software analytics can do for us (developers and researchers)
SPLASH-I
Andy ZaidmanTU Delft
Media Attached

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 7 (Modeling)SPLASH-I at Matterhorn 3
Chair(s): Laurence TrattKing's College London
10:30 - 11:20
Talk
How Domain Requirements Shape Languages
SPLASH-I
Markus Völteritemis, Germany
Media Attached
11:20 - 12:10
Talk
Making Mendix Meta Model Driven
SPLASH-I
Jos WarmerIndependent
13:30 - 15:10: Session 8SPLASH-I at Matterhorn 3
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
13:30 - 14:20
Talk
Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes
SPLASH-I
Boaz RosenanUniversity of Haifa, David H. LorenzOpen University and Technion IIT
14:20 - 15:10
Talk
The basic skill set of software language engineering
SPLASH-I
Ralf LaemmelUniversity of Koblenz-Landau, Germany
Media Attached
15:40 - 17:20: Session 9SPLASH-I at Matterhorn 3
Chair(s): Ross TateCornell University
15:40 - 16:30
Talk
Using Docker Containers to Improve Reproducibility in PL/SE Research
SPLASH-I
Jürgen CitoUniversity of Zurich
Media Attached
16:30 - 17:20
Talk
Adventures in Software Evolution
SPLASH-I
Robert GrimmGoldman Sachs

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 10SPLASH-I at Matterhorn 3
Chair(s): Tijs van der StormCWI & University of Groningen
10:30 - 11:20
Talk
Responsive Language Tooling For Cloud-based IDEs
SPLASH-I
Media Attached
11:20 - 12:10
Talk
Simulating Cities: The Spacetime Framework
SPLASH-I
Crista LopesUniversity of California, Irvine
Media Attached
13:30 - 15:10: Session 11SPLASH-I at Matterhorn 3
Chair(s): Philipp HallerKTH Royal Institute of Technology
13:30 - 14:20
Talk
Exploratory Analysis in Virtual Reality: The New Frontier
SPLASH-I
Derek JacobyQvirt, Yvonne CoadyUniversity of Victoria
Media Attached
14:20 - 15:10
Talk
Truffle and Graal: Fast Programming Languages With Modest Effort
SPLASH-I
Chris SeatonOracle Labs, Adam WelcOracle Labs, USA
Media Attached
15:40 - 17:20: Session 12SPLASH-I at Matterhorn 3
Chair(s): Coen De RooverVrije Universiteit Brussel, Belgium
15:40 - 16:30
Talk
Language Support for Distributed Systems
SPLASH-I
Heather MillerEcole Polytechnique Federale de Lausanne
16:30 - 17:20
Talk
Pony: Co-designing a Type System and a Runtime
SPLASH-I
Sylvan ClebschImperial College London
Media Attached

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 13 (Languages)SPLASH-I at Matterhorn 3
Chair(s): Craig AnslowMiddlesex University, UK
10:30 - 11:20
Talk
Stencils: Graphical User Interfaces in Ensō
SPLASH-I
William CookUT Austin
Media Attached
11:20 - 12:10
Talk
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
SPLASH-I
Adam ChlipalaMIT CSAIL
Media Attached
13:30 - 15:10: Session 14SPLASH-I at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
13:30 - 14:20
Talk
Fast Datalog
SPLASH-I
Media Attached File Attached
14:20 - 15:10
Talk
Software Environmentalism
SPLASH-I
Tudor Gîrbafeenk.com
Media Attached
15:40 - 17:00: Session 15 (Keynote)SPLASH-I at Matterhorn 2
Chair(s): Eelco VisserDelft University of Technology, Netherlands
15:40 - 17:00
Talk
SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?Keynote
SPLASH-I

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