VMIL 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
co-located with SPLASH 2023
SPLASH 2023 (series) / VMIL 2023 (series) / Hotel Cascais Miragem /

Room information: Room XII

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
Xavier Lambein
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
Josh Pollock MIT CSAIL, Arvind Satyanarayan MIT CSAIL, Daniel Jackson MIT
14:00 - 15:30
Document-orinted LIVE programmingLIVE at Room XII
14:00
30m
Talk
Document-oriented programming based on edit historyRemote
LIVE
Tomas Petricek Charles University, Jonathan Edwards Independent
14:30
30m
Talk
TypeCell: End-User Programming in Block-Based rich text documents
LIVE
Yousef El-Dardiry TypeCell
15:00
30m
Talk
Embark: a computational outliner for travel
LIVE
Paul Sonnentag , Alexander Obenauer , Geoffrey Litt
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
Mary Rose Cook
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
Luís Carvalho
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

Mon 23 Oct

Displayed time zone: Lisbon change

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

LIVE

LIVE 2023 Opening / creative domains for LIVE programming

LIVE

Theoretical problems in LIVE programming

LIVE

Document-orinted LIVE programming

LIVE

Remote talks / LIVE 2023 Closing

Tue 24 Oct

Displayed time zone: Lisbon change

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

SPLASH Doctoral Symposium

Keynote and Elevator Pitches

SPLASH Doctoral Symposium

Machine Learning and Synthesis

SPLASH Doctoral Symposium

Compilation and Analysis

SPLASH Doctoral Symposium

Syntax and Discussion

Wed 25 Oct

Displayed time zone: Lisbon change

Room11:003012:003013:003014:003015:003016:003017:0030
Room XII

SPLASH -E

Papers & Group Discussion

SPLASH -E

Introductions & Papers

SPLASH -E

Papers & Future Discussion

Thu 26 Oct

Displayed time zone: Lisbon change

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

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

compilation & optimization 2

Fri 27 Oct

Displayed time zone: Lisbon change

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

SPLASH OOPSLA

SPLASH OOPSLA

software development

SPLASH OOPSLA

security & privacy

SPLASH OOPSLA

separation logic

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XII
LIVE
LIVE 2023 Opening
09:00 - 09:30
LIVE
PAW: a programmable and visual audio workstation
09:30 - 10:00
LIVE
CellPond: Spatial programming without escape
10:00 - 10:30
LIVE
Live & Local Schema Change: Challenge Problems
11:00 - 11:30
LIVE
CodeProber: Live Compiler Exploration
11:30 - 12:00
LIVE
Language Model Agents Enable Semi-Formal Programming
12:00 - 12:30
LIVERemote
Document-oriented programming based on edit history
14:00 - 14:30
LIVE
TypeCell: End-User Programming in Block-Based rich text documents
14:30 - 15:00
LIVE
Embark: a computational outliner for travel
15:00 - 15:30
LIVERemote
Unfolding State Changes via Live State-First Debugging
16:00 - 16:30
LIVERemote
Lude - build video games quickly
16:30 - 17:00
LIVE
LIVE 2023 Closing
17:00 - 17:30

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XII
SPLASH Doctoral Symposium
Introduction and Welcome
09:00 - 09:10
SPLASH Doctoral Symposium
Navigating your thesis and job search: sustainability and standing out ...
09:10 - 10:10
SPLASH Doctoral Symposium
Elevator Pitches
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 SymposiumRemote
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

Wed 25 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XII
SPLASH -E
Teaching Programming with Graphics: Pitfalls and a Solution
11:00 - 11:30
SPLASH -E
KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for P ...
11:30 - 12:00
SPLASH -E
A Framework for the Localization of Programming Languages
12:00 - 12:30
SPLASH -E
Just-In-Time Introductions & Non-Archival Presentations
14:00 - 14:30
SPLASH -E
Composing Turing Machines in FSM
14:30 - 15:00
SPLASH -E
Witter: A Library for White-Box Testing of Introductory Programming Alg ...
15:00 - 15:30
SPLASH -ERemote
Centering Humans in the Programming Languages Classroom: Building a Tex ...
16:00 - 16:30
SPLASH -ERemote
Exploring Engagement and Self-Efficacy in an Introductory Computer Scie ...
16:30 - 17:00
SPLASH -E
Past, Present & Future of SPLASH-E Discussion
17:00 - 17:30

Thu 26 Oct

Displayed time zone: Lisbon change

Room16:0015304517:00153045
Room XII
SPLASH OOPSLA
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimiza ...
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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XII
SPLASH OOPSLA
Towards Better Semantics Exploration for Browser Fuzzing
11:00 - 11:18
SPLASH OOPSLADistinguished Paper
Live Pattern Matching with Typed Holes
11:18 - 11:36
SPLASH OOPSLA
Interactive Debugging of Datalog Programs
11:36 - 11:54
SPLASH OOPSLADistinguished Paper
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
Leaf: Modularity for Temporary Sharing in Separation Logic
16:18 - 16:36
SPLASH OOPSLA
Proof Automation for Linearizability in Separation Logic
16:36 - 16:54
SPLASH OOPSLA
Modular Verification of Safe Memory Reclamation in Concurrent Separatio ...
16:54 - 17:12
SPLASH OOPSLA
Functional collection programming with semi-ring dictionaries
17:12 - 17:30