SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameRoom XII
Room Information

Lobby level

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

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Welcome, Ice Breaker, Mentoring TalkPLMW at Room XII
09:00
10m
Day opening
Welcome
PLMW

09:10
30m
Social Event
Ice Breaker
PLMW

09:40
50m
Talk
Mentoring Talk 1
PLMW
Nate Foster Cornell University
11:00 - 12:30
Mentoring Talk & PhD PanelPLMW at Room XII
11:00
30m
Talk
Mentoring Talk 2
PLMW
Magnus Madsen Aarhus University
11:30
60m
Panel
PhD Panel
PLMW
Luna Phipps-Costin Northeastern University, Noam Zilberstein Cornell University
14:00 - 15:30
Career PanelPLMW at Room XII
14:00
90m
Panel
Career Panel
PLMW
Felienne Hermans Vrije Universiteit Amsterdam, Chandrakana Nandi Certora, Jürgen Cito TU Wien
16:00 - 17:30
Wrap-up, SIGPLAN-M Introduction, Mentoring SessionsPLMW at Room XII
16:00
10m
Day closing
Wrap-up
PLMW

16:10
10m
Talk
SIGPLAN-M Introduction
PLMW

16:20
70m
Social Event
Mentoring Sessions
PLMW

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Keynote and Elevator PitchesDoctoral Symposium at Room XII
09:00
10m
Day opening
Introduction and Welcome
Doctoral Symposium
Michael Coblenz University of California, San Diego
09:10
60m
Keynote
Keynote: Jonathan Aldrich
Doctoral Symposium
Jonathan Aldrich Carnegie Mellon University
10:10
20m
Talk
Lightning talks
Doctoral Symposium

11:00 - 12:30
Machine Learning and SynthesisDoctoral Symposium at Room XII
11:00
30m
Talk
Large Language Models for Automated Program Repair
Doctoral Symposium
Francisco Ribeiro University of Minho & HASLab, INESCTEC
11:30
30m
Talk
Scaling up Program Synthesis to Efficient Algorithms
Doctoral Symposium
Ruyi Ji Peking University
12:00
30m
Talk
Transforming Ideas into Code: Visual Sketching for ML Development
Doctoral Symposium
Luis F. Gomes Carnegie Mellon University
14:00 - 15:30
Compilation and AnalysisDoctoral Symposium at Room XII
14:00
30m
Talk
Remote Just-in-Time Compilation for Dynamic Languages
Doctoral Symposium
Andrej Pečimúth Oracle Labs
14:30
30m
Talk
Reusing Single-Language Analyses for Static Analysis of Multi-Language Programs
Doctoral Symposium
Tobias Roth Technische Universität Darmstadt
15:00
30m
Talk
Semantic Versioning for Python Programs
Doctoral Symposium
16:00 - 17:30
Syntax and DiscussionDoctoral Symposium at Room XII
16:00
30m
Talk
A Pragmatic Approach to Syntax Repair
Doctoral Symposium
Breandan Considine McGill University
16:30
60m
Meeting
Discussion
Doctoral Symposium
Michael Coblenz University of California, San Diego

Thu 26 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
compilation & optimization 2OOPSLA at Room XII
16:00
18m
Talk
Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies
OOPSLA
Oliver Bračevac Galois, Inc., Guannan Wei Purdue University, Songlin Jia Purdue University, Supun Abeysinghe Purdue University, Yuxuan Jiang Purdue University, Yuyan Bao Computer and Cyber Sciences, Augusta University, Georgia, USA, Tiark Rompf Purdue University
16:18
18m
Talk
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
OOPSLA
Octave Larose University of Kent, Sophie Kaleba University of Kent, Humphrey Burchell University of Kent, Stefan Marr University of Kent
DOI Pre-print
16:36
18m
Talk
Reusing Just-in-Time Compiled Code
OOPSLA
Meetesh Kalpesh Mehta Indian Institute of Technology Bombay, Sebastián Krynski Czech Technical University, Hugo Musso Gualandi Czech Technical University in Prague, Manas Thakur Indian Institute of Technology Bombay, Jan Vitek Northeastern University
16:54
18m
Talk
TASTyTruffle: Just-in-time Specialization of Parametric Polymorphism
OOPSLA
Matt D'Souza University of Waterloo, James You University of Waterloo, Ondřej Lhoták University of Waterloo, Aleksandar Prokopec Oracle Labs
17:12
18m
Talk
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
OOPSLA
Girish Mururu Georgia Institute of Technology, Sharjeel Khan Georgia Institute of Technology, Bodhisatwa Chatterjee Georgia Institute of Technology, Chao Chen Georgia Institute of Technology, Chris Porter Georgia Institute of Technology, USA, Ada Gavrilovska Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology

Fri 27 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
software developmentOOPSLA at Room XII
11:00
18m
Talk
Towards Better Semantics Exploration for Browser Fuzzing
OOPSLA
Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Lihua Guo Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University, Qing Liao Harbin Institute of Technology, Zhiyong Wu National University of Defense Technology, Shanshan Li National University of Defense Technology, Bin Gu Beijing Institute of Control Engineering, China
11:18
18m
Talk
Live Pattern Matching with Typed Holes
OOPSLA
Yongwei Yuan Purdue University, Scott Guest University of Michigan, Eric Griffis University of Michigan, Hannah Potter University of Washington, David Moon University of Michigan, Cyrus Omar University of Michigan
DOI
11:36
18m
Talk
Interactive Debugging of Datalog Programs
OOPSLA
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
11:54
18m
Talk
Accelerating Fuzzing through Prefix-Guided Execution
OOPSLA
Shaohua Li ETH Zurich, Zhendong Su ETH Zurich
DOI
12:12
18m
Talk
MemPerf: Profiling Allocator-Induced Performance Slowdowns
OOPSLA
Jin Zhou University of Massachusetts Amherst, Sam Silvestro University of Texas at San Antonio, Jiaxun,Tang University of Massachusetts Amherst, Hanmei Yang University of Massachusetts Amherst, Hongyu Liu University of Texas at San Antonio, Guangming Zeng Synopsys, Bo Wu Colorado School of Mines, Cong Liu University of California at Riverside, Tongping Liu University of Massachusetts at Amherst
14:00 - 15:30
security & privacyOOPSLA at Room XII
14:00
18m
Talk
Compositional Security Definitions for Higher-Order Where Declassification
OOPSLA
Jan Menz MPI-SWS, Andrew K. Hirsch University at Buffalo, SUNY, Peixuan Li Pennsylvania State University, Deepak Garg MPI-SWS
DOI
14:18
18m
Talk
Fat Pointers for Temporal Memory Safety of C
OOPSLA
Jie Zhou University of Rochester, John Criswell University of Rochester, Michael Hicks Amazon Web Services and the University of Maryland
DOI
14:36
18m
Talk
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
OOPSLA
Cong Ma University of Waterloo, Dinghao Wu , Gang Tan Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Duke University, Penn State University
14:54
18m
Talk
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
OOPSLA
Anthony C. J. Fox ARM, Gareth Stockwell ARM, Shale Xiong ARM, Hanno Becker Amazon Web Services, Dominic P. Mulligan Amazon Web Services, Gustavo Petri Amazon Web Services, Nathan Chong Amazon Web Services
DOI
15:12
18m
Talk
Verifying Indistinguishability of Privacy-Preserving Protocols
OOPSLA
Kirby Linvill University of Colorado Boulder, Gowtham Kaki University of Colorado Boulder, Eric Wustrow University of Colorado Boulder
16:00 - 17:30
separation logicOOPSLA at Room XII
16:00
18m
Talk
Verification-Preserving Inlining in Automatic Separation Logic Verifiers
OOPSLA
Thibault Dardinier ETH Zurich, Gaurav Parthasarathy ETH Zurich, Peter Müller ETH Zurich
DOI
16:18
18m
Talk
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
OOPSLA
Simon Friis Vindum Aarhus University, Lars Birkedal Aarhus University
16:36
18m
Talk
Leaf: Modularity for Temporary Sharing in Separation Logic
OOPSLA
Travis Hance Carnegie Mellon University, Jon Howell VMware Research, Oded Padon VMware Research, Bryan Parno Carnegie Mellon University
16:54
18m
Talk
Proof Automation for Linearizability in Separation Logic
OOPSLA
Ike Mulder Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
DOI Pre-print
17:12
18m
Talk
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
OOPSLA
Jaehwang Jung KAIST, South Korea, Janggun Lee KAIST, Jaemin Choi , Jaewoo Kim KAIST, Sunho Park KAIST, Jeehoon Kang KAIST

Mon 23 Oct

Displayed time zone: Lisbon change

Wed 25 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XII

Thu 26 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XII

Fri 27 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XII

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XII
SPLASH PLMW
Welcome
09:00 - 09:10
SPLASH PLMW
Wrap-up
16:00 - 16:10