Welcome to SPLASH 2016!
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.
- Planning your attendance
- Register to attend the conference
- Speakers: All projectors at the conference will have 16:9 aspect ratio
Keynotes
![Benjamin C. Pierce](https://2016.splashcon.org/getProfileImage/benjamincpierce/256c071a-3ba3-460e-b964-6156153a5bdd/avatar.jpg?1711468177000)
SPLASH 2016 Keynote: The Science of Deep Specification
Benjamin C. Pierce
![Martin Odersky](https://2016.splashcon.org/getProfileImage/martinodersky/ed75feb4-0c8b-4256-bf8f-6491afc80ab6/avatar.jpg?1711477074000)
SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As Modules
Martin Odersky
![Amy Ko](https://2016.splashcon.org/getProfileImage/amyko/ebfa9c04-71b4-4f3d-9da5-ecebce6d7acd/avatar.jpg?1711501902000)
SPLASH 2016 Keynote: A Human View of Programming Languages
Amy Ko
![Simon Peyton Jones](https://2016.splashcon.org/getProfileImage/simonpeytonjones/2c61396e-423a-43c8-83c4-81872ce37f80/avatar.jpg?1711458441000)
SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computing
Simon Peyton Jones
![Guy L. Steele Jr.](https://2016.splashcon.org/getProfileImage/guylsteelejr/ad5264ea-e27b-4f9a-8f05-dc43a1298204/avatar.jpg?1711479002000)
SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?
Guy L. Steele Jr.
![Robert Bruce Findler](https://2016.splashcon.org/getProfileImage/robbyfindler/4bf3e052-d024-4142-a8f6-fbcc298ea17b/avatar.jpg?1711458595000)
SLE 2016 Keynote: Redex: Lightweight Semantics Engineering
Robert Bruce Findler
![Tiark Rompf](https://2016.splashcon.org/getProfileImage/tiarkrompf/5d9a42be-0208-4c50-bfba-382dd5cb6204/avatar.jpg?1711458303000)
GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!
Tiark Rompf
![Ross McIlroy](https://2016.splashcon.org/getProfileImage/rossmcilroy/9c8ba72e-ec98-4894-b4d1-533439e84b51/avatar.jpg?1711989521000)
DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8
Ross McIlroy
Invited Talks
![William Cook](https://2016.splashcon.org/getProfileImage/williamcook/60fb20d6-2179-4965-82d3-054efa3db47e/avatar.jpg?1711478448000)
Stencils: Graphical User Interfaces in Ensō
William Cook
![Yannis Smaragdakis](https://2016.splashcon.org/getProfileImage/yannissmaragdakis/950b119c-6d23-4b17-a696-277ccbcefdc3/avatar.jpg?1711460890000)
From Soundiness to Soundness
Yannis Smaragdakis
![Derek Jacoby](https://2016.splashcon.org/getProfileImage/derekjacoby/27f18226-c2fe-4187-8ee5-e24b525be708/avatar.jpg?1711522477000)
Exploratory Analysis in Virtual Reality: The New Frontier
Derek Jacoby, Yvonne Coady
![Emmanuel Schanzer](https://2016.splashcon.org/getProfileImage/emmanuelschanzer/adfe3455-bcbc-4cf2-97a0-9f034d666b88/avatar.jpg?1711585009000)
Bootstrap: Build Bridges, not Walls
Emmanuel Schanzer
![Andy Zaidman](https://2016.splashcon.org/getProfileImage/andyzaidman/ddcdda16-6523-4041-ae91-afa382f3039f/avatar.jpg?1711453903000)
Fact or fiction? What software analytics can do for us (developers and researchers)
Andy Zaidman
![Sylvan Clebsch](https://2016.splashcon.org/getProfileImage/sylvanclebsch/1a9819f3-1e95-455b-a7a2-303ac1b427e5/avatar.jpg?1711505888000)
Pony: Co-designing a Type System and a Runtime
Sylvan Clebsch
![Ben Livshits](https://2016.splashcon.org/getProfileImage/benjaminlivshits/d1757c2f-5dba-4a15-b39b-9bd4eab16c3a/avatar.jpg?1711509286000)
The high-interest credit card of runtime enforcement
Ben Livshits
![Crista Lopes](https://2016.splashcon.org/getProfileImage/cristalopes/8b501174-6517-4f1b-9a59-9e59f57d113a/avatar.jpg?1711482902000)
Simulating Cities: The Spacetime Framework
Crista Lopes
![Heather Miller](https://2016.splashcon.org/getProfileImage/heathermiller/5470f06d-e4a1-4142-aa4a-5c7f7aa8c8b9/avatar.jpg?1711468263000)
Language Support for Distributed Systems
Heather Miller
![Ben Liblit](https://2016.splashcon.org/getProfileImage/benliblit/adc58049-011b-4f19-b6df-bbd7850515d8/avatar.jpg?1711461827000)
Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation
Ben Liblit
![Sam Guyer](https://2016.splashcon.org/getProfileImage/samguyer/4e3da0ec-5bbf-4f0f-a8b7-1cba312110b8/avatar.jpg?1711491630000)
What’s going on in the heap?
Sam Guyer
![Edwin Brady](https://2016.splashcon.org/getProfileImage/edwinbrady/550b50a8-47ea-423b-b09a-84a4bda79ebb/avatar.jpg?1711682020000)
Type-driven Development in Idris
Edwin Brady
![Jos Warmer](https://2016.splashcon.org/getProfileImage/joswarmer/92b97fce-7ad8-41c4-befe-2982ebc0dc03/avatar.jpg?1716887998000)
Making Mendix Meta Model Driven
Jos Warmer
![Markus Völter](https://2016.splashcon.org/getProfileImage/markusvlter/a380d64f-cbd8-4bad-9974-4a6fd1c7fb9f/avatar.jpg?1711537491000)
How Domain Requirements Shape Languages
Markus Völter
![Emma Tosch](https://2016.splashcon.org/getProfileImage/emmatosch/ad5dba44-1c48-4d17-b229-3d5a8ebf7644/avatar.jpg?1711497441000)
Designing and Debugging Surveys with SurveyMan
Emma Tosch
![Chris Seaton](https://2016.splashcon.org/getProfileImage/chrisseaton/c3defaf7-3438-49cb-901d-4fda6803e2b2/avatar.jpg?1711593649000)
Truffle and Graal: Fast Programming Languages With Modest Effort
Chris Seaton, Adam Welc
![Jürgen Cito](https://2016.splashcon.org/getProfileImage/jurgencito/5f361e9a-cf12-438e-88c0-05bfdd0ee3f1/avatar.jpg?1717940170000)
Using Docker Containers to Improve Reproducibility in PL/SE Research
Jürgen Cito
![Tudor Gîrba](https://2016.splashcon.org/getProfileImage/tudorgirba/c39658b2-c86f-4c62-a57d-57f158cc5b51/avatar.jpg?1711563325000)
Software Environmentalism
Tudor Gîrba
![Ralf Laemmel](https://2016.splashcon.org/getProfileImage/ralflammel/302d571f-01c8-4854-8a58-0cddfc7f2512/avatar.jpg?1714418254000)
The basic skill set of software language engineering
Ralf Laemmel
![Alan Blackwell](https://2016.splashcon.org/getProfileImage/alanblackwell/e8a6eae0-d87c-41ed-9a91-f0787f30ad33/avatar.jpg?1711460113000)
PLATEAU Keynote: How to Design a Programming Language
Alan Blackwell
![Emma Söderberg](https://2016.splashcon.org/getProfileImage/emmasoderberg/2edc9865-4e98-41ee-a89e-1568465852e0/avatar.jpg?1711455899000)
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
Emma Söderberg
![Brian Harvey](https://2016.splashcon.org/getProfileImage/brianharvey/992b4b33-85e6-41ef-aa8d-b1a22b55a73a/avatar.jpg?1712425676000)
Snap!: Scheme Disguised as Scratch
Brian Harvey
![Frank Tip](https://2016.splashcon.org/getProfileImage/franktip/41a6c2c2-8e55-4d9e-ba59-2a3e2ea6c6ff/avatar.jpg?1711501502000)
Feedback-Directed Instrumentation for Deployed JavaScript Applications
Frank Tip
![Alastair F. Donaldson](https://2016.splashcon.org/getProfileImage/alastairdonaldson/12efeabf-2300-4469-9d09-c5b6c1e51e7d/avatar.jpg?1711465325000)
Metamorphic Testing for Compilers and Program Analysers
Alastair F. Donaldson
![Mark Miller](https://2016.splashcon.org/getProfileImage/markmiller/9cec3524-902d-4128-b719-b29659e35f47/avatar.jpg?1711484125000)
The elements of decision alignment: Large programs as complex organizations
Mark Miller, Bill Tulloh
![Lennart Kats](https://2016.splashcon.org/getProfileImage/lennartkats/a7941a26-a10c-4424-b22e-8ef2f3fb8f0d/avatar.jpg?1718189395000)
Responsive Language Tooling For Cloud-based IDEs
Lennart Kats
![Robert Grimm](https://2016.splashcon.org/getProfileImage/robertgrimm/740f485a-7006-4044-988e-815570b82def/avatar.jpg?1711632335000)
Adventures in Software Evolution
Robert Grimm
![Markus Völter](https://2016.splashcon.org/getProfileImage/markusvlter/a380d64f-cbd8-4bad-9974-4a6fd1c7fb9f/avatar.jpg?1711537491000)
Keynote: Lessons learned about language engineering from the development of mbeddr
Markus Völter
![Adam Chlipala](https://2016.splashcon.org/getProfileImage/adamchlipala/db7c1822-407a-42ce-a921-ab7766b3558e/avatar.jpg?1711464699000)
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
Adam Chlipala
![Felienne Hermans](https://2016.splashcon.org/getProfileImage/feliennehermans/d882074d-ed55-4e2b-a5cf-1d8008655cf5/avatar.jpg?1711613256000)
Small, simple and smelly: What we can learn from examining end-user artifacts?
Felienne Hermans
Events & Chairs
General Chair: Eelco Visser
OOPSLA Program Chair: Yannis Smaragdakis
OOPSLA Artifact Evaluation Chairs: Michael Bond, Michael Hind
Onward! Papers Chair: Emerson Murphy-Hill
Onward! Essays Chair: Crista Lopes
SPLASH-E Program Chairs: Matthias Hauswirth, Steve Blackburn
SPLASH-I Track Chairs: Tijs van der Storm, Eelco Visser
DLS Papers Program Chair: Roberto Ierusalimschy
Scala Chairs: Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche
SLE General Chair: Tijs van der Storm
SLE Program Chairs: Emilie Balland, Daniel Varro
GPCE General Chair: Bernd Fischer
GPCE Program Chair: Ina Schaefer
Workshops Chairs: Craig Anslow, Jan Rellermeyer
SRC Chairs: Sam Guyer, Patrick Lam
Posters Chairs: Jeff Huang, Sebastian Erdweg
Sponsorship Chair: Jurgen Vinju
Publications Chair: Alex Potanin
Publicity Chair: Tijs van der Storm, Ronald Garcia