SPLASH 2018 - SPLASH-I

About
Program

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

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

08:45 - 10:00	HermansKeynotes at Studio 2

08:45 75m Talk		Explicit Direct Instruction in Programming EducationKEYNOTE Keynotes Felienne Hermans

13:30 - 14:30	ChlipalaSPLASH-I at White Hill

13:30 60m Talk		Mechanized Proofs of System Correctness in Production: Cryptography and Beyond SPLASH-I Adam Chlipala MIT

13:30 - 14:30	MarronSPLASH-I at Whittier

13:30 60m Talk		Time-Travel Debugging and Actionable Diagnostics Insights SPLASH-I Mark Marron Microsoft Research

15:30 - 16:30	WhiteSPLASH-I at White Hill

15:30 60m Talk		Software is eating the world, but ML is going to eat software SPLASH-I John Myles White Facebook

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 Murali Krishna Ramanathan Uber

16:30 - 17:30	GibbonsSPLASH-I at Whittier

16:30 60m Talk		Composable References and the Yoneda Lemma SPLASH-I Jeremy Gibbons University of Oxford Link to publication Pre-print

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 Karen Kinnear Oracle

13:30 - 14:30	SzabóSPLASH-I at White Hill

13:30 60m Talk		Better living through incrementality: Immediate static analysis feedback without loss of precision SPLASH-I Sebastian Erdweg TU Delft, Tamás Szabó itemis / TU Delft Link to publication

13:30 - 14:30	RideauSPLASH-I at Whittier

13:30 60m Talk		Verifying dApp Computations on a Blockchain SPLASH-I François-René Rideau LegiCash

15:30 - 16:30	GottschlichSPLASH-I at White Hill

15:30 60m Talk		The Future of AI: Machine Programmers and Their Necessary Self-Awareness SPLASH-I Justin Gottschlich Intel Labs

15:30 - 16:30	MillerSPLASH-I at Whittier

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 Leland Wilkinson H2O.ai

16:30 - 17:30	MansinghkaSPLASH-I at Whittier

16:30 60m Talk		Probabilistic Programming Paradigms SPLASH-I Vikash Mansinghka MIT

17:30 - 18:30	FisherSPLASH-I at White Hill

17:30 60m Talk		Provably Eliminating Exploitable Bugs SPLASH-I Kathleen Fisher Tufts University, USA

17:30 - 18:30	AhmedSPLASH-I at Whittier

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	JacksonKeynotes at Avenue 34

08:30 90m Talk		A new modularity for softwareKEYNOTE Keynotes Daniel Jackson MIT

11:00 - 12:00	LarusSPLASH-I at White Hill

11:00 60m Talk		Programming NVM SPLASH-I James Larus EPFL

11:00 - 12:00	GabrielSPLASH-I at Whittier

11:00 60m Talk		How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats SPLASH-I Richard P. Gabriel Dream Songs, Inc. & HPI

13:30 - 14:30	HendrenSPLASH-I at White Hill

13:30 60m Talk		Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient SPLASH-I Laurie Hendren McGill University, Canada

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	ChenSPLASH-I at White Hill

15:30 60m Talk		Robustly benchmarking Julia in noisy environments SPLASH-I Jiahao Chen Capital One Pre-print

15:30 - 16:30	ArefSPLASH-I at Whittier

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	HesterSPLASH-I at Whittier

16:30 60m Talk		Expanding R Syntax in package space SPLASH-I Jim Hester RStudio

17:30 - 18:30	NobleSPLASH-I at White Hill

17:30 60m Talk		Two Decades of Ownership Types SPLASH-I James Noble Victoria University of Wellington

17:30 - 18:30	FloodSPLASH-I at Whittier

17:30 60m Talk		Ten Cool Things you might not know about the OpenJDK Java Virtual Machine SPLASH-I Christine H. Flood Red Hat

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00	QuillenKeynotes at Avenue 34

08:30 90m Talk		Beauty is the Promise of HappinessKEYNOTE Keynotes Jenny Quillien Embodied Making Institute

11:00 - 12:00	BurkaSPLASH-I at White Hill

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 Sean McDirmid

15:30 - 16:30	TaftSPLASH-I at White Hill

15:30 60m Talk		Provably Safe Pointers for a Parallel World SPLASH-I Tucker Taft AdaCore

15:30 - 16:30	TitzerSPLASH-I at Whittier

15:30 60m Talk		Peering behind the Turing Mirror SPLASH-I Ben L. Titzer Google

16:30 - 17:30	PizloSPLASH-I at White Hill

16:30 60m Talk		All about JavaScriptCore's many compilers SPLASH-I Filip Pizlo Apple

16:30 - 17:30	SpoonhowerSPLASH-I at Whittier

16:30 60m Talk		Measuring Microservice Performance: A Shape Not a Number SPLASH-I Daniel Spoonhower Lightstep

17:30 - 18:30	FislerKeynotes at Avenue 34

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	LiskovKeynotes at Avenue 34

08:30 90m Talk		Distributed AbstractionsKEYNOTE Keynotes Barbara Liskov MIT

14:45 - 15:45	CookKeynotes at Avenue 34

14:45 60m Talk		Reasoning about Security of Amazon Web ServicesKEYNOTE Keynotes Byron Cook Amazon

SPLASH-I

Talks

Program Display Configuration

Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Amal Ahmed

Northeastern University

United States

Andrei Alexandrescu

D Language Foundation

United States

Molham Aref

Relational.ai

United States

Jeff Bezanson

Julia Computing

United States

Peter Burka

Two Sigma

United States

Jiahao Chen

Capital One

United States

Adam Chlipala

MIT

United States

Byron Cook

Amazon

United States

Sebastian Erdweg

TU Delft

Netherlands

Kathleen Fisher

Tufts University, USA

United States

Richard P. Gabriel

Dream Songs, Inc. & HPI

United States

Jeremy Gibbons

University of Oxford

United Kingdom

Justin Gottschlich

Intel Labs

United States

Christine H. Flood

Red Hat

United States

Laurie Hendren

McGill University, Canada

Canada

Felienne Hermans

Jim Hester

RStudio

United States

Karen Kinnear

Oracle

United States

Murali Krishna Ramanathan

Uber

United States

James Larus

EPFL

Switzerland

Vikash Mansinghka

MIT

United States

Mark Marron

Microsoft Research

United States

Nicholas Matsakis

Mozilla Corporation

United States

Sean McDirmid

United States

Heather Miller

Carnegie Mellon University

United States

Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change