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.

Reminders

  • Thursday 8. @ 5:40 PM - people interested in attending the Kotlin meetup at Interpid, please gather before 5:40 PM at the registration desk

  • Thursday 8. @ 5:30 PM - people interested in attending the joint Scala meetup and Rust meetup at MIT, please gather before 5:30 PM at the registration desk

  • Wednesday 7. @ 6:00 PM - people interested in attending Clojure meetup or Julia meetup at MIT, please gather before 6:00 PM at the registration desk

  • Tuesday 6. @ 5:20 PM - people interested in attending R meetup or Blockchain meetup at MIT, please gather before 5:20 PM at the registration desk

  • Monday 5. @ 7 PM - people interested in attending Haskell meetup, please gather before 7 PM at the registration desk

Livestream

SPLASH Keynotes and OOPSLA talks will be livestreamed at the following links:

Q&A

Both remote and in-person participants can ask questions using sli.do for live streamed SPLASH Keynotes and OOPSLA talks.

Invited Speakers

SPLASH-I

Filip Pizlo
All about JavaScriptCore's many compilers
Filip Pizlo
Andrei Alexandrescu
Design by Introspection in D
Andrei Alexandrescu
Mark Marron
Time-Travel Debugging and Actionable Diagnostics Insights
Mark Marron
Amal Ahmed
All the languages together
Amal Ahmed
Daniel Spoonhower
Measuring Microservice Performance: A Shape Not a Number
Daniel Spoonhower
Murali Krishna Ramanathan
Reliable Deployment at Uber Scale
Murali Krishna Ramanathan
Richard P. Gabriel
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
Adam Chlipala
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
Adam Chlipala
James Larus
Programming NVM
James Larus
Vikash Mansinghka
Probabilistic Programming Paradigms
Vikash Mansinghka
Tucker Taft
Provably Safe Pointers for a Parallel World
Tucker Taft
Leland Wilkinson
Automatic Visualization
Leland Wilkinson
Peter Burka
Establishing a culture of code review
Peter Burka
Jeff Bezanson
The Rise of Compilerization
Jeff Bezanson
Mark Stoodley
Oh, the compilers you will build!
Mark Stoodley
Kathleen Fisher
Provably Eliminating Exploitable Bugs
Kathleen Fisher
Karen Kinnear
Valhalla: Enhancing the JVM with Value Types
Karen Kinnear
Ben L. Titzer
Peering behind the Turing Mirror
Ben L. Titzer
François-René Rideau
Verifying dApp Computations on a Blockchain
François-René Rideau
Nicholas Matsakis
Rust: Reach Further
Nicholas Matsakis
Molham Aref
Low level systems programming in a high level language
Molham Aref
Jeremy Gibbons
Composable References and the Yoneda Lemma
Jeremy Gibbons
Sean McDirmid
Tangible Abstraction
Sean McDirmid
Jiahao Chen
Robustly benchmarking Julia in noisy environments
Jiahao Chen
John Myles White
Software is eating the world, but ML is going to eat software
John Myles White
Heather Miller
What happened to distributed programming languages?
Heather Miller
Laurie Hendren
Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient
Laurie Hendren
KEYNOTEByron Cook
Reasoning about Security of Amazon Web Services
Byron Cook
James Noble
Two Decades of Ownership Types
James Noble
Justin Gottschlich
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
Justin Gottschlich
Jim Hester
Expanding R Syntax in package space
Jim Hester
Christine H. Flood
Ten Cool Things you might not know about the OpenJDK Java Virtual Machine
Christine H. Flood
Sebastian Erdweg
Better living through incrementality: Immediate static analysis feedback without loss of precision
Sebastian Erdweg, Tamás Szabó

Conference and Workshops Invited Speakers

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