SPLASH-I is a series of research and industry talks that address topics relevant to the SPLASH community. Speakers are invited by the organizers. The community is invited to suggest speakers and panels through the call for contribution (now closed). Talks are open to all attendees.

This year the SPLASH-I talks are organized in collaboration with Boston Meetup groups.

The recordings are available on youtube.

Talks

Title
All about JavaScriptCore's many compilers
SPLASH-I
All the languages together
SPLASH-I
Automatic Visualization
SPLASH-I
Better living through incrementality: Immediate static analysis feedback without loss of precision
SPLASH-I
Link to publication
Composable References and the Yoneda Lemma
SPLASH-I
Link to publication Pre-print
Design by Introspection in D
SPLASH-I
Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient
SPLASH-I
Establishing a culture of code review
SPLASH-I
Expanding R Syntax in package space
SPLASH-I
How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats
SPLASH-I
Low level systems programming in a high level language
SPLASH-I
Measuring Microservice Performance: A Shape Not a Number
SPLASH-I
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
SPLASH-I
Oh, the compilers you will build!
SPLASH-I
Link to publication
Peering behind the Turing Mirror
SPLASH-I
Probabilistic Programming Paradigms
SPLASH-I
Programming NVM
SPLASH-I
Provably Eliminating Exploitable Bugs
SPLASH-I
Provably Safe Pointers for a Parallel World
SPLASH-I
Reliable Deployment at Uber Scale
SPLASH-I
Robustly benchmarking Julia in noisy environments
SPLASH-I
Pre-print
Rust: Reach Further
SPLASH-I
Software is eating the world, but ML is going to eat software
SPLASH-I
Tangible Abstraction
SPLASH-I
Ten Cool Things you might not know about the OpenJDK Java Virtual Machine
SPLASH-I
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
SPLASH-I
The Rise of Compilerization
SPLASH-I
Time-Travel Debugging and Actionable Diagnostics Insights
SPLASH-I
Two Decades of Ownership Types
SPLASH-I
Valhalla: Enhancing the JVM with Value Types
SPLASH-I
Verifying dApp Computations on a Blockchain
SPLASH-I
What happened to distributed programming languages?
SPLASH-I
Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 14:30
13:30
60m
Talk
Time-Travel Debugging and Actionable Diagnostics Insights
SPLASH-I
Mark Marron Microsoft Research
15:30 - 16:30
StoodleySPLASH-I at Whittier
15:30
60m
Talk
Oh, the compilers you will build!
SPLASH-I
Mark Stoodley IBM Canada
Link to publication
16:30 - 17:30
RamanathanSPLASH-I at White Hill
16:30
60m
Talk
Reliable Deployment at Uber Scale
SPLASH-I

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

11:00 - 12:00
KinnearSPLASH-I at Whittier
11:00
60m
Talk
Valhalla: Enhancing the JVM with Value Types
SPLASH-I
15:30 - 16:30
15:30
60m
Talk
What happened to distributed programming languages?
SPLASH-I
Heather Miller Carnegie Mellon University
16:30 - 17:30
WilkinsonSPLASH-I at White Hill
16:30
60m
Talk
Automatic Visualization
SPLASH-I
16:30 - 17:30
MansinghkaSPLASH-I at Whittier
16:30
60m
Talk
Probabilistic Programming Paradigms
SPLASH-I
17:30 - 18:30
17:30
60m
Talk
Provably Eliminating Exploitable Bugs
SPLASH-I
Kathleen Fisher Tufts University, USA
17:30 - 18:30
17:30
60m
Talk
All the languages together
SPLASH-I
Amal Ahmed Northeastern University

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
08:30
90m
Talk
A new modularity for softwareKEYNOTE
Keynotes
11:00 - 12:00
11:00
60m
Talk
Programming NVM
SPLASH-I
13:30 - 14:30
AlexandrescuSPLASH-I at Whittier
13:30
60m
Talk
Design by Introspection in D
SPLASH-I
Andrei Alexandrescu D Language Foundation
15:30 - 16:30
15:30
60m
Talk
Low level systems programming in a high level language
SPLASH-I
Molham Aref Relational.ai
16:30 - 17:30
BezansonSPLASH-I at White Hill
16:30
60m
Talk
The Rise of Compilerization
SPLASH-I
Jeff Bezanson Julia Computing
16:30 - 17:30
16:30
60m
Talk
Expanding R Syntax in package space
SPLASH-I
Jim Hester RStudio
17:30 - 18:30
17:30
60m
Talk
Two Decades of Ownership Types
SPLASH-I
James Noble Victoria University of Wellington

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
08:30
90m
Talk
Beauty is the Promise of HappinessKEYNOTE
Keynotes
Jenny Quillien Embodied Making Institute
11:00 - 12:00
11:00
60m
Talk
Establishing a culture of code review
SPLASH-I
Peter Burka Two Sigma
13:30 - 14:30
MatsakisSPLASH-I at White Hill
13:30
60m
Talk
Rust: Reach Further
SPLASH-I
Nicholas Matsakis Mozilla Corporation
13:30 - 14:30
McDirmidSPLASH-I at Whittier
13:30
60m
Talk
Tangible Abstraction
SPLASH-I
15:30 - 16:30
15:30
60m
Talk
Provably Safe Pointers for a Parallel World
SPLASH-I
Tucker Taft AdaCore
15:30 - 16:30
15:30
60m
Talk
Peering behind the Turing Mirror
SPLASH-I
16:30 - 17:30
16:30
60m
Talk
All about JavaScriptCore's many compilers
SPLASH-I
17:30 - 18:30
17:30
60m
Talk
In Defense of "Little Code"KEYNOTE
Keynotes
Kathi Fisler Brown University

Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
08:30
90m
Talk
Distributed AbstractionsKEYNOTE
Keynotes