SPLASH 2018 - Keynotes

About
Program

SPLASH will feature a number of keynote talks by renowned researchers.

Speakers

	Title
	50 Years of Programming and Language DesignKEYNOTE Keynotes Guy L. Steele Jr. File Attached
	A new modularity for softwareKEYNOTE Keynotes Daniel Jackson
	Beauty is the Promise of HappinessKEYNOTE Keynotes Jenny Quillien
	Distributed AbstractionsKEYNOTE Keynotes Barbara Liskov
	Explicit Direct Instruction in Programming EducationKEYNOTE Keynotes Felienne Hermans
	In Defense of "Little Code"KEYNOTE Keynotes Kathi Fisler
	Reasoning about Security of Amazon Web ServicesKEYNOTE Keynotes Byron Cook

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

10:30 - 12:00	MorningSPLASH-E at Newbury

10:30 30m Talk		Take a Selfie in Class SPLASH-E Christoph Kirsch University of Salzburg
11:00 30m Talk		A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations SPLASH-E Jim Teresco , Michael Dagostino , Abdul Samad Siena College, USA, Eric Sauer Siena College, USA File Attached
11:30 30m Talk		Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker SPLASH-E Matteo Cimini University of Massachusetts Lowell File Attached

13:30 - 15:00	AfternoonSPLASH-E at Newbury

13:30 30m Talk		Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners SPLASH-E Celina Berg UBC, Computer Science, Fatimah Mahmood University of British Columbia File Attached
14:00 30m Talk		LambdaLab: An Interactive Lambda-Calculus Reducer for Learning SPLASH-E Daniel Sainati Cornell University, Adrian Sampson Cornell University File Attached
14:30 30m Meeting		Discussion SPLASH-E

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

07:30 - 08:45	Mentoring BreakfastPLMW at Tremont

07:30 75m		Mentoring Breakfast PLMW

08:45 - 10:00	Keynote: SteeleKeynotes / PLMW at Cambridge Chair(s): Barbara Ryder Virginia Tech

08:45 15m		Welcome and Introduction PLMW Barbara Ryder Virginia Tech File Attached
09:00 60m Talk		50 Years of Programming and Language DesignKEYNOTE Keynotes Guy L. Steele Jr. Oracle Labs File Attached

10:30 - 12:00	Mentoring WorkshopPLMW at Cambridge Chair(s): Sarah Nadi University of Alberta

10:30 30m Talk		The story of Arjun Guha, or: the arc of a research project PLMW Shriram Krishnamurthi Brown University, USA
11:00 30m Talk		From academia to industry and back again PLMW Julia Rubin University of British Columbia File Attached
11:30 30m Talk		Work/Life Balance PLMW Kathleen Fisher Tufts University, USA File Attached

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:00 - 14:00	Panel: Industry and AcademiaPLMW at Cambridge Chair(s): Sarah Nadi University of Alberta

13:00 60m		Panel: Industrial and Academic Research PLMW Kathleen Fisher Tufts University, USA, Mayur Naik University of Pennsylvania, Julia Rubin University of British Columbia, Frank Tip Northeastern University

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

14:00 - 15:30	Mentoring WorkshopPLMW at Cambridge Chair(s): Jonathan Bell George Mason University

14:00 30m Talk		Navigating the process of doing a rewarding Ph.D. PLMW Mayur Naik University of Pennsylvania
14:30 30m Talk		Interaction: the Key to Joining a Research Community PLMW Kathi Fisler Brown University File Attached
15:00 30m Talk		Advice on your advisor PLMW Marsha Chechik University of Toronto File Attached

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:00 - 21:00	Mentoring WorkshopPLMW at Cambridge Chair(s): Jonathan Bell George Mason University

16:00 30m Talk		How to Select Good Research Topics? PLMW Frank Tip Northeastern University File Attached
16:30 60m		Panel of Recent Ph.Ds PLMW Michael Carbin Massachusetts Institute of Technology, Benjamin Lerner Northeastern University, Sarah Nadi University of Alberta, Shiyi Wei The University of Texas at Dallas
17:30 15m		Discussion and Concluding Remarks PLMW File Attached
18:00 3h		End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited) PLMW

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

KeynotesSPLASH 2018

Speakers

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

KeynotesSPLASH 2018

Speakers

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

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