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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: AfternoonSPLASH-E at Newbury
13:30 - 14:00
Talk
Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
SPLASH-E
Celina BergUBC, Computer Science, Fatimah MahmoodUniversity of British Columbia
File Attached
14:00 - 14:30
Talk
LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
SPLASH-E
Daniel SainatiCornell University, Adrian SampsonCornell University
File Attached
14:30 - 15:00
Meeting
Discussion
SPLASH-E
13:30 - 14:30: MarronSPLASH-I at Whittier
13:30 - 14:30
Talk
Time-Travel Debugging and Actionable Diagnostics Insights
SPLASH-I
Mark MarronMicrosoft Research
15:30 - 16:30: StoodleySPLASH-I at Whittier
15:30 - 16:30
Talk
Oh, the compilers you will build!
SPLASH-I
Mark StoodleyIBM Canada
Link to publication
16:30 - 17:30: RamanathanSPLASH-I at White Hill
16:30 - 17:30
Talk
Reliable Deployment at Uber Scale
SPLASH-I
16:30 - 17:30: GibbonsSPLASH-I at Whittier
16:30 - 17:30
Talk
Composable References and the Yoneda Lemma
SPLASH-I
Jeremy GibbonsUniversity of Oxford
Link to publication Pre-print

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:45: Mentoring BreakfastPLMW at Tremont
07:30 - 08:45
Mentoring Breakfast
PLMW
08:45 - 10:00: Keynote: SteelePLMW / Keynotes at Cambridge
Chair(s): Barbara RyderVirginia Tech
08:45 - 09:00
Welcome and Introduction
PLMW
Barbara RyderVirginia Tech
File Attached
09:00 - 10:00
Talk
50 Years of Programming and Language DesignKEYNOTE
Keynotes
File Attached
10:30 - 12:00: Mentoring WorkshopPLMW at Cambridge
Chair(s): Sarah NadiUniversity of Alberta
10:30 - 11:00
Talk
The story of Arjun Guha, or: the arc of a research project
PLMW
Shriram KrishnamurthiBrown University, USA
11:00 - 11:30
Talk
From academia to industry and back again
PLMW
Julia RubinUniversity of British Columbia
File Attached
11:30 - 12:00
Talk
Work/Life Balance
PLMW
Kathleen FisherTufts University, USA
File Attached
11:00 - 12:00: KinnearSPLASH-I at Whittier
11:00 - 12:00
Talk
Valhalla: Enhancing the JVM with Value Types
SPLASH-I
13:00 - 14:00: Panel: Industry and AcademiaPLMW at Cambridge
Chair(s): Sarah NadiUniversity of Alberta
13:00 - 14:00
Panel: Industrial and Academic Research
PLMW
Kathleen FisherTufts University, USA, Mayur NaikUniversity of Pennsylvania, Julia RubinUniversity of British Columbia, Frank TipNortheastern University
13:30 - 14:30: RideauSPLASH-I at Whittier
13:30 - 14:30
Talk
Verifying dApp Computations on a Blockchain
SPLASH-I
14:00 - 15:30: Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
14:00 - 14:30
Talk
Navigating the process of doing a rewarding Ph.D.
PLMW
Mayur NaikUniversity of Pennsylvania
14:30 - 15:00
Talk
Interaction: the Key to Joining a Research Community
PLMW
Kathi FislerBrown University
File Attached
15:00 - 15:30
Talk
Advice on your advisor
PLMW
Marsha ChechikUniversity of Toronto
File Attached
15:30 - 16:30: MillerSPLASH-I at Whittier
15:30 - 16:30
Talk
What happened to distributed programming languages?
SPLASH-I
Heather MillerCarnegie Mellon University
16:00 - 21:00: Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
16:00 - 16:30
Talk
How to Select Good Research Topics?
PLMW
Frank TipNortheastern University
File Attached
16:30 - 17:30
Panel of Recent Ph.Ds
PLMW
Michael CarbinMassachusetts Institute of Technology, Benjamin LernerNortheastern University, Sarah NadiUniversity of Alberta, Shiyi WeiThe University of Texas at Dallas
17:30 - 17:45
Discussion and Concluding Remarks
PLMW
File Attached
18:00 - 21:00
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 - 17:30
Talk
Automatic Visualization
SPLASH-I
16:30 - 17:30: MansinghkaSPLASH-I at Whittier
16:30 - 17:30
Talk
Probabilistic Programming Paradigms
SPLASH-I
17:30 - 18:30: FisherSPLASH-I at White Hill
17:30 - 18:30
Talk
Provably Eliminating Exploitable Bugs
SPLASH-I
Kathleen FisherTufts University, USA
17:30 - 18:30: AhmedSPLASH-I at Whittier
17:30 - 18:30
Talk
All the languages together
SPLASH-I
Amal AhmedNortheastern University

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: JacksonKeynotes at Avenue 34
08:30 - 10:00
Talk
A new modularity for softwareKEYNOTE
Keynotes
11:00 - 12:00: LarusSPLASH-I at White Hill
11:00 - 12:00
Talk
Programming NVM
SPLASH-I
13:30 - 14:30: AlexandrescuSPLASH-I at Whittier
13:30 - 14:30
Talk
Design by Introspection in D
SPLASH-I
Andrei AlexandrescuD Language Foundation
15:30 - 16:30: ChenSPLASH-I at White Hill
15:30 - 16:30
Talk
Robustly benchmarking Julia in noisy environments
SPLASH-I
Jiahao ChenCapital One
Pre-print
15:30 - 16:30: ArefSPLASH-I at Whittier
15:30 - 16:30
Talk
Low level systems programming in a high level language
SPLASH-I
Molham ArefRelational.ai
16:30 - 17:30: BezansonSPLASH-I at White Hill
16:30 - 17:30
Talk
The Rise of Compilerization
SPLASH-I
Jeff BezansonJulia Computing
16:30 - 17:30: HesterSPLASH-I at Whittier
16:30 - 17:30
Talk
Expanding R Syntax in package space
SPLASH-I
Jim HesterRStudio
17:30 - 18:30: NobleSPLASH-I at White Hill
17:30 - 18:30
Talk
Two Decades of Ownership Types
SPLASH-I
James NobleVictoria University of Wellington

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: QuillenKeynotes at Avenue 34
08:30 - 10:00
Talk
Beauty is the Promise of HappinessKEYNOTE
Keynotes
Jenny QuillienEmbodied Making Institute
11:00 - 12:00: BurkaSPLASH-I at White Hill
11:00 - 12:00
Talk
Establishing a culture of code review
SPLASH-I
Peter BurkaTwo Sigma
13:30 - 14:30: MatsakisSPLASH-I at White Hill
13:30 - 14:30
Talk
Rust: Reach Further
SPLASH-I
Nicholas MatsakisMozilla Corporation
13:30 - 14:30: McDirmidSPLASH-I at Whittier
13:30 - 14:30
Talk
Tangible Abstraction
SPLASH-I
15:30 - 16:30: TaftSPLASH-I at White Hill
15:30 - 16:30
Talk
Provably Safe Pointers for a Parallel World
SPLASH-I
15:30 - 16:30: TitzerSPLASH-I at Whittier
15:30 - 16:30
Talk
Peering behind the Turing Mirror
SPLASH-I
16:30 - 17:30: PizloSPLASH-I at White Hill
16:30 - 17:30
Talk
All about JavaScriptCore's many compilers
SPLASH-I
16:30 - 17:30: SpoonhowerSPLASH-I at Whittier
16:30 - 17:30
Talk
Measuring Microservice Performance: A Shape Not a Number
SPLASH-I
17:30 - 18:30: FislerKeynotes at Avenue 34
17:30 - 18:30
Talk
In Defense of "Little Code"KEYNOTE
Keynotes
Kathi FislerBrown University

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: LiskovKeynotes at Avenue 34
08:30 - 10:00
Talk
Distributed AbstractionsKEYNOTE
Keynotes
14:45 - 15:45: CookKeynotes at Avenue 34
14:45 - 15:45
Talk
Reasoning about Security of Amazon Web ServicesKEYNOTE
Keynotes