Room XII - SPLASH 2023

VenueHotel Cascais Miragem

Room nameRoom XII

Room Information

Lobby level

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

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 Luís Carvalho

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


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
Room XII	PLMW Welcome, Ice Breaker, Mentoring Talk																								PLMW Mentoring Talk & PhD Panel																																				PLMW Career Panel																								PLMW Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions

Tue 24 Oct
Displayed time zone: Lisbon 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
Room XII	Doctoral Symposium Keynote and Elevator Pitches																								Doctoral Symposium Machine Learning and Synthesis																																				Doctoral Symposium Compilation and Analysis																								Doctoral Symposium Syntax and Discussion

Wed 25 Oct
Displayed time zone: Lisbon 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
Room XII	OOPSLA																								OOPSLA																																				OOPSLA																								OOPSLA

Thu 26 Oct
Displayed time zone: Lisbon 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
Room XII	OOPSLA																								OOPSLA																																				OOPSLA																								OOPSLA compilation & optimization 2

Fri 27 Oct
Displayed time zone: Lisbon 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
Room XII	OOPSLA																								OOPSLA software development																																				OOPSLA security & privacy																								OOPSLA separation logic

Mon 23 Oct
Displayed time zone: Lisbon 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
Room XII	SPLASH PLMW Welcome 09:00 - 09:10		SPLASH PLMW Ice Breaker 09:10 - 09:40						SPLASH PLMW Mentoring Talk 1 09:40 - 10:30																SPLASH PLMW Mentoring Talk 2 11:00 - 11:30						SPLASH PLMW PhD Panel 11:30 - 12:30																														SPLASH PLMW Career Panel 14:00 - 15:30																								SPLASH PLMW Wrap-up 16:00 - 16:10		SPLASH PLMW SIGPLAN-M Introduction 16:10 - 16:20		SPLASH PLMW Mentoring Sessions 16:20 - 17:30

Tue 24 Oct
Displayed time zone: Lisbon 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
Room XII	SPLASH Doctoral Symposium Introduction and Welcome 09:00 - 09:10		SPLASH Doctoral Symposium Keynote: Jonathan Aldrich 09:10 - 10:10												SPLASH Doctoral Symposium Lightning talks 10:10 - 10:30										SPLASH Doctoral Symposium Large Language Models for Automated Program Repair 11:00 - 11:30						SPLASH Doctoral Symposium Scaling up Program Synthesis to Efficient Algorithms 11:30 - 12:00						SPLASH Doctoral Symposium Transforming Ideas into Code: Visual Sketching for ML Development 12:00 - 12:30																								SPLASH Doctoral Symposium Remote Just-in-Time Compilation for Dynamic Languages 14:00 - 14:30						SPLASH Doctoral Symposium Reusing Single-Language Analyses for Static Analysis of Multi-Language ... 14:30 - 15:00						SPLASH Doctoral Symposium Semantic Versioning for Python Programs 15:00 - 15:30												SPLASH Doctoral Symposium A Pragmatic Approach to Syntax Repair 16:00 - 16:30						SPLASH Doctoral Symposium Discussion 16:30 - 17:30

Thu 26 Oct
Displayed time zone: Lisbon change


Room	16:00			15			30			45			17:00			15			30			45
Room XII	SPLASH OOPSLA Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimiz ... 16:00 - 16:18				SPLASH OOPSLA AST vs. Bytecode: Interpreters in the Age of Meta-Compilation 16:18 - 16:36			SPLASH OOPSLA Reusing Just-in-Time Compiled Code 16:36 - 16:54				SPLASH OOPSLA TASTyTruffle: Just-in-time Specialization of Parametric Polymorphism 16:54 - 17:12			SPLASH OOPSLA Beacons: An End-to-End Compiler Framework for Predicting and Utilizing ... 17:12 - 17:30

Fri 27 Oct
Displayed time zone: Lisbon 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
Room XII	SPLASH OOPSLA Towards Better Semantics Exploration for Browser Fuzzing 11:00 - 11:18				SPLASH OOPSLA Live Pattern Matching with Typed Holes 11:18 - 11:36			SPLASH OOPSLA Interactive Debugging of Datalog Programs 11:36 - 11:54				SPLASH OOPSLA Accelerating Fuzzing through Prefix-Guided Execution 11:54 - 12:12			SPLASH OOPSLA MemPerf: Profiling Allocator-Induced Performance Slowdowns 12:12 - 12:30																						SPLASH OOPSLA Compositional Security Definitions for Higher-Order Where Declassification 14:00 - 14:18				SPLASH OOPSLA Fat Pointers for Temporal Memory Safety of C 14:18 - 14:36			SPLASH OOPSLA Quantifying and Mitigating Cache Side Channel Leakage with Differential Set 14:36 - 14:54				SPLASH OOPSLA A Verification Methodology for the Arm® Confidential Computing Architec ... 14:54 - 15:12			SPLASH OOPSLA Verifying Indistinguishability of Privacy-Preserving Protocols 15:12 - 15:30										SPLASH OOPSLA Verification-Preserving Inlining in Automatic Separation Logic Verifiers 16:00 - 16:18				SPLASH OOPSLA Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory 16:18 - 16:36			SPLASH OOPSLA Leaf: Modularity for Temporary Sharing in Separation Logic 16:36 - 16:54				SPLASH OOPSLA Proof Automation for Linearizability in Separation Logic 16:54 - 17:12			SPLASH OOPSLA Modular Verification of Safe Memory Reclamation in Concurrent Separatio ... 17:12 - 17:30

Room information: Room XII

This program is tentative and subject to change.

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

PLMW

PLMW

PLMW

PLMW

Tue 24 Oct
Displayed time zone: Lisbon change

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Wed 25 Oct
Displayed time zone: Lisbon change

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Thu 26 Oct
Displayed time zone: Lisbon change

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Fri 27 Oct
Displayed time zone: Lisbon change

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

Room information: Room XII

This program is tentative and subject to change.

Program Display Configuration

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Thu 26 OctDisplayed time zone: Lisbon change

Fri 27 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

PLMW

PLMW

PLMW

PLMW

Tue 24 OctDisplayed time zone: Lisbon change

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Wed 25 OctDisplayed time zone: Lisbon change

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Thu 26 OctDisplayed time zone: Lisbon change

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Fri 27 OctDisplayed time zone: Lisbon change

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Thu 26 OctDisplayed time zone: Lisbon change

Fri 27 OctDisplayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Wed 25 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change