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

In Defense of "Little Code"

Kathi Fisler

KEYNOTE

50 Years of Programming and Language Design

Guy L. Steele Jr.

KEYNOTE

A new modularity for software

Daniel Jackson

KEYNOTE

Beauty is the Promise of Happiness

Jenny Quillien

KEYNOTE

Reasoning about Security of Amazon Web Services

Byron Cook

KEYNOTE

Distributed Abstractions

Barbara Liskov

SPLASH-I

Provably Safe Pointers for a Parallel World

Tucker Taft

Verifying dApp Computations on a Blockchain

François-René Rideau

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

Ten Cool Things you might not know about the OpenJDK Java Virtual Machine

Christine H. Flood

Design by Introspection in D

Andrei Alexandrescu

Rust: Reach Further

Nicholas Matsakis

Oh, the compilers you will build!

Mark Stoodley

Programming NVM

James Larus

Reliable Deployment at Uber Scale

Murali Krishna Ramanathan

All about JavaScriptCore's many compilers

Filip Pizlo

Measuring Microservice Performance: A Shape Not a Number

Daniel Spoonhower

The Future of AI: Machine Programmers and Their Necessary Self-Awareness

Justin Gottschlich

Peering behind the Turing Mirror

Ben L. Titzer

Composable References and the Yoneda Lemma

Jeremy Gibbons

The Rise of Compilerization

Jeff Bezanson

All the languages together

Amal Ahmed

Two Decades of Ownership Types

James Noble

Software is eating the world, but ML is going to eat software

John Myles White

Low level systems programming in a high level language

Molham Aref

Valhalla: Enhancing the JVM with Value Types

Karen Kinnear

Robustly benchmarking Julia in noisy environments

Jiahao Chen

Better living through incrementality: Immediate static analysis feedback without loss of precision

Sebastian Erdweg, Tamás Szabó

Probabilistic Programming Paradigms

Vikash Mansinghka

Mechanized Proofs of System Correctness in Production: Cryptography and Beyond

Adam Chlipala

Time-Travel Debugging and Actionable Diagnostics Insights

Mark Marron

KEYNOTE

Reasoning about Security of Amazon Web Services

Byron Cook

Establishing a culture of code review

Peter Burka

Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient

Laurie Hendren

Provably Eliminating Exploitable Bugs

Kathleen Fisher

Tangible Abstraction

Sean McDirmid

Expanding R Syntax in package space

Jim Hester

What happened to distributed programming languages?

Heather Miller

Automatic Visualization

Leland Wilkinson

Conference and Workshops Invited Speakers

Keynote

CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software

Robert A. Martin

Keynote

A New Approach for Software Correctness and Reliability

Martin C. Rinard

Keynote

Through a Glass, Darkly ⭐️

James Noble

Keynote

On the Self in Selfie ⭐️

Christoph Kirsch

Keynote

SemanticDB: a common data model for Scala developer tools ⭐️

Eugene Burmako

Invited Talk

TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance

Alexander B. Wiltschko

Keynote

How to Make Sparse Fast

Saman Amarasinghe

Keynote

BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️

Erik Stenman

Keynote

DARPA CASE program, motivation and challenges

Raymond Richards

Keynote

Deep Learning at Scale

Prabhat