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.

Invited Speakers

SPLASH-I

Peter Burka
Establishing a culture of code review
Peter Burka
Byron Cook
Reasoning about Security of Amazon Web Services
Byron Cook
Keith Adams
Scaling Slack Engineering
Keith Adams
Felienne Hermans
Explicit Direct Instruction in Programming Education
Felienne Hermans
Leland Wilkinson
Automatic Visualization
Leland Wilkinson
Jim Hester
Alternative parsers for R in package space
Jim Hester
Murali Krishna Ramanathan
Reliable Deployment at Uber Scale
Murali Krishna Ramanathan
Jeremy Gibbons
Composable References and the Yoneda Lemma
Jeremy Gibbons
Byron Cook
Reasoning about Security of Amazon Web Services
Byron Cook
Andrei Alexandrescu
Design by Introspection in D
Andrei Alexandrescu
Nicholas Matsakis
Rust: Reach Further
Nicholas Matsakis
Mark Stoodley
Oh, the compilers you will build!
Mark Stoodley
Daniel Spoonhower
Measuring Microservice Performance: A Shape Not a Number
Daniel Spoonhower
James Noble
Two Decades of Ownership Types
James Noble
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
Filip Pizlo
All about JavaScriptCore's many compilers
Filip Pizlo
François-René Rideau
Verifying dApp Computations on a Blockchain
François-René Rideau
Molham Aref
Low level systems programming in a high level language
Molham Aref
Heather Miller
What happened to distributed programming languages?
Heather Miller
Amal Ahmed
All the languages together
Amal Ahmed
Justin Gottschlich
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
Justin Gottschlich
Sean McDirmid
Tangible Abstraction
Sean McDirmid
Adam Chlipala
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
Adam Chlipala
Kathleen Fisher
Provably Eliminating Exploitable Bugs
Kathleen Fisher
Jiahao Chen
Robustly benchmarking Julia in noisy environments
Jiahao Chen
Joe Pamer
Software is eating the world, but ML is going to eat software
Joe Pamer
Laurie Hendren
Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient
Laurie Hendren
Tucker Taft
Provably Safe Pointers for a Parallel World
Tucker Taft
Ben L. Titzer
Peering behind the Turing Mirror
Ben L. Titzer
Sun, Nov 4 Mon, Nov 5 Tue, Nov 6 Wed, Nov 7 Thu, Nov 8 Fri, Nov 9
BLOCKS+ SPLASH-I SRC
GRACE GPCE OOPSLA
REBLS SLE
VMIL HILT Onward!
SLEBoK SPLASH-E DLS
AGERE NOOL PLMW DS        
PLATEAU NJR LIVE
META DSLDI OCAP
TURBO
    AI-SEPS