Pasadena - NSAD 2024

VenueHilton Pasadena

Room namePasadena

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	WelcomeUNSOUND at Pasadena

10:15 15m Day opening		Welcome to UNSOUND UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)

11:00 - 12:30	ApplicationsUNSOUND at Pasadena

11:00 30m Talk		Taming Unsoundness with Gradual Abstract Interpretation UNSOUND Gaspar Ricci University of Chile, Matías Toro University of Chile, Sebastian Erdweg JGU Mainz, Éric Tanter University of Chile
11:30 30m Talk		Publishable Network Contracts in Scrapscript UNSOUND Taylor Troesh Unaffiliated

14:00 - 15:30	TypesUNSOUND at Pasadena

14:30 30m Talk		On Distributive Subtyping with Finitary and Infinitary Unions and Intersections UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
15:00 30m Talk		MeDeTy: An Unsound Object Based Encoding of Propositions as TypesOnline UNSOUND Isaac Oscar Gariano Victoria University of Wellington

16:00 - 17:30	OOPUNSOUND at Pasadena

16:00 30m Talk		From FP to OOP and Back, ConsistentlyOnline UNSOUND David Binder University of Tübingen File Attached
16:30 30m Talk		Java Method-Local Inner Classes are Unsound UNSOUND Marco Servetto VUW, Nick Webster Victoria University of Wellington , Colin Gordon Drexel University File Attached
17:00 30m Talk		The Inexact Superclass ProblemOnline UNSOUND Bruno C. d. S. Oliveira University of Hong Kong

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Welcome to PLMW!SPLASH PLMW at Pasadena Chair(s): Lucas Bang Harvey Mudd College, Molly Q Feldman Oberlin College

09:15 15m Day opening		Welcome to SPLASH! SPLASH PLMW
09:30 44m Other		Meet PLMW Ice Breaker SPLASH PLMW
10:15 15m Talk		SIGPLAN-M Introduction SPLASH PLMW Sebastian Erdweg JGU Mainz

11:00 - 12:30	Grad Student LifeSPLASH PLMW at Pasadena Chair(s): Lucas Bang Harvey Mudd College

11:00 90m Panel		PhD Life Panel SPLASH PLMW Ruanqianqian (Lisa) Huang University of California, San Diego, Poorva Garg University of California, Los Angeles, Amanda Stjerna Uppsala university, Madhurima Chakraborty University of California, Riverside

14:00 - 15:30	Post-PhD & MentoringSPLASH PLMW at Pasadena Chair(s): Lucas Bang Harvey Mudd College, Molly Q Feldman Oberlin College

14:00 45m Panel		Post-PhD Careers & Life Panel SPLASH PLMW Manu Sridharan University of California at Riverside, Ben Wiedermann Harvey Mudd College, Caterina Urban Inria - École Normale Supérieure, Samuel D. Pollard Sandia National Laboratories
14:45 45m Other		Speed Mentoring Sessions SPLASH PLMW

16:00 - 17:30	Context & Next StepsSPLASH PLMW at Pasadena Chair(s): Molly Q Feldman Oberlin College

16:00 60m Talk		How to Design Talks SPLASH PLMW Ranjit Jhala University of California at San Diego
17:01 29m Other		What's Next? SPLASH PLMW

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Opening SessionJENSFEST at Pasadena

09:00 10m Day opening		Welcome from Todd Millstein JENSFEST Todd Millstein University of California at Los Angeles
09:10 20m Keynote		Coccinelle: Program transformation in the real world JENSFEST Julia Lawall Inria
09:30 25m Talk		Lost and Found in the Fog of Trust JENSFEST Özgür Kesim Freie Universität Berlin, Christian Grothoff Bern University of Applied Sciences
09:55 25m Talk		MiniJava on RISC-V: A Game of Global Compilers Domination JENSFEST Jack Forden Marquette University, Alexander Gebhard Marquette University, Maverick Berner Marquette University, Dennis Brylow Marquette University

11:00 - 12:30	Morning Paper SessionJENSFEST at Pasadena

11:00 25m Talk		Towards Verification of a Denotational Semantics of Inheritance JENSFEST Peter D. Mosses Delft University of Technology and Swansea University DOI File Attached
11:25 25m Talk		Correct Compilation of Concurrent C Code JENSFEST John Bender Sandia National Laboratories
11:50 25m Talk		Unboxing Virgil ADTs For Fun and Profit JENSFEST Bradley Wei Jie Teo Jane Street, Ben L. Titzer Carnegie Mellon University

14:00 - 15:30	Afternoon Paper SessionJENSFEST at Pasadena

14:00 20m Keynote		Jens, the Ultimate PL Renaissance man! JENSFEST Vivek Sarkar Rice University, USA
14:20 25m Talk		The Essence of the Flyweight Design Pattern JENSFEST Fernando Magno Quintão Pereira Federal University of Minas Gerais, Caio Raposo Universidade Federal de Minas Gerais
14:45 25m Talk		The Normalization Barrier Revisited JENSFEST Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
15:10 20m Talk		Input Reduction with Reduction Trees JENSFEST Christian Gram Kalhauge Technical University of Denmark

16:00 - 17:30	Final SessionJENSFEST at Pasadena

16:00 20m Talk		Stories of Jens Palsberg for Fun and Profit JENSFEST V Krishna Nandivada IIT Madras
16:20 20m Talk		Dennis's talk JENSFEST Dennis Brylow Marquette University
16:40 10m Talk		Automated Repairs for Resource Leak Warnings JENSFEST Akshay Utture Uber Technologies Inc.
16:50 25m Talk		Nested Summations JENSFEST Olivier Danvy Yale-NUS College and School of Computing, Singapore DOI File Attached
17:15 15m Talk		Closing Remarks from Jens JENSFEST Jens Palsberg University of California, Los Angeles (UCLA)

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:20	REBASESPLASH REBASE at Pasadena Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University

10:40 60m Live Q&A		Interview with Alan Kay SPLASH REBASE Alan Kay Viewpoints Research Institute, Gilad Bracha F5
11:45 35m Talk		Fil-C: memory safety with fanatical C/C++ compatibility SPLASH REBASE Filip Pizlo Apple

13:40 - 15:20	REBASESPLASH REBASE at Pasadena Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University

13:40 30m Talk		Lessons Learned from Building GitHub Copilot(s) SPLASH REBASE Eddie Aftandilian GitHub Next
14:15 30m Talk		From AI Software Engineers to AI Knowledge Workers SPLASH REBASE Erik Meijer Facebook
14:50 30m Talk		Apps and their Stores: An Alternative History SPLASH REBASE Gilad Bracha F5

16:00 - 17:40	REBASESPLASH REBASE at Pasadena Chair(s): Ben L. Titzer Carnegie Mellon University

16:00 30m Talk		Verse - a new functional logic language SPLASH REBASE Lennart Augustsson Epic Games
16:35 60m Panel		JavaScript virtual machine evolution SPLASH REBASE Manuel Serrano Inria; Université Côte d’Azur, Shu-yu Guo Google, Saam Barati Epic Games, Matthew Gaudet Mozilla

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:20	Teaching LanguagesSPLASH -E at Pasadena

10:40 20m Talk		Gender Differences in Story, Game and Visual Adventures in Hedy SPLASH -E Shirley de Wit Delft University of Technology, Felienne Hermans Vrije Universiteit Amsterdam, Marcus Specht Delft University of Technology, Efthimia Aivaloglou Delft University of Technology
11:00 20m Talk		Roles of Variables in the Hedy programming language SPLASH -E Julia Vanwijnsberghe-Bolt Vrije Universiteit Amsterdam, Felienne Hermans Vrije Universiteit Amsterdam
11:20 20m Break		SPLASH-E Break SPLASH -E
11:40 20m Talk		Using Computation Graphs to Explain Nondeterminism to Students SPLASH -E Marco T Morazan Seton Hall University, Oliwia Kempinski
12:00 20m Talk		Visualizing Composed Turing Machines SPLASH -E Marco T Morazan Seton Hall University, Tijana Minic Seton Hall University, Oliwia Kempinski

13:40 - 15:20	Interactive Syllabus Workshop and Natural LanguageSPLASH -E at Pasadena Chair(s): Rose Bohrer Worcester Polytechnic Institute

13:40 60m Other		Interactive Syllabus Workshop SPLASH -E
14:40 20m Talk		Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced SPLASH -E Mazyar Seraj Eindhoven University of Technology, Mauricio Verano Merino Vrije Universiteit Amsterdam, Ebrahim Rahimi Open University, the Netherlands, Lina Ochoa Eindhoven University of Technology DOI Pre-print
15:00 20m Talk		A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education SPLASH -E Marcella Veldthuis VU Amsterdam, Felienne Hermans Vrije Universiteit Amsterdam

16:00 - 17:40	Strategies and ToolsSPLASH -E at Pasadena

16:00 20m Talk		ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises SPLASH -E Lucas Van Praet KU Leuven, Belgium, Jesse Hoobergs KU Leuven, Tom Schrijvers KU Leuven
16:20 20m Talk		An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course SPLASH -E Olivier Goletti ICTEAM, UCLouvain, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Felienne Hermans Vrije Universiteit Amsterdam DOI Pre-print
16:40 20m Talk		Judicious: API Documentation for Novices SPLASH -E Luca Chiodini USI Lugano, Simone Piatti USI Lugano, Matthias Hauswirth USI Lugano
17:00 20m Talk		Mocking Temporal Logic SPLASH -E Colin Gordon Drexel University
17:20 20m Day closing		Closing Remarks SPLASH -E

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:20	Probabilistic Programming and Analysis 2SPLASH OOPSLA at Pasadena Chair(s): Xin Zhang Peking University

11:00 20m Talk		Programmable MCMC with Soundly Composed Guide Programs SPLASH OOPSLA Long Pham Carnegie Mellon University, Di Wang Peking University, Feras Saad Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI
11:20 20m Talk		Quantitative Bounds on Resource Usage of Probabilistic Programs SPLASH OOPSLA Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Tobias Meggendorfer Lancaster University, UK (Leipzig Campus), Đorđe Žikelić Singapore Management University, Singapore DOI
11:40 20m Talk		Sensitivity by ParametricityOOPSLA 2024 Distinguished Artifact Award SPLASH OOPSLA Elisabet Lobo-Vesga DPella AB, Carlos Tomé Cortiñas Chalmers University of Technology, Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden, Marco Gaboardi Boston University DOI
12:00 20m Talk		Tachis: Higher-Order Separation Logic with Credits for Expected Costs SPLASH OOPSLA Philipp G. Haselwarter Aarhus University, Kwing Hei Li Aarhus University, Markus de Medeiros New York University, Simon Oddershede Gregersen New York University, Alejandro Aguirre Aarhus University, Joseph Tassarotti New York University, Lars Birkedal Aarhus University DOI Pre-print

13:50 - 15:30	Types and Gradual Typing 2SPLASH OOPSLA at Pasadena Chair(s): Fabian Muehlboeck Australian National University

13:50 20m Talk		Degrees of Separation: A Flexible Type System for Safe Concurrency SPLASH OOPSLA Yichen Xu EPFL, Aleksander Boruch-Gruszecki Charles University, Martin Odersky EPFL DOI
14:10 20m Talk		Full Iso-recursive Types SPLASH OOPSLA Litao Zhou University of Hong Kong, Qianyong Wan The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI
14:30 20m Talk		Gradually Typed Languages Should Be Vigilant! SPLASH OOPSLA Olek Gierczak Northeastern University, Lucy Menon Northeastern University, Christos Dimoulas Northwestern University, Amal Ahmed Northeastern University, USA DOI
14:50 20m Talk		Merging Gradual Typing SPLASH OOPSLA Wenjia Ye National University of Singapore, Bruno C. d. S. Oliveira University of Hong Kong, Matías Toro University of Chile DOI
15:10 20m Talk		Persimmon: Nested Family Polymorphism with Extensible Variant Types SPLASH OOPSLA Anastasiya Kravchuk-Kirilyuk Harvard University, Gary Feng University of Waterloo, Jonas Iskander Harvard University, Yizhou Zhang University of Waterloo, Nada Amin Harvard University DOI

16:00 - 17:40	EffectsSPLASH OOPSLA at Pasadena Chair(s): Jonathan Aldrich Carnegie Mellon University

16:00 20m Talk		Effect handlers for C via coroutines SPLASH OOPSLA Mario Alvarez-Picallo Huawei Research Centre, Teodoro Freund Huawei Research Centre, Dan Ghica Huawei, Sam Lindley The University of Edinburgh DOI
16:20 20m Talk		Effects and Coeffects in Call-By-Push-Value SPLASH OOPSLA Cassia Torczon University of Pennsylvania, Emmanuel Suarez Acevedo Cornell University, Shubh Agrawal University of Michigan, Joey Velez-Ginorio , Stephanie Weirich University of Pennsylvania DOI
16:40 20m Talk		Lexical Effect Handlers, Directly SPLASH OOPSLA Cong Ma University of Waterloo, Zhaoyi Ge University of Waterloo, Edward Lee University of Waterloo, Yizhou Zhang University of Waterloo DOI
17:00 20m Talk		Higher-Order Model Checking of Effect-Handling Programs with Answer-Type ModificationRemote SPLASH OOPSLA Taro Sekiyama National Institute of Informatics; SOKENDAI, Hiroshi Unno Tohoku University DOI

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pasadena	UNSOUND Welcome																								UNSOUND Applications																																				UNSOUND Types																								UNSOUND OOP

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pasadena	SPLASH PLMW Welcome to PLMW!																								SPLASH PLMW Grad Student Life																																				SPLASH PLMW Post-PhD & Mentoring																								SPLASH PLMW Context & Next Steps

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pasadena	JENSFEST Opening Session																								JENSFEST Morning Paper Session																																				JENSFEST Afternoon Paper Session																								JENSFEST Final Session

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pasadena									SPLASH REBASE REBASE																																				SPLASH REBASE REBASE																												SPLASH REBASE REBASE

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pasadena									SPLASH -E Teaching Languages																																				SPLASH -E Interactive Syllabus Workshop and Natural Language																												SPLASH -E Strategies and Tools

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pasadena	SPLASH OOPSLA Probabilistic Programming and Analysis 2																																		SPLASH OOPSLA Types and Gradual Typing 2																										SPLASH OOPSLA Effects

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Pasadena				UNSOUND Welcome to UNSOUND 10:15 - 10:30									UNSOUND Taming Unsoundness with Gradual Abstract Interpretation 11:00 - 11:30						UNSOUND Publishable Network Contracts in Scrapscript 11:30 - 12:00																																				UNSOUND On Distributive Subtyping with Finitary and Infinitary Unions and Inter ... 14:30 - 15:00						UNSOUNDOnline MeDeTy: An Unsound Object Based Encoding of Propositions as Types 15:00 - 15:30												UNSOUNDOnline From FP to OOP and Back, Consistently 16:00 - 16:30						UNSOUND Java Method-Local Inner Classes are Unsound 16:30 - 17:00						UNSOUNDOnline The Inexact Superclass Problem 17:00 - 17:30

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Pasadena				SPLASH PLMW Welcome to SPLASH! 09:15 - 09:30			SPLASH PLMW Meet PLMW Ice Breaker 09:30 - 10:14									SPLASH PLMW SIGPLAN-M Introduction 10:15 - 10:30									SPLASH PLMW PhD Life Panel 11:00 - 12:30																																				SPLASH PLMW Post-PhD Careers & Life Panel 14:00 - 14:45									SPLASH PLMW Speed Mentoring Sessions 14:45 - 15:30															SPLASH PLMW How to Design Talks 16:00 - 17:00												SPLASH PLMW What's Next? 17:01 - 17:30

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Pasadena	JENSFEST Welcome from Todd Millstein 09:00 - 09:10		JENSFEST Coccinelle: Program transformation in the real world 09:10 - 09:30				JENSFEST Lost and Found in the Fog of Trust 09:30 - 09:55					JENSFEST MiniJava on RISC-V: A Game of Global Compilers Domination 09:55 - 10:20													JENSFEST Towards Verification of a Denotational Semantics of Inheritance 11:00 - 11:25					JENSFEST Correct Compilation of Concurrent C Code 11:25 - 11:50					JENSFEST Unboxing Virgil ADTs For Fun and Profit 11:50 - 12:15																										JENSFEST Jens, the Ultimate PL Renaissance man! 14:00 - 14:20				JENSFEST The Essence of the Flyweight Design Pattern 14:20 - 14:45					JENSFEST The Normalization Barrier Revisited 14:45 - 15:10					JENSFEST Input Reduction with Reduction Trees 15:10 - 15:30										JENSFEST Stories of Jens Palsberg for Fun and Profit 16:00 - 16:20				JENSFEST Dennis's talk 16:20 - 16:40				JENSFEST Automated Repairs for Resource Leak Warnings 16:40 - 16:50		JENSFEST Nested Summations 16:50 - 17:15					JENSFEST Closing Remarks from Jens 17:15 - 17:30

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Pasadena									SPLASH REBASE Interview with Alan Kay 10:40 - 11:40													SPLASH REBASE Fil-C: memory safety with fanatical C/C++ compatibility 11:45 - 12:20																							SPLASH REBASE Lessons Learned from Building GitHub Copilot(s) 13:40 - 14:10							SPLASH REBASE From AI Software Engineers to AI Knowledge Workers 14:15 - 14:45							SPLASH REBASE Apps and their Stores: An Alternative History 14:50 - 15:20														SPLASH REBASE Verse - a new functional logic language 16:00 - 16:30							SPLASH REBASE JavaScript virtual machine evolution 16:35 - 17:35

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Pasadena									SPLASH -E Gender Differences in Story, Game and Visual Adventures in Hedy 10:40 - 11:00				SPLASH -E Roles of Variables in the Hedy programming language 11:00 - 11:20				SPLASH -E SPLASH-E Break 11:20 - 11:40				SPLASH -E Using Computation Graphs to Explain Nondeterminism to Students 11:40 - 12:00				SPLASH -E Visualizing Composed Turing Machines 12:00 - 12:20																				SPLASH -E Interactive Syllabus Workshop 13:40 - 14:40												SPLASH -E Programming Smart Objects: How Young Learners’ Programming Skills, Atti ... 14:40 - 15:00				SPLASH -E A Word About Programming: Applying a Natural Language Vocabulary Acquis ... 15:00 - 15:20												SPLASH -E ASSIST: Automated Feedback Generation for Syntax and Logical Errors in ... 16:00 - 16:20				SPLASH -E An Observational Study of Undergraduate Teaching Assistants' use of Sub ... 16:20 - 16:40				SPLASH -E Judicious: API Documentation for Novices 16:40 - 17:00				SPLASH -E Mocking Temporal Logic 17:00 - 17:20				SPLASH -E Closing Remarks 17:20 - 17:40

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Pasadena	SPLASH OOPSLA Programmable MCMC with Soundly Composed Guide Programs 11:00 - 11:20				SPLASH OOPSLA Quantitative Bounds on Resource Usage of Probabilistic Programs 11:20 - 11:40				SPLASH OOPSLAOOPSLA 2024 Distinguished Artifact Award Sensitivity by Parametricity 11:40 - 12:00				SPLASH OOPSLA Tachis: Higher-Order Separation Logic with Credits for Expected Costs 12:00 - 12:20																						SPLASH OOPSLA Degrees of Separation: A Flexible Type System for Safe Concurrency 13:50 - 14:10				SPLASH OOPSLA Full Iso-recursive Types 14:10 - 14:30				SPLASH OOPSLA Gradually Typed Languages Should Be Vigilant! 14:30 - 14:50				SPLASH OOPSLA Merging Gradual Typing 14:50 - 15:10				SPLASH OOPSLA Persimmon: Nested Family Polymorphism with Extensible Variant Types 15:10 - 15:30										SPLASH OOPSLA Effect handlers for C via coroutines 16:00 - 16:20				SPLASH OOPSLA Effects and Coeffects in Call-By-Push-Value 16:20 - 16:40				SPLASH OOPSLA Lexical Effect Handlers, Directly 16:40 - 17:00				SPLASH OOPSLARemote Higher-Order Model Checking of Effect-Handling Programs with Answer-Typ ... 17:00 - 17:20

Room information: Pasadena

Program Display Configuration

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

UNSOUND

UNSOUND

UNSOUND

UNSOUND

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH PLMW

SPLASH PLMW

SPLASH PLMW

SPLASH PLMW

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

JENSFEST

JENSFEST

JENSFEST

JENSFEST

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH REBASE

SPLASH REBASE

SPLASH REBASE

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH -E

SPLASH -E

SPLASH -E

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change