SPLASH 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
Toggle navigation
Attending
Venue: Hilton Pasadena
Students
Registration
Visa Support Letters
Sponsoring
Code of conduct
Instructions for Presenters
Chair's Welcome
How to SPLASH (Quick Attendee Guide)
Mt. Baldy Bicycle Trip
Attractions Around Pasadena
Live Stream
Program
SPLASH Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2024
DEI Activities
Doctoral Symposium
Keynotes
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
REBASE
SPLASH-E
Student Research Competition
Volunteers
Workshops
Co-hosted Conferences
GPCE
SLE
Workshops
HATRA
IWACO
JENSFEST
LIVE
NSAD
PAINT
ProLaLa
UNSOUND
VIVEKFEST
VMIL
VMIL
- A tour of CPython's runtime
Co-hosted Symposia
SAS
SAS
SAS
Artifacts
Organization
SPLASH 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
REBASE
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JENSFEST
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
NSAD
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
ProLaLa
Organizing Committee
Program Committee
UNSOUND
Organizing Committee
VIVEKFEST
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
SAS
SAS 2024
Organizing Committee
SAS 2024
Program Committee
SAS Artifacts
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2024
(
series
) /
Hilton Pasadena
/
Room information: IBR West
Venue
Hilton Pasadena
Room name
IBR West
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
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
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:40 - 12:20
Ownership, Security, and Privacy
OOPSLA 2024
at
IBR West
Chair(s):
Tobias Wrigstad
Uppsala University
10:40
20m
Talk
Law and Order for Typestate with Borrowing
OOPSLA 2024
Hannes Saffrich
University of Freiburg
,
Yuki Nishida
Tohoku University
,
Peter Thiemann
University of Freiburg, Germany
DOI
11:00
20m
Talk
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
OOPSLA 2024
Qianchuan Ye
University at Buffalo, SUNY
,
Benjamin Delaware
Purdue University
DOI
11:20
20m
Talk
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
OOPSLA 2024
Aleksander Boruch-Gruszecki
Charles University
,
Adrien Ghosn
Microsoft Research
,
Mathias Payer
EPFL
,
Clément Pit-Claudel
EPFL
DOI
11:40
20m
Talk
Automatically Reducing Privilege for Access Control Policies
OOPSLA 2024
Loris D'Antoni
University of Wisconsin-Madison
,
Shuo Ding
Georgia Institute of Technology
,
Amit Goel
AWS
,
Mathangi Ramesh
Amazon Web Services
,
Neha Rungta
Amazon Web Services
,
Chungha Sung
Amazon Web Services, USA
DOI
12:00
20m
Talk
Functional Ownership through Fractional Uniqueness
OOPSLA 2024
Danielle Marshall
University of Glasgow; University of Kent
,
Dominic Orchard
University of Kent; University of Cambridge
DOI
13:40 - 15:20
Performance Analysis and Optimisation 1
OOPSLA 2024
at
IBR West
Chair(s):
Manu Sridharan
University of California at Riverside
13:40
20m
Talk
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
OOPSLA 2024
Gabriel Ryan
Columbia University
,
Burcu Cetin
Columbia University
,
Christian Yongwhan Lim
Columbia University
,
Suman Jana
Columbia University
DOI
14:00
20m
Talk
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
OOPSLA 2024
Luke Geeson
University College London
,
James Brotherston
,
Wilco Dijkstra
Arm Ltd
,
Alastair F. Donaldson
Imperial College London
,
Lee Smith
Arm
,
Tyler Sorensen
University of California at Santa Cruz
,
John Wickerson
Imperial College London
DOI
Media Attached
14:20
20m
Talk
Practical Verification Of Smart Contracts Using Memory Splitting
OOPSLA 2024
Shelly Grossman
Tel Aviv University
,
Alexander Bakst
Certora
,
Sameer Arora
Certora Inc.
,
John Toman
Certora, inc.
,
Chandrakana Nandi
Certora
,
Mooly Sagiv
Tel Aviv University
DOI
14:40
20m
Talk
Fast and Optimal Extraction for Sparse Equality Graphs
OOPSLA 2024 Distinguished Paper Award
OOPSLA 2024
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
,
Chun Kit Lam
Hong Kong University of Science and Technology
,
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
DOI
15:00
20m
Talk
HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Parallelism
OOPSLA 2024
Alexis Le Glaunec
Rice University
,
Lingkun Kong
Rice University
,
Konstantinos Mamouras
Rice University
DOI
16:00 - 17:40
Performance Analysis and Optimisation 2
OOPSLA 2024
at
IBR West
Chair(s):
Matthew Flatt
University of Utah
16:00
20m
Talk
Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
OOPSLA 2024
David Schwartz
University of Illinois at Chicago
,
Ankith Kowshik
University of Illinois Chicago
,
Luís Pina
University of Illinois at Chicago
DOI
16:20
20m
Talk
libLISA: Instruction Discovery and Analysis on x86-64
OOPSLA 2024
Jos Craaijo
Open Universiteit
,
Freek Verbeek
Open Universiteit & Virginia Tech
,
Binoy Ravindran
Virginia Tech
DOI
16:40
20m
Talk
Extending the C/C++ Memory Model with Inline Assembly
OOPSLA 2024
Paulo Emílio de Vilhena
Imperial College London
,
Ori Lahav
Tel Aviv University
,
Viktor Vafeiadis
MPI-SWS
,
Azalea Raad
Imperial College London
DOI
17:00
20m
Talk
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
OOPSLA 2024
Aaditya Naik
University of Pennsylvania
,
Adam Stein
University of Pennsylvania
,
Yinjun Wu
University of Pennsylvania
,
Mayur Naik
University of Pennsylvania
,
Eric Wong
DOI
17:20
20m
Talk
Verification of Neural Networks' Global Robustness
Remote
OOPSLA 2024
Anan Kabaha
Technion, Israel Institute of Technology
,
Dana Drachsler Cohen
Technion
DOI
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:40 - 12:20
Datalog
OOPSLA 2024
at
IBR West
Chair(s):
John Regehr
University of Utah
10:40
20m
Talk
A Typed Multi-Level Datalog IR and its Compiler Framework
OOPSLA 2024
David Klopp
JGU Mainz
,
Sebastian Erdweg
JGU Mainz
,
André Pacak
JGU Mainz
DOI
11:00
20m
Talk
Finding Cross-rule Optimization Bugs in Datalog Engines
OOPSLA 2024
Chi Zhang
Nanjing University
,
Linzhang Wang
Nanjing University
,
Manuel Rigger
National University of Singapore
DOI
11:20
20m
Talk
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
OOPSLA 2024 Distinguished Artifact Award
OOPSLA 2024
Aaron Bembenek
University of Melbourne
,
Michael Greenberg
Stevens Institute of Technology
,
Stephen Chong
Harvard University
DOI
Pre-print
11:40
20m
Talk
Object-Oriented Fixpoint Programming with Datalog
OOPSLA 2024
David Klopp
JGU Mainz
,
Sebastian Erdweg
JGU Mainz
,
André Pacak
JGU Mainz
DOI
12:00
20m
Talk
Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
OOPSLA 2024
Zhenyu Yan
Peking University
,
Xin Zhang
Peking University
,
Peng Di
Ant Group
DOI
13:40 - 15:20
Program Synthesis and Verification 1
OOPSLA 2024
at
IBR West
Chair(s):
Benjamin Delaware
Purdue University
13:40
20m
Talk
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
OOPSLA 2024
Benjamin Mariano
University of Texas at Austin
,
Ziteng Wang
University of Texas at Austin
,
Shankara Pailoor
University of Texas at Austin
,
Christian Collberg
University of Arizona
,
Işıl Dillig
University of Texas at Austin
DOI
14:00
20m
Talk
Finding ∀∃ Hyperbugs Using Symbolic Execution
OOPSLA 2024
Arthur Correnson
CISPA Helmholtz Center for Information Security
,
Tobias Nießen
TU Wien
,
Bernd Finkbeiner
CISPA Helmholtz Center for Information Security
,
Georg Weissenbacher
TU Wien
DOI
14:20
20m
Talk
Mechanizing the CMP Abstraction for Parameterized Verification
OOPSLA 2024
Yongjian Li
Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
,
Bohua Zhan
Institute of Software, Chinese Academy of Sciences
,
Jun Pang
University of Luxembourg
DOI
14:40
20m
Talk
Model Checking Distributed Protocols in Must
OOPSLA 2024
Constantin Enea
LIX, CNRS, Ecole Polytechnique
,
Dimitra Giannakopoulou
Amazon Web Services
,
Michalis Kokologiannakis
ETH Zurich
,
Rupak Majumdar
MPI-SWS
DOI
15:00
20m
Talk
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
OOPSLA 2024
Nikhil Pimpalkhare
Princeton University
,
Zachary Kincaid
Princeton University
DOI
16:00 - 17:40
Types and Gradual Typing 1
OOPSLA 2024
at
IBR West
Chair(s):
Fabian Muehlboeck
Australian National University
16:00
20m
Talk
Intensional Functions
OOPSLA 2024
Zachary Palmer
Swarthmore College
,
Nathaniel Wesley Filardo
Microsoft
,
Ke Wu
Johns Hopkins University
DOI
16:20
20m
Talk
Qualifying System F-sub
OOPSLA 2024
Edward Lee
University of Waterloo
,
Yaoyu Zhao
University of Waterloo
,
Ondřej Lhoták
University of Waterloo
,
James You
University of Waterloo
,
Kavin Satheeskumar
University of Waterloo
,
Jonathan Immanuel Brachthäuser
University of Tübingen
DOI
16:40
20m
Talk
Refinement Type Refutations
OOPSLA 2024
Robin Webbers
Vrije Universiteit Amsterdam
,
Klaus von Gleissenthall
Vrije Universiteit Amsterdam
,
Ranjit Jhala
UCSD
DOI
17:00
20m
Talk
Type Inference Logics
OOPSLA 2024
Denis Carnier
KU Leuven
,
François Pottier
Inria
,
Steven Keuchel
Vrije Universiteit Brussel
DOI
17:20
20m
Talk
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN)
OOPSLA 2024
Guannan Wei
Inria/ENS; Tufts University
,
Oliver Bračevac
EPFL, LAMP
,
Songlin Jia
Purdue University, USA
,
Yuyan Bao
Augusta University
,
Tiark Rompf
Purdue University
Link to publication
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
11:00 - 12:20
Static Analysis and Program Verification 4
OOPSLA 2024
at
IBR West
Chair(s):
Anders Møller
Aarhus University
11:00
20m
Talk
A Learning-Based Approach to Static Program Slicing
OOPSLA 2024
Aashish Yadavally
University of Texas at Dallas
,
Yi Li
University of Texas at Dallas
,
Shaohua Wang
Central University of Finance and Economics
,
Tien N. Nguyen
University of Texas at Dallas
DOI
Pre-print
11:20
20m
Talk
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
OOPSLA 2024
Haofeng Li
Institute of Computing Technology at Chinese Academy of Sciences
,
Chenghang Shi
SKLP, Institute of Computing Technology, CAS
,
Jie Lu
SKLP, Institute of Computing Technology, CAS
,
Lian Li
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Jingling Xue
UNSW Sydney
DOI
11:40
20m
Talk
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
OOPSLA 2024
Shashin Halalingaiah
UT Austin, IIT Madras
,
Vijay Sundaresan
IBM Canada
,
Daryl Maier
IBM Canada
,
V Krishna Nandivada
IIT Madras
DOI
12:00
20m
Talk
UniSparse: An Intermediate Language for General Sparse Format Customization
OOPSLA 2024
Jie Liu
Cornell University
,
Zhongyuan Zhao
Qualcomm
,
Zijian Ding
UCLA
,
Benjamin Brock
Parallel Computing Lab (PCL), Intel
,
Hongbo Rong
Intel Labs
,
Zhiru Zhang
Cornell University, USA
DOI
13:50 - 15:30
Novel Programming Concepts and Paradigms
OOPSLA 2024
at
IBR West
Chair(s):
Tobias Wrigstad
Uppsala University
13:50
20m
Talk
A Case for First-Class Environments
OOPSLA 2024
Jinhao Tan
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
14:10
20m
Talk
Deriving Dependently-Typed OOP from First Principles
OOPSLA 2024 Distinguished Artifact Award
OOPSLA 2024
David Binder
University of Tübingen
,
Ingo Skupin
University of Tübingen
,
Tim Süberkrüb
Aleph Alpha
,
Klaus Ostermann
University of Tübingen
DOI
14:30
20m
Talk
Multiverse Notebook: Shifting Data Scientists to Time Travelers
OOPSLA 2024
Shigeyuki Sato
The University of Electro-Communications
,
Tomoki Nakamaru
The University of Tokyo
DOI
14:50
20m
Talk
The Ultimate Conditional Syntax
OOPSLA 2024 Distinguished Paper Award
OOPSLA 2024
Luyu Cheng
Hong Kong University of Science and Technology
,
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
DOI
15:10
20m
Talk
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
OOPSLA 2024
Caleb Kim
Massachusetts Institute of Technology (MIT)
,
Pai Li
Cornell University, USA
,
Anshuman Mohan
Cornell University
,
Andrew Butt
Cornell University
,
Adrian Sampson
Cornell University
,
Rachit Nigam
Massachusetts Institute of Technology
DOI
16:00 - 17:40
Education and Language Usability
OOPSLA 2024
at
IBR West
Chair(s):
Arjun Guha
Northeastern University; Roblox
16:00
20m
Talk
Forge: A Tool and Language for Teaching Formal Methods
OOPSLA 2024
Tim Nelson
Brown University
,
Ben Greenman
University of Utah
,
Siddhartha Prasad
Brown University
,
Tristan Dyer
Brown University
,
Ethan Bove
Brown University
,
Qianfan Chen
Brown University
,
Charlie Cutting
Brown University
,
Thomas Del Vecchio
Brown University
,
Sidney LeVine
Brown University
,
Julianne Rudner
Brown University
,
Benjamin Ryjikov
Brown University
,
Alexander Varga
Brown University
,
Andrew Wagner
Northeastern University
,
Luke West
Brown University
,
Shriram Krishnamurthi
Brown University
DOI
16:20
20m
Talk
HiPy: Extracting High-Level Semantics From Python Code For Data Processing
OOPSLA 2024
Michael Jungmair
Technical University of Munich
,
Alexis Engelke
TU Munich
,
Jana Giceva
Technical University of Munich
DOI
16:40
20m
Talk
Identifying and Correcting Programming Language Behavior Misconceptions
OOPSLA 2024 Distinguished Paper Award
OOPSLA 2024
Kuang-Chen Lu
Brown University, USA
,
Shriram Krishnamurthi
Brown University
DOI
17:00
20m
Talk
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
OOPSLA 2024
Jialu Zhang
University of Waterloo
,
José Pablo Cambronero
Google, USA
,
Sumit Gulwani
Microsoft
,
Vu Le
Microsoft
,
Ruzica Piskac
Yale University
,
Gustavo Soares
Microsoft
,
Gust Verbruggen
Microsoft
DOI
17:20
20m
Talk
Profiling Programming Language Learning
OOPSLA 2024 Distinguished Paper Award
OOPSLA 2024
Will Crichton
Brown University
,
Shriram Krishnamurthi
Brown University
DOI
Pre-print
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
IBR West
OOPSLA 2024
Ownership, Security, and Privacy
OOPSLA 2024
Performance Analysis and Optimisation 1
OOPSLA 2024
Performance Analysis and Optimisation 2
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
IBR West
OOPSLA 2024
Datalog
OOPSLA 2024
Program Synthesis and Verification 1
OOPSLA 2024
Types and Gradual Typing 1
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
IBR West
OOPSLA 2024
Static Analysis and Program Verification 4
OOPSLA 2024
Novel Programming Concepts and Paradigms
OOPSLA 2024
Education and Language Usability
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
IBR West
SPLASH OOPSLA
Law and Order for Typestate with Borrowing
10:40 - 11:00
SPLASH OOPSLA
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Obli ...
11:00 - 11:20
SPLASH OOPSLA
Gradient: Gradual Compartmentalization via Object Capabilities Tracked ...
11:20 - 11:40
SPLASH OOPSLA
Automatically Reducing Privilege for Access Control Policies
11:40 - 12:00
SPLASH OOPSLA
Functional Ownership through Fractional Uniqueness
12:00 - 12:20
SPLASH OOPSLA
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourie ...
13:40 - 14:00
SPLASH OOPSLA
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics ...
14:00 - 14:20
SPLASH OOPSLA
Practical Verification Of Smart Contracts Using Memory Splitting
14:20 - 14:40
SPLASH OOPSLA
OOPSLA 2024 Distinguished Paper Award
Fast and Optimal Extraction for Sparse Equality Graphs
14:40 - 15:00
SPLASH OOPSLA
HybridSA: GPU Acceleration of Multi-Pattern Regex Matching using Bit Pa ...
15:00 - 15:20
SPLASH OOPSLA
Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for ...
16:00 - 16:20
SPLASH OOPSLA
libLISA: Instruction Discovery and Analysis on x86-64
16:20 - 16:40
SPLASH OOPSLA
Extending the C/C++ Memory Model with Inline Assembly
16:40 - 17:00
SPLASH OOPSLA
TorchQL: A Programming Framework for Integrity Constraints in Machine L ...
17:00 - 17:20
SPLASH OOPSLA
Remote
Verification of Neural Networks' Global Robustness
17:20 - 17:40
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
IBR West
SPLASH OOPSLA
A Typed Multi-Level Datalog IR and its Compiler Framework
10:40 - 11:00
SPLASH OOPSLA
Finding Cross-rule Optimization Bugs in Datalog Engines
11:00 - 11:20
SPLASH OOPSLA
OOPSLA 2024 Distinguished Artifact Award
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
11:20 - 11:40
SPLASH OOPSLA
Object-Oriented Fixpoint Programming with Datalog
11:40 - 12:00
SPLASH OOPSLA
Scaling Abstraction Refinement for Program Analyses in Datalog Using Gr ...
12:00 - 12:20
SPLASH OOPSLA
Control-Flow Deobfuscation using Trace-Informed Compositional Program S ...
13:40 - 14:00
SPLASH OOPSLA
Finding ∀∃ Hyperbugs Using Symbolic Execution
14:00 - 14:20
SPLASH OOPSLA
Mechanizing the CMP Abstraction for Parameterized Verification
14:20 - 14:40
SPLASH OOPSLA
Model Checking Distributed Protocols in Must
14:40 - 15:00
SPLASH OOPSLA
Monotone Procedure Summarization via Vector Addition Systems and Induct ...
15:00 - 15:20
SPLASH OOPSLA
Intensional Functions
16:00 - 16:20
SPLASH OOPSLA
Qualifying System F-sub
16:20 - 16:40
SPLASH OOPSLA
Refinement Type Refutations
16:40 - 17:00
SPLASH OOPSLA
Type Inference Logics
17:00 - 17:20
SPLASH OOPSLA
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separ ...
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
IBR West
SPLASH OOPSLA
A Learning-Based Approach to Static Program Slicing
11:00 - 11:20
SPLASH OOPSLA
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based En ...
11:20 - 11:40
SPLASH OOPSLA
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Resul ...
11:40 - 12:00
SPLASH OOPSLA
UniSparse: An Intermediate Language for General Sparse Format Customization
12:00 - 12:20
SPLASH OOPSLA
A Case for First-Class Environments
13:50 - 14:10
SPLASH OOPSLA
OOPSLA 2024 Distinguished Artifact Award
Deriving Dependently-Typed OOP from First Principles
14:10 - 14:30
SPLASH OOPSLA
Multiverse Notebook: Shifting Data Scientists to Time Travelers
14:30 - 14:50
SPLASH OOPSLA
OOPSLA 2024 Distinguished Paper Award
The Ultimate Conditional Syntax
14:50 - 15:10
SPLASH OOPSLA
Unifying Static and Dynamic Intermediate Languages for Accelerator Gene ...
15:10 - 15:30
SPLASH OOPSLA
Forge: A Tool and Language for Teaching Formal Methods
16:00 - 16:20
SPLASH OOPSLA
HiPy: Extracting High-Level Semantics From Python Code For Data Processing
16:20 - 16:40
SPLASH OOPSLA
OOPSLA 2024 Distinguished Paper Award
Identifying and Correcting Programming Language Behavior Misconceptions
16:40 - 17:00
SPLASH OOPSLA
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
17:00 - 17:20
SPLASH OOPSLA
OOPSLA 2024 Distinguished Paper Award
Profiling Programming Language Learning
17:20 - 17:40
x
Wed 4 Dec 00:10