SLE 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
SPLASH 2024 (series) / SLE 2024 (series) / Hilton Pasadena /

Room information: Pasadena

VenueHilton Pasadena
Room namePasadena
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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:00
30m
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 Types
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, Consistently
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
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
Morning SessionVIVEKFEST at Pasadena
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
09:00
10m
Talk
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
VIVEKFEST
Raj Barik Gitar Co., Rajiv Gupta University of California at Riverside (UCR), Jens Palsberg University of California, Los Angeles (UCLA)
09:10
20m
Research paper
Scalable Small Message Aggregation on Modern Interconnects
VIVEKFEST
Aaron Welch , Oscar Hernandez ORNL, Stephen Poole , Wendy Poole
09:30
20m
Talk
Michael Hind (IBM Research)
VIVEKFEST

09:50
20m
Talk
Concurrent Collections: An Overview
VIVEKFEST
Kathleen Knobe Rice University, Zoran Budimlic , Robert Harrison , Mohammad Mahdi Javanmard Stony Brook University, NY, USA, Louis-Noël Pouchet Colorado State University
10:10
20m
Research paper
Hidden assumptions in static verification of data-race free GPU programs
VIVEKFEST
Tiago Cogumbreiro University of Massachusetts Boston, Julien Lange Royal Holloway, University of London
11:00 - 12:30
Pre-lunch SessionVIVEKFEST at Pasadena
Chair(s): Rajiv Gupta University of California at Riverside (UCR)
11:00
20m
Research paper
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
VIVEKFEST
Jun Shirako Georgia Institute of Technology, Tong Zhou Georgia Institute of Technology, Akihiro Hayashi Georgia Institute of Technology
11:20
20m
Research paper
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
VIVEKFEST
Emily Tucker , Louis-Noël Pouchet Colorado State University, USA
11:40
10m
Talk
Nandivada Krishna (IIT Madras)
VIVEKFEST
V Krishna Nandivada IIT Madras
11:50
20m
Research paper
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
VIVEKFEST
John Pickar , Tohma Kawasumi , Hiroki Mikami Waseda University, Japan, Keiji Kimura Waseda University; Japan, Hironori Kasahara Waseda University, Japan
12:10
20m
Research paper
 A Formal Model for Portable, Heterogeneous Accelerator Programming
VIVEKFEST
Zachary Sullivan , Samuel D. Pollard Sandia National Laboratories
14:00 - 15:30
Post-lunch SessionVIVEKFEST at Pasadena
Chair(s): Raj Barik Gitar Co.
14:00
20m
Research paper
Learning to harness in-vitro biological neural networks
VIVEKFEST
Frithjof Gressmann , Lawrence Rauchwerger University of Illinois at Urbana-Champaign
14:20
10m
Talk
Jason Cong (UCLA)
VIVEKFEST
Jason Cong UCLA
14:30
20m
Research paper
Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
VIVEKFEST
Oscar Hernandez ORNL, Aaron Welch , Wendy Poole , Stephen Poole
14:50
10m
Talk
Prasanth Chatarasi (IBM Research)
VIVEKFEST
Prasanth Chatarasi IBM Research
15:00
20m
Research paper
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
VIVEKFEST
Aniruddha Mysore , Youssef Elmougy Georgia Institute of Technology, USA, Akihiro Hayashi Georgia Institute of Technology
15:20
10m
Other
Play pre-recorded videos from ex-colleagues
VIVEKFEST

16:00 - 17:30
Afternoon SessionVIVEKFEST at Pasadena
Chair(s): Raj Barik Gitar Co.
16:00
20m
Research paper
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
VIVEKFEST
Akihiro Hayashi Georgia Institute of Technology, Shubhendra Singhal , Youssef Elmougy Georgia Institute of Technology, USA, Jiawei Yang
16:20
10m
Talk
Max Grossman (Cruise)
VIVEKFEST
Max Grossman Rice University, USA
16:30
20m
Research paper
Retrieving Unknown SMT Formulas via Structural Mutations
VIVEKFEST
Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
16:50
30m
Talk
Vivek Sarkar (Georgia Tech)
VIVEKFEST
Vivek Sarkar Georgia Institute of Technology
17:20
10m
Talk
Closing
VIVEKFEST

Tue 22 Oct

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

16:00 - 17:30
Final SessionJENSFEST at Pasadena
16:00
90m
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

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
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 University of Bremen & German Research Center for Artificial Intelligence (DFKI), Mauricio Verano Merino Vrije Universiteit Amsterdam, Ebrahim Rahimi Open University, the Netherlands, Lina Ochoa Eindhoven University of Technology
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
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
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
11:40
20m
Talk
Sensitivity by Parametricity
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
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
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 EPFL, Martin Odersky EPFL
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
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
14:50
20m
Talk
Merging Gradual Typing
SPLASH OOPSLA
Wenjia Ye University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Matías Toro University of Chile
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
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 University of Edinburgh
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
16:40
20m
Talk
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
SPLASH OOPSLA
Taro Sekiyama National Institute of Informatics; SOKENDAI, Hiroshi Unno Tohoku University
17:00
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

Sun 20 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pasadena

UNSOUND

Welcome

UNSOUND

Applications

UNSOUND

Types

UNSOUND

OOP

Mon 21 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pasadena

VIVEKFEST

Morning Session

VIVEKFEST

Pre-lunch Session

VIVEKFEST

Post-lunch Session

VIVEKFEST

Afternoon Session

Tue 22 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pasadena

JENSFEST

JENSFEST

JENSFEST

JENSFEST

Final Session

Wed 23 Oct

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Pasadena

SPLASH REBASE

REBASE

SPLASH REBASE

REBASE

SPLASH REBASE

REBASE

Thu 24 Oct

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
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

Room11:003012:003013:003014:003015:003016:003017:0030
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Pasadena
UNSOUND
Welcome to UNSOUND
10:00 - 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
UNSOUND
MeDeTy: An Unsound Object Based Encoding of Propositions as Types
15:00 - 15:30
UNSOUND
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Pasadena
VIVEKFEST
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
09:00 - 09:10
VIVEKFEST
Scalable Small Message Aggregation on Modern Interconnects
09:10 - 09:30
VIVEKFEST
Michael Hind (IBM Research)
09:30 - 09:50
VIVEKFEST
Concurrent Collections: An Overview
09:50 - 10:10
VIVEKFEST
Hidden assumptions in static verification of data-race free GPU programs
10:10 - 10:30
VIVEKFEST
Intrepydd: Toward Performance, Productivity, and Portability for Massiv ...
11:00 - 11:20
VIVEKFEST
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Inte ...
11:20 - 11:40
VIVEKFEST
Nandivada Krishna (IIT Madras)
11:40 - 11:50
VIVEKFEST
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
11:50 - 12:10
VIVEKFEST
A Formal Model for Portable, Heterogeneous Accelerator Programming
12:10 - 12:30
VIVEKFEST
Learning to harness in-vitro biological neural networks
14:00 - 14:20
VIVEKFEST
Jason Cong (UCLA)
14:20 - 14:30
VIVEKFEST
Preliminary Study on Message Aggregation Optimizations for Energy Savin ...
14:30 - 14:50
VIVEKFEST
Prasanth Chatarasi (IBM Research)
14:50 - 15:00
VIVEKFEST
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on ...
15:00 - 15:20
VIVEKFEST
Play pre-recorded videos from ex-colleagues
15:20 - 15:30
VIVEKFEST
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Stu ...
16:00 - 16:20
VIVEKFEST
Max Grossman (Cruise)
16:20 - 16:30
VIVEKFEST
Retrieving Unknown SMT Formulas via Structural Mutations
16:30 - 16:50
VIVEKFEST
Vivek Sarkar (Georgia Tech)
16:50 - 17:20
VIVEKFEST
Closing
17:20 - 17:30

Tue 22 Oct

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

Room16:0015304517:00153045
Pasadena
JENSFEST
Closing Remarks from Jens
16:00 - 17:30

Wed 23 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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 OOPSLA
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
Higher-Order Model Checking of Effect-Handling Programs with Answer-Typ ...
16:40 - 17:00
SPLASH OOPSLA
Lexical Effect Handlers, Directly
17:00 - 17:20