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

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in Amsterdam, The Netherlands.

Keynotes

Invited Talks

Yannis Smaragdakis
From Soundiness to Soundness
Yannis Smaragdakis
Frank Tip
Feedback-Directed Instrumentation for Deployed JavaScript Applications
Frank Tip
Tudor Gîrba
Software Environmentalism
Tudor Gîrba
Crista Lopes
Simulating Cities: The Spacetime Framework
Crista Lopes
Emma Söderberg
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
Emma Söderberg
William Cook
Stencils: Graphical User Interfaces in Ensō
William Cook
Alan Blackwell
PLATEAU Keynote: How to Design a Programming Language
Alan Blackwell
Heather Miller
Language Support for Distributed Systems
Heather Miller
Derek Jacoby
Exploratory Analysis in Virtual Reality: The New Frontier
Derek Jacoby, Yvonne Coady
Brian Harvey
Snap!: Scheme Disguised as Scratch
Brian Harvey
Emmanuel Schanzer
Bootstrap: Build Bridges, not Walls
Emmanuel Schanzer
Markus Völter
How Domain Requirements Shape Languages
Markus Völter
Jos Warmer
Making Mendix Meta Model Driven
Jos Warmer
Sylvan Clebsch
Pony: Co-designing a Type System and a Runtime
Sylvan Clebsch
Ben Liblit
Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation
Ben Liblit
Felienne Hermans
Small, simple and smelly: What we can learn from examining end-user artifacts?
Felienne Hermans
Jürgen Cito
Using Docker Containers to Improve Reproducibility in PL/SE Research
Jürgen Cito
Adam Chlipala
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
Adam Chlipala
Emma Tosch
Designing and Debugging Surveys with SurveyMan
Emma Tosch
Mark Miller
The elements of decision alignment: Large programs as complex organizations
Mark Miller, Bill Tulloh
Sam Guyer
What’s going on in the heap?
Sam Guyer
Ralf Laemmel
The basic skill set of software language engineering
Ralf Laemmel
Edwin Brady
Type-driven Development in Idris
Edwin Brady
Ben Livshits
The high-interest credit card of runtime enforcement
Ben Livshits
Chris Seaton
Truffle and Graal: Fast Programming Languages With Modest Effort
Chris Seaton, Adam Welc
Markus Völter
Keynote: Lessons learned about language engineering from the development of mbeddr
Markus Völter
Andy Zaidman
Fact or fiction? What software analytics can do for us (developers and researchers)
Andy Zaidman
Alastair F. Donaldson
Metamorphic Testing for Compilers and Program Analysers
Alastair F. Donaldson
Robert Grimm
Adventures in Software Evolution
Robert Grimm
Lennart Kats
Responsive Language Tooling For Cloud-based IDEs
Lennart Kats