LOPSTR 2023
Dates to be announced Cascais, Portugal
co-located with SPLASH 2023
VenueHotel Cascais Miragem
Room nameRoom XII
Room Information

Lobby level

Program

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
LIVE 2023 Opening / creative domains for LIVE programmingLIVE at Room XII
09:00
30m
Day opening
LIVE 2023 Opening
LIVE
Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Peter van Hardenberg Ink & Switch
09:30
30m
Talk
PAW: a programmable and visual audio workstation
LIVE
10:00
30m
Talk
CellPond: Spatial programming without escape
LIVE
Lu Wilson tldraw
11:00 - 12:30
Theoretical problems in LIVE programmingLIVE at Room XII
11:00
30m
Talk
Live & Local Schema Change: Challenge Problems
LIVE
Jonathan Edwards Independent, Tomas Petricek Charles University, Tijs van der Storm CWI & University of Groningen
DOI Pre-print
11:30
30m
Talk
CodeProber: Live Compiler Exploration
LIVE
Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University
Media Attached File Attached
12:00
30m
Talk
Language Model Agents Enable Semi-Formal Programming
LIVE
16:00 - 17:30
Remote talks / LIVE 2023 ClosingLIVE at Room XII
16:00
30m
Talk
Unfolding State Changes via Live State-First DebuggingRemote
LIVE
Ruanqianqian (Lisa) Huang University of California, San Diego, Philip Guo University of California at San Diego, Sorin Lerner University of California at San Diego
16:30
30m
Talk
Lude - build video games quicklyRemote
LIVE
17:00
30m
Day closing
LIVE 2023 Closing
LIVE
Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Peter van Hardenberg Ink & Switch

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Keynote and Elevator PitchesSPLASH Doctoral Symposium at Room XII
09:00
10m
Day opening
Introduction and Welcome
SPLASH Doctoral Symposium
Michael Coblenz University of California, San Diego
09:10
60m
Keynote
Navigating your thesis and job search: sustainability and standing out [Invited Talk]
SPLASH Doctoral Symposium
Jonathan Aldrich Carnegie Mellon University
10:10
20m
Talk
Elevator Pitches
SPLASH Doctoral Symposium

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

Wed 25 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Papers & Group DiscussionSPLASH -E at Room XII
Chair(s): Cyrus Omar University of Michigan
11:00
30m
Talk
Teaching Programming with Graphics: Pitfalls and a Solution
SPLASH -E
Luca Chiodini USI Lugano, Juha Sorva Aalto University, Matthias Hauswirth USI Lugano
11:30
30m
Talk
KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
SPLASH -E
Kimio Kuramitsu Japan Women's University, Yui Obara Japan Women's University, Miyu Sato Japan Women's University, Momoka Obara Japan Women's University
12:00
30m
Talk
A Framework for the Localization of Programming Languages
SPLASH -E
Alaaeddin Swidan Open University of the Netherlands, The Netherlands, Felienne Hermans Vrije Universiteit Amsterdam
14:00 - 15:30
Introductions & PapersSPLASH -E at Room XII
Chair(s): Luca Chiodini USI Lugano
14:00
30m
Day opening
Just-In-Time Introductions & Non-Archival Presentations
SPLASH -E

14:30
30m
Talk
Composing Turing Machines in FSM
SPLASH -E
Marco T Morazan Seton Hall University
15:00
30m
Talk
Witter: A Library for White-Box Testing of Introductory Programming Algorithms
SPLASH -E
Afonso B. Caniço Iscte - Instituto Universitário de Lisboa, André L. Santos University Institute of Lisbon, Portugal
DOI
16:00 - 17:30
Papers & Future DiscussionSPLASH -E at Room XII
Chair(s): Molly Q Feldman Oberlin College
16:00
30m
Talk
Centering Humans in the Programming Languages Classroom: Building a Text for the Next GenerationRemote
SPLASH -E
Rose Bohrer Worcester Polytechnic Institute
16:30
30m
Talk
Exploring Engagement and Self-Efficacy in an Introductory Computer Science CourseRemote
SPLASH -E
Rory Kelly University of British Columbia, Meghan Allen University of British Columbia
17:00
30m
Day closing
Past, Present & Future of SPLASH-E Discussion
SPLASH -E

Thu 26 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
compilation & optimization 2SPLASH OOPSLA at Room XII
Chair(s): Fabian Muehlboeck Australian National University
16:00
18m
Talk
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
SPLASH OOPSLA
Oliver Bračevac Galois, Inc., Guannan Wei Purdue University, Songlin Jia Purdue University, Supun Abeysinghe Purdue University, Yuxuan Jiang Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University
DOI Pre-print
16:18
18m
Talk
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
SPLASH 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
SPLASH OOPSLA
Meetesh Kalpesh Mehta IIT Bombay, Sebastián Krynski Czech Technical University in Prague, Hugo Musso Gualandi Czech Technical University in Prague, Manas Thakur IIT Bombay, Jan Vitek Northeastern University
DOI
16:54
18m
Talk
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
SPLASH OOPSLA
Matt D'Souza University of Waterloo, James You University of Waterloo, Ondřej Lhoták University of Waterloo, Aleksandar Prokopec Oracle Labs
DOI
17:12
18m
Talk
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
SPLASH 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 IBM T.J. Watson Research, Ada Gavrilovska Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology
DOI

Fri 27 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
software developmentSPLASH OOPSLA at Room XII
Chair(s): Chandrakana Nandi Certora
11:00
18m
Talk
Towards Better Semantics Exploration for Browser Fuzzing
SPLASH 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
DOI
11:18
18m
Talk
Live Pattern Matching with Typed HolesDistinguished Paper
SPLASH 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
SPLASH OOPSLA
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
DOI
11:54
18m
Talk
Accelerating Fuzzing through Prefix-Guided ExecutionDistinguished Paper
SPLASH OOPSLA
Shaohua Li ETH Zurich, Zhendong Su ETH Zurich
DOI
12:12
18m
Talk
MemPerf: Profiling Allocator-Induced Performance Slowdowns
SPLASH OOPSLA
Jin Zhou University of Massachusetts at Amherst, Sam Silvestro University of Texas at San Antonio, Steven (Jiaxun) Tang University of Massachusetts at Amherst, Hanmei Yang University of Massachusetts at Amherst, Hongyu Liu University of Texas at San Antonio, Guangming Zeng Synopsys, Bo Wu Colorado School of Mines, Cong Liu University of Texas at Dallas, Tongping Liu University of Massachusetts at Amherst
DOI
14:00 - 15:30
security & privacySPLASH OOPSLA at Room XII
Chair(s): Arjun Guha Northeastern University; Roblox
14:00
18m
Talk
Compositional Security Definitions for Higher-Order Where Declassification
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Cong Ma University of Waterloo, Dinghao Wu Pennsylvania State University, Gang (Gary) Tan Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Duke University; Pennsylvania State University
DOI
14:54
18m
Talk
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
SPLASH 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
SPLASH OOPSLA
Kirby Linvill University of Colorado Boulder, Gowtham Kaki University of Colorado at Boulder, Eric Wustrow University of Colorado Boulder
DOI
16:00 - 17:30
separation logicSPLASH OOPSLA at Room XII
Chair(s): Jonathan Aldrich Carnegie Mellon University
16:00
18m
Talk
Verification-Preserving Inlining in Automatic Separation Logic Verifiers
SPLASH OOPSLA
Thibault Dardinier ETH Zurich, Gaurav Parthasarathy ETH Zurich, Peter Müller ETH Zurich
DOI
16:18
18m
Talk
Leaf: Modularity for Temporary Sharing in Separation Logic
SPLASH OOPSLA
Travis Hance Carnegie Mellon University, Jon Howell VMware Research, Oded Padon VMware Research, Bryan Parno Carnegie Mellon University
DOI
16:36
18m
Talk
Proof Automation for Linearizability in Separation Logic
SPLASH OOPSLA
Ike Mulder Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
DOI Pre-print
16:54
18m
Talk
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
SPLASH OOPSLA
Jaehwang Jung KAIST, Janggun Lee KAIST, Jaemin Choi KAIST, Jaewoo Kim KAIST, Sunho Park KAIST, Jeehoon Kang KAIST
DOI
17:12
18m
Talk
Functional collection programming with semi-ring dictionaries
SPLASH OOPSLA
Amir Shaikhha University of Edinburgh, Mathieu Huot University of Oxford, Jaclyn Smith Oxford University, Dan Olteanu University of Zurich
Link to publication DOI

Wed 25 Oct

Displayed time zone: Lisbon change

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