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
![Barbara Liskov](https://2018.splashcon.org/getProfileImage/barbaraliskov/311ee312-04e8-4f9d-893f-cd2335bdcf44/avatar.jpg?1711726438000)
Distributed Abstractions
Barbara Liskov
![Jenny Quillien](https://2018.splashcon.org/getProfileImage/jennyquillien/e1a7fbfc-b31d-40ac-9f24-63dea70f9306/avatar.jpg?1711541547000)
Beauty is the Promise of Happiness
Jenny Quillien
![Byron Cook](https://2018.splashcon.org/getProfileImage/byroncook1/b002a1a0-0d8b-4d48-9f09-0b644bf67c26/avatar.jpg?1711477673000)
Reasoning about Security of Amazon Web Services
Byron Cook
![Guy L. Steele Jr.](https://2018.splashcon.org/getProfileImage/guylsteelejr/6649762d-f6a6-447f-bcc0-9bdd1cad18f1/avatar.jpg?1711479002000)
50 Years of Programming and Language Design
Guy L. Steele Jr.
![Kathi Fisler](https://2018.splashcon.org/getProfileImage/kathifisler/f4cc900f-912a-4815-a7bc-133d0995e70e/avatar.jpg?1711600839000)
In Defense of "Little Code"
Kathi Fisler
![Daniel Jackson](https://2018.splashcon.org/getProfileImage/danieljackson/eff8fc0e-02e5-4015-9386-4907020b9ac0/avatar.jpg?1718048573000)
A new modularity for software
Daniel Jackson
SPLASH-I
![Jim Hester](https://2018.splashcon.org/getProfileImage/jimhester/6c4f7ab0-1bf0-4ee2-b6c5-e6bea0ad6a63/avatar.jpg?1711564299000)
Expanding R Syntax in package space
Jim Hester
![François-René Rideau](https://2018.splashcon.org/getProfileImage/francoisrenerideau1/f73e7650-fe9e-461d-9a07-42af0bec049e/avatar.jpg?1711527210000)
Verifying dApp Computations on a Blockchain
François-René Rideau
![Vikash Mansinghka](https://2018.splashcon.org/getProfileImage/vikashmansinghka/b7f41c9a-4e9d-45cd-9f8d-7daa0da4de31/avatar.jpg?1711563827000)
Probabilistic Programming Paradigms
Vikash Mansinghka
![Nicholas Matsakis](https://2018.splashcon.org/getProfileImage/nicholasmatsakis/6bc44c2e-a941-4f79-af8e-39e358c845a1/avatar.jpg?1711472791000)
Rust: Reach Further
Nicholas Matsakis
![Jeremy Gibbons](https://2018.splashcon.org/getProfileImage/jeremygibbons/220a0895-8e88-4180-aafd-75835f36681c/avatar.jpg?1711461890000)
Composable References and the Yoneda Lemma
Jeremy Gibbons
![Kathleen Fisher](https://2018.splashcon.org/getProfileImage/kathleenfisher/a762c3bd-cfcf-4998-bd68-e3b3de28f6b0/avatar.jpg?1711473709000)
Provably Eliminating Exploitable Bugs
Kathleen Fisher
![Daniel Spoonhower](https://2018.splashcon.org/getProfileImage/danielspoonhower/5ba98d6f-98e8-4fa6-8f18-0e0c6e2c5973/avatar.jpg?1711564361000)
Measuring Microservice Performance: A Shape Not a Number
Daniel Spoonhower
![John Myles White](https://2018.splashcon.org/getProfileImage/johnmyleswhite/fb86a7c9-cb14-4072-b9d7-7f948af04d9f/avatar.jpg?1718048455000)
Software is eating the world, but ML is going to eat software
John Myles White
![Sean McDirmid](https://2018.splashcon.org/getProfileImage/seanmcdirmid/a17086c9-6f4a-4a83-a7a0-5fe1663530a6/avatar.jpg?1711459662000)
Tangible Abstraction
Sean McDirmid
![Jeff Bezanson](https://2018.splashcon.org/getProfileImage/jeffbezanson/6ebc2478-7e4d-4376-a5c3-c6404c44f709/avatar.jpg?1711565022000)
The Rise of Compilerization
Jeff Bezanson
![Amal Ahmed](https://2018.splashcon.org/getProfileImage/amalahmed/9a2a537c-5b47-4816-9faf-fb72aaceb9a4/avatar.jpg?1714884980000)
All the languages together
Amal Ahmed
![Justin Gottschlich](https://2018.splashcon.org/getProfileImage/justingottschlich/2cd33477-e6a5-4ae0-87bc-019f4eb5a655/avatar.jpg?1711505634000)
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
Justin Gottschlich
![Ben L. Titzer](https://2018.splashcon.org/getProfileImage/benltitzer/e976b021-dc53-4bdc-a5d9-3c5e0889bfb0/avatar.jpg?1711454294000)
Peering behind the Turing Mirror
Ben L. Titzer
![Heather Miller](https://2018.splashcon.org/getProfileImage/heathermiller/076237c9-6d88-4137-8afe-0b216cb31550/avatar.jpg?1711457154000)
What happened to distributed programming languages?
Heather Miller
![Mark Marron](https://2018.splashcon.org/getProfileImage/markmarron/3671444f-d493-4267-96dd-ee077fd48307/avatar.jpg?1711497142000)
Time-Travel Debugging and Actionable Diagnostics Insights
Mark Marron
![Sebastian Erdweg](https://2018.splashcon.org/getProfileImage/sebastianerdweg/d02b4d80-3506-4568-ab41-ac63970f4e37/avatar.jpg?1711464494000)
Better living through incrementality: Immediate static analysis feedback without loss of precision
Sebastian Erdweg, Tamás Szabó
![Karen Kinnear](https://2018.splashcon.org/getProfileImage/karenkinnear/61607c1e-6ec7-4660-a35f-b3e08ca8b62a/avatar.jpg?1711564818000)
Valhalla: Enhancing the JVM with Value Types
Karen Kinnear
![Peter Burka](https://2018.splashcon.org/getProfileImage/peterburka/c4b4bfd3-876d-438e-acf1-e16759295479/avatar.jpg?1711564502000)
Establishing a culture of code review
Peter Burka
![Jiahao Chen](https://2018.splashcon.org/getProfileImage/jiahaochen1/7327cec7-fa6f-412e-a50f-793f3f517a6f/avatar.jpg?1711564677000)
Robustly benchmarking Julia in noisy environments
Jiahao Chen
![Andrei Alexandrescu](https://2018.splashcon.org/getProfileImage/andreialexandrescu/eb073e8c-9bde-41d6-8a34-ccee41b525e2/avatar.jpg?1711494340000)
Design by Introspection in D
Andrei Alexandrescu
![James Larus](https://2018.splashcon.org/getProfileImage/jimlarus/4d2d4ca3-8d3d-49e4-9f8a-144095e5dfa1/avatar.jpg?1711460591000)
Programming NVM
James Larus
![Laurie Hendren](https://2018.splashcon.org/getProfileImage/lauriehendren/c5cb1828-a93a-4b71-8251-cf02d153c562/avatar.jpg?1711565069000)
Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient
Laurie Hendren
![Christine H. Flood](https://2018.splashcon.org/getProfileImage/christinehflood/2c69f5f3-9ddf-4968-8616-a310480c3250/avatar.jpg?1711505262000)
Ten Cool Things you might not know about the OpenJDK Java Virtual Machine
Christine H. Flood
![Tucker Taft](https://2018.splashcon.org/getProfileImage/tuckertaft/81fac972-3857-4959-8dd7-f7efee446b55/avatar.jpg?1711470983000)
Provably Safe Pointers for a Parallel World
Tucker Taft
![Filip Pizlo](https://2018.splashcon.org/getProfileImage/filippizlo/0f465ae4-c7cf-488b-a5fc-2a90c213443d/avatar.jpg?1711473445000)
All about JavaScriptCore's many compilers
Filip Pizlo
![Adam Chlipala](https://2018.splashcon.org/getProfileImage/adamchlipala/9828b072-1afc-42bd-8c32-bda9fef0939c/avatar.jpg?1711487898000)
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
Adam Chlipala
![Molham Aref](https://2018.splashcon.org/getProfileImage/molhamaref1/3eb083e5-ddff-4aef-a267-4a9696e12f11/avatar.jpg?1711500786000)
Low level systems programming in a high level language
Molham Aref
![Mark Stoodley](https://2018.splashcon.org/getProfileImage/markstoodley/ca4375b9-a626-444a-a43c-7f11c4ce895a/avatar.jpg?1711511510000)
Oh, the compilers you will build!
Mark Stoodley
![Byron Cook](https://2018.splashcon.org/getProfileImage/byroncook1/b002a1a0-0d8b-4d48-9f09-0b644bf67c26/avatar.jpg?1711477673000)
Reasoning about Security of Amazon Web Services
Byron Cook
![Murali Krishna Ramanathan](https://2018.splashcon.org/getProfileImage/muralikrishnaramanathan/d161143f-e40f-486c-9d73-b86c4aa65ba9/avatar.jpg?1711486379000)
Reliable Deployment at Uber Scale
Murali Krishna Ramanathan
![Richard P. Gabriel](https://2018.splashcon.org/getProfileImage/richardpgabriel/97f09a1a-4957-4006-a24c-1705dd2653ca/avatar.jpg?1711459864000)
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
![James Noble](https://2018.splashcon.org/getProfileImage/jamesnoble/c9e74a9a-7a87-4eab-b77d-fd92c8ef7980/avatar.jpg?1711500938000)
Two Decades of Ownership Types
James Noble
![Leland Wilkinson](https://2018.splashcon.org/getProfileImage/lelandwilkinson/728f998a-e94a-4176-b69c-c0569a708716/avatar.jpg?1711564189000)
Automatic Visualization
Leland Wilkinson
Conference and Workshops Invited Speakers
![James Noble](https://2018.splashcon.org/getProfileImage/jamesnoble/c9e74a9a-7a87-4eab-b77d-fd92c8ef7980/avatar.jpg?1711500938000)
Through a Glass, Darkly ⭐️
James Noble
![Alexander B. Wiltschko](https://2018.splashcon.org/getProfileImage/alexwiltschko/465004de-f6e8-4940-ad1a-04ed367551c2/avatar.jpg?1712944481000)
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
Alexander B. Wiltschko
![Saman Amarasinghe](https://2018.splashcon.org/getProfileImage/samanamarasinghe/23b6ccde-61c0-4f5e-a54e-b83143f9587b/avatar.jpg?1711465301000)
How to Make Sparse Fast
Saman Amarasinghe
![Martin C. Rinard](https://2018.splashcon.org/getProfileImage/martinrinard/3a677963-40c6-4f94-8df0-3b03b6be3555/avatar.jpg?1711745760000)
A New Approach for Software Correctness and Reliability
Martin C. Rinard
![Eugene Burmako](https://2018.splashcon.org/getProfileImage/eugeneburmako/991fd56a-c2c6-4f58-819e-da6421d027ba/avatar.jpg?1711479758000)
SemanticDB: a common data model for Scala developer tools ⭐️
Eugene Burmako
![Raymond Richards](https://2018.splashcon.org/getProfileImage/raymondrichards/0642051c-23d7-4e3d-9739-65f3b1d7ae96/avatar.jpg?1718048642000)
DARPA CASE program, motivation and challenges
Raymond Richards
![Erik Stenman](https://2018.splashcon.org/getProfileImage/erikstenman/29fc067f-ac7b-49c3-b2bf-1aa1ddcc539c/avatar.jpg?1715157168000)
BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️
Erik Stenman
![Christoph Kirsch](https://2018.splashcon.org/getProfileImage/christophkirsch/e79d7a73-424a-4082-bf3f-0bfd1e3ea80f/avatar.jpg?1711487879000)
On the Self in Selfie ⭐️
Christoph Kirsch
![Robert A. Martin](https://2018.splashcon.org/getProfileImage/robertamartin/d76c0310-0636-4ae4-8448-3955661ebef9/avatar.jpg?1718048310000)
CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software
Robert A. Martin
![Prabhat](https://2018.splashcon.org/getProfileImage/prabhat/488d53fe-1644-46f2-985e-5a3ce65ebe8d/avatar.jpg?1718057031000)