SPLASH 2018

SPLASH 2018
SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
SPLASH Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Series
Series
SPLASH 2026
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Photo by
Rick Berk
Back Bay
Photo by
Emmanuel Huybrechts
The Prudential Tower
Northeastern University
Photo by
Luca Galuzzi
Fenway
MIT
Photo by
Rick Harris
Boston Public Garden
Photo by
Matthias Rosenkranz
Charles River
Leonard P. Zakim Bunker Hill Bridge
Harvard University
Photo by
Rick Berry
Fenway Park
Fenway Park and Citgo sign
Tufts University
Welcome to SPLASH 2018!
The ACM SIGPLAN conference on
Systems, Programming, Languages and Applications: Software for Humanity
embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2018 will take place in Boston from Sunday 4th to Friday 9th of November 2018.
SPLASH includes the following co-located conferences:
OOPSLA
Onward!
GPCE
SLE
, and
DLS
; as well as sixteen workshops.
The
SPLASH-I talk series
features thirty-five talks targeting practitioners. In the evenings, attendees can join one of the eight
meetup groups
held at MIT and Northeastern University.
Students curious about research can attend the
Programming Language Mentoring Workshop
and our
Mentoring Breakfasts
. Students who have some research under their belt can either take part in the
Student Research Competition
or the
Doctoral Symposium
. For educators, the
SPLASH-E
sessions will have invited talks and discussions.
OOSPLA is committed to open and reproducible science. All papers are published in gold open access with
PACMPL
. Scientific claims are evaluated by the
Artifact Evaluation Committee
For video recording of the keynotes and talks of the various SPLASH events, please see this
youtube channel
Invited Speakers
KEYNOTE
KEYNOTE
In Defense of "Little Code"
Kathi Fisler
KEYNOTE
Beauty is the Promise of Happiness
Jenny Quillien
KEYNOTE
A new modularity for software
Daniel Jackson
KEYNOTE
Distributed Abstractions
Barbara Liskov
KEYNOTE
Reasoning about Security of Amazon Web Services
Byron Cook
SPLASH-I
Tangible Abstraction
Sean McDirmid
Better living through incrementality: Immediate static analysis feedback without loss of precision
Sebastian Erdweg, Tamás Szabó
What happened to distributed programming languages?
Heather Miller
Ten Cool Things you might not know about the OpenJDK Java Virtual Machine
Christine H. Flood
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
Adam Chlipala
Probabilistic Programming Paradigms
Vikash Mansinghka
Measuring Microservice Performance: A Shape Not a Number
Daniel Spoonhower
Time-Travel Debugging and Actionable Diagnostics Insights
Mark Marron
Oh, the compilers you will build!
Mark Stoodley
Peering behind the Turing Mirror
Ben L. Titzer
Composable References and the Yoneda Lemma
Jeremy Gibbons
Expanding R Syntax in package space
Jim Hester
Verifying dApp Computations on a Blockchain
François-René Rideau
Low level systems programming in a high level language
Molham Aref
Provably Safe Pointers for a Parallel World
Tucker Taft
Reliable Deployment at Uber Scale
Murali Krishna Ramanathan
Establishing a culture of code review
Peter Burka
Provably Eliminating Exploitable Bugs
Kathleen Fisher
Programming NVM
James Larus
All the languages together
Amal Ahmed
How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats
Richard P. Gabriel
Robustly benchmarking Julia in noisy environments
Jiahao Chen
KEYNOTE
Reasoning about Security of Amazon Web Services
Byron Cook
The Rise of Compilerization
Jeff Bezanson
Andrei Alexandrescu
Automatic Visualization
Leland Wilkinson
Valhalla: Enhancing the JVM with Value Types
Karen Kinnear
Two Decades of Ownership Types
James Noble
Software is eating the world, but ML is going to eat software
John Myles White
Rust: Reach Further
Nicholas Matsakis
All about JavaScriptCore's many compilers
Filip Pizlo
Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient
Laurie Hendren
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
Justin Gottschlich
Conference and Workshops Invited Speakers
Keynote
A New Approach for Software Correctness and Reliability
Martin C. Rinard
Keynote
On the Self in Selfie ⭐️
Christoph Kirsch
Keynote
Deep Learning at Scale
Prabhat
Keynote
DARPA CASE program, motivation and challenges
Raymond Richards
Keynote
Through a Glass, Darkly ⭐️
James Noble
Invited Talk
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
Alexander B. Wiltschko
Keynote
SemanticDB: a common data model for Scala developer tools ⭐️
Eugene Burmako
Keynote
CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software
Robert A. Martin
Keynote
BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️
Erik Stenman
Keynote
How to Make Sparse Fast
Saman Amarasinghe
Schedule at a Glance
Sun, Nov 4
Mon, Nov 5
Tue, Nov 6
Wed, Nov 7
Thu, Nov 8
Fri, Nov 9
BLOCKS+
SPLASH-I
GRACE
GPCE
OOPSLA
REBLS
SLE
VMIL
HILT
Onward!
SLEBoK
SPLASH-E
DLS
AGERE
PLMW
DS
SRC
PLATEAU
NJR
LIVE
META
DSLDI
OCAP
TURBO
AI-SEPS
SPLASH 2018 Tracks
OOPSLA
Artifact Evaluation
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PL Mentoring Workshop (PLMW)
Mentoring Breakfasts
Doctoral Symposium
Student Volunteers
Student Research Competition
Social
Show all tracks
Supporters
Diamond Supporter
Silver Supporter
Silver Supporter
Silver Supporter
Silver Supporter
Silver Supporter
Silver Supporter
Silver Supporter
Bronze
Bronze Supporter
Bronze Supporter
Bronze Supporter
Bronze Supporter
Bronze Supporter
Supporter
Supporter
Supporter
Sponsor
Sponsor
Fri 24 Apr 12:27