GPCE 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
GPCE 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
GPCE 2024
GPCE 2023
GPCE 2022
GPCE 2021
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
GPCE 2011
Sign in
Sign up
SPLASH 2024
(
series
) /
GPCE 2024 (
series
) /
Hilton Pasadena
/
Room information: Pasadena
Venue
Hilton Pasadena
Room name
Pasadena
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Welcome
UNSOUND
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
Applications
UNSOUND
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
Types
UNSOUND
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
OOP
UNSOUND
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 Problem
Online
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 Session
VIVEKFEST
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 Session
VIVEKFEST
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 Session
VIVEKFEST
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 Session
VIVEKFEST
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 Session
JENSFEST
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
REBASE
SPLASH 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
REBASE
SPLASH 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
REBASE
SPLASH 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 Languages
SPLASH -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 Language
SPLASH -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 Tools
SPLASH -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 2
SPLASH 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 2
SPLASH 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
Effects
SPLASH 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
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
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
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
JENSFEST
JENSFEST
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: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
UNSOUND
Online
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
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
Room
16:00
15
30
45
17:00
15
30
45
Pasadena
JENSFEST
Closing Remarks from Jens
16:00 - 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 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
x
Fri 4 Oct 17:05