Room II - VMIL 2023

VenueHotel Cascais Miragem

Room nameRoom II

Floor0

Capacity196

Room InformationNo extra information available

Program

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

Sun 22 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	MPLR Session 1MPLR at Room II Chair(s): Eliot Moss University of Massachusetts at Amherst

09:00 5m Day opening		Welcome from the Chairs MPLR Rodrigo Bruno INESC-ID - IST-ULisboa, Eliot Moss University of Massachusetts at Amherst
09:05 55m Keynote		Is Wasm Becoming Garbage? (Keynote) MPLR K: Andreas Rossberg Independent DOI
10:00 15m Talk		On the Applicability of Annotation-Based Source Code Modification in Kotlin (Work in Progress) MPLR Daniel Pfeffer JKU Linz, Markus Weninger JKU Linz DOI
10:15 15m Talk		CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) MPLR Serhii Ivanenko INESC-ID; IST-ULisboa, Rodrigo Bruno INESC-ID - IST-ULisboa, Jovan Stevanovic Oracle Labs, Luís Veiga INESC-ID; IST-ULisboa, Vojin Jovanovic Oracle Labs DOI

11:00 - 12:30	MPLR Session 2MPLR at Room II Chair(s): Matthew J. Parkinson Microsoft Azure Research

11:00 22m Talk		Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach MPLR Maxime Chevalier-Boisvert Shopify, Takashi Kokubun Shopify, Noah Gibbs Shopify, Si Xing "Alan" Wu Shopify, Aaron Patterson Shopify, Jemma Issroff Shopify DOI
11:22 22m Talk		CacheIR: The Benefits of a Structured Representation for Inline Caches MPLR Jan de Mooij Mozilla, Matthew Gaudet Mozilla, Iain Ireland Mozilla, Nathan Henderson University of Alberta, Jose Nelson Amaral University of Alberta DOI File Attached
11:45 22m Talk		Diagnosing Compiler Performance by Comparing Optimization Decisions MPLR Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University DOI
12:07 22m Talk		Morello MicroPython: A Python Interpreter for CHERI MPLR Duncan Lowther University of Glasgow, Dejice Jacob University of Glasgow, Jeremy Singer University of Glasgow DOI Pre-print

14:00 - 15:30	MPLR Session 3MPLR at Room II Chair(s): Rodrigo Bruno INESC-ID - IST-ULisboa

14:00 22m Talk		A Multifaceted Memory Analysis of Java Benchmarks MPLR Orion Papadakis University of Manchester, Andreas Andronikakis University of Manchester, Nikos Foutris University of Manchester, Michail Papadimitriou University of Manchester, Athanasios Stratikopoulos University of Manchester, Foivos S. Zakkak Red Hat, Polychronis Xekalakis Nvidia, Christos Kotselidis University of Manchester DOI
14:22 22m Talk		Improving Garbage Collection Observability with Performance Tracing MPLR Claire Huang Australian National University, Stephen M. Blackburn Google; Australian National University, Zixian Cai Australian National University DOI Pre-print Media Attached
14:45 22m Talk		Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers MPLR Humphrey Burchell University of Kent, Octave Larose University of Kent, Sophie Kaleba University of Kent, Stefan Marr University of Kent DOI Pre-print
15:07 22m Talk		Heap Size Adjustment with CPU Control MPLR Sanaz Tavakolisomeh University of Oslo, Marina Shimchenko Uppsala University, Erik Österlund Oracle, Rodrigo Bruno INESC-ID - IST-ULisboa, Paulo Ferreira University of Oslo, Tobias Wrigstad Uppsala University DOI

16:00 - 17:30	MPLR Session 4MPLR at Room II Chair(s): Stefan Marr University of Kent

16:00 22m Talk		Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image MPLR David Kozak Brno University of Technology, Vojin Jovanovic Oracle Labs, Codrut Stancu Oracle Labs, Tomáš Vojnar Brno University of Technology, Christian Wimmer Oracle Labs DOI
16:22 23m Talk		Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps MPLR Juan Fumero University of Manchester, Florin Blanaru Axelera AI, Athanasios Stratikopoulos University of Manchester, Steve Dohrmann Intel, Sandhya Viswanathan Intel, Christos Kotselidis University of Manchester DOI Pre-print
16:45 15m Talk		Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress) MPLR Christos Lamprakos National Technical University of Athens; KU Leuven, Sotirios Xydis National Technical University of Athens, Peter Kourzanov IMEC, Manu Perumkunnil IMEC, Francky Catthoor IMEC; KU Leuven, Dimitrios Soudris National Technical University of Athens DOI
17:00 15m Talk		Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress) MPLR John Parrish Georgia Institute of Technology, Nicole Wren Block; Georgia Institute of Technology, Tsz Hang Kiang Georgia Institute of Technology, Akihiro Hayashi Georgia Institute of Technology, Jeffrey Young Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI
17:15 15m Talk		Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress) MPLR Julian Garn JKU Linz, Florian Angerer Oracle Labs, Hanspeter Mössenböck JKU Linz DOI

Mon 23 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Language implementationSLE at Room II Chair(s): Thomas Degueule CNRS, LaBRI This session will start at 08:50 with a welcome and general announcements from the Conference General Chair.

09:00 30m Talk		Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling LayerResearch Paper SLE Walter Cazzola Università degli Studi di Milano, Luca Favalli Università degli Studi di Milano DOI
09:30 30m Talk		An Executable Semantics for Faster Development of Optimizing Python CompilersResearch Paper SLE Olivier Melancon Université de Montréal, Marc Feeley Université de Montréal, Manuel Serrano Inria; University of Côte d'Azur DOI
10:00 30m Talk		Adaptive Structural Operational SemanticsResearch Paper SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Damian Frölich University of Amsterdam, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gurvan LE GUERNIC DGA MI & Université de Rennes 1, Gunter Mussbacher McGill University, L. Thomas van Binsbergen University of Amsterdam DOI Pre-print

11:00 - 12:30	GPCE/SLE Keynote (in Room XV)SLE at Room II Chair(s): Coen De Roover Vrije Universiteit Brussel 12:10pm The GPCE, SLE and COLA awards will be announced in the last part of this session in Room XV.

11:00 70m Keynote		Coccinelle: Impact and Internals SLE Julia Lawall Inria
12:10 20m Awards		GPCE/SLE Awards SLE Amir Shaikhha University of Edinburgh, Coen De Roover Vrije Universiteit Brussel, Sebastian Erdweg JGU Mainz, João Saraiva HASLab/INESC TEC, University of Minho, Thomas Degueule CNRS, LaBRI, Elizabeth Scott Royal Holloway University of London, Friedrich Steimann Fernuniversität in Hagen, Walter Cazzola Università degli Studi di Milano

14:00 - 15:30	Grammars and parsingSLE at Room II Chair(s): Luis Eduardo de Souza Amorim Australian National University, Australia

14:00 30m Talk		A reference GLL implementationResearch Paper SLE Adrian Johnstone Royal Holloway University of London, UK DOI
14:30 30m Talk		Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute GrammarsResearch Paper SLE Lucas Kramer University of Minnesota, Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA DOI Pre-print
15:00 30m Talk		Nanopass Attribute GrammarsResearch Paper SLE Nathan Ringo University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA DOI Pre-print

16:00 - 17:30	Inference and automationSLE at Room II Chair(s): Adrian Johnstone Royal Holloway University of London, UK

16:00 30m Talk		Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenarioResearch Paper SLE Weixing Zhang Chalmers \| University of Gothenburg, Regina Hebig Chalmers University of Technology & University of Gothenburg, Daniel Strüber Chalmers \| University of Gothenburg / Radboud University, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions DOI Pre-print
16:30 30m Talk		Reuse and Automated Integration of Recommenders for Modelling LanguagesResearch Paper SLE Lissette Almonte Universidad Autónoma de Madrid, Antonio Garmendia Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid DOI Pre-print
17:00 30m Talk		GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code RepairResearch Paper SLE Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, José Nuno Macedo University of Minho, Kanae Tsushima National Institute of Informatics, Japan, Rui Abreu Faculty of Engineering, University of Porto, João Saraiva HASLab/INESC TEC, University of Minho DOI

Tue 24 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Live programming and debuggingSLE at Room II Chair(s): Vadim Zaytsev University of Twente, Netherlands

09:00 30m Talk		Temporal Breakpoints for Multiverse DebuggingResearch Paper SLE Matthias Pasquier Ertosgener, Ciprian Teodorov ENSTA Bretagne, Frédéric Jouault ERIS Team, ESEO , France, Matthias Brun , Luka Le Roux Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne DOI
09:30 30m Talk		Cross-Level Debugging for Static AnalysersResearch Paper SLE Mats Van Molle Vrije Universiteit Brussel, Bram Vandenbogaerde Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel DOI Pre-print
10:00 30m Talk		Cascade: a Meta-Language for Change, Cause and EffectResearch Paper SLE Riemer van Rozen CWI DOI

11:00 - 12:30	SLE KeynoteSLE at Room II Chair(s): Elizabeth Scott Royal Holloway University of London

11:00 60m Keynote		Artificial Languages are Dead. Long Live Artificial Languages!Keynote SLE Crista Lopes University of California, Irvine
12:00 20m Talk		Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling LanguagesNew ideas / Vision paper SLE Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI

14:00 - 15:30	ModelingSLE at Room II Chair(s): Benoit Combemale University of Rennes, Inria, CNRS, IRISA

14:00 30m Talk		Enabling Blended Modelling of Timing and Variability in EAST-ADLResearch Paper SLE Muhammad Waseem Anwar Department of Innovation, Design and Engineering Malardalen University, Federico Ciccozzi Mälardalen University, Alessio Bucaioni Mälardalen University DOI
14:30 30m Talk		Towards Efficient Model Comparison Using Automated Program RewritingResearch Paper SLE Qurat Ul Ain Ali University of York , Dimitris Kolovos University of York, Konstantinos Barmpis University of York DOI
15:00 30m Talk		Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience ReportResearch Paper SLE Malte Heithoff RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Judith Michael RWTH Aachen University, Florian Rademacher RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI Pre-print

16:00 - 17:30	Tools and DemonstrationsSLE at Room II Chair(s): João Saraiva HASLab/INESC TEC, University of Minho 17:20 SLE closing, Friedrich Steimann

16:00 20m Demonstration		A Low-Code Platform for Systematic Component-Oriented Language CompositionTool Paper SLE Jérôme Pfeiffer University of Stuttgart, Germany, Andreas Wortmann University of Stuttgart DOI
16:20 20m Demonstration		A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source ProjectsTool Paper SLE Adem Ait IN3 - UOC, Javier Luis Cánovas Izquierdo IN3 - UOC, Jordi Cabot Luxembourg Institute of Science and Technology DOI Pre-print
16:40 20m Demonstration		Online Name-Based Navigation for Software Meta-languagesTool Paper SLE Peter D. Mosses Swansea University and Delft University of Technology Link to publication DOI
17:00 20m Demonstration		Practical Runtime Instrumentation of Software Languages: the Case of SciHookTool Paper SLE Dorian Leroy CEA/DAM/DIF, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes, Inria, CNRS, IRISA DOI Pre-print
17:20 10m Day closing		SLE Closing SLE

Wed 25 Oct
Displayed time zone: Lisbon change

11:00 - 12:30	program synthesis 1SPLASH OOPSLA at Room II Chair(s): Michael Coblenz University of California, San Diego

11:00 18m Talk		Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts SPLASH OOPSLA Zhuo Cai Hong Kong University of Science and Technology, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, S. Hitarth Hong Kong University of Science and Technology DOI
11:18 18m Talk		Equality Saturation Theory Exploration à la Carte SPLASH OOPSLA Anjali Pal University of Washington, Brett Saiki University of Washington, Ryan Tjoa University of Washington, Cynthia Richey University of Washington, Amy Zhu University of Washington, Oliver Flatt University of Washington, Max Willsey UC Berkeley, Zachary Tatlock University of Washington, Chandrakana Nandi Certora DOI Pre-print
11:36 18m Talk		Synthesizing Specifications SPLASH OOPSLA Kanghee Park University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison DOI
11:54 18m Talk		Explainable Program Synthesis by Localizing Specifications SPLASH OOPSLA Amirmohammad Nazari University of Southern California, Yifei Huang University of Southern California, Roopsha Samanta Purdue University, Arjun Radhakrishna Microsoft, Mukund Raghothaman University of Southern California DOI
12:12 18m Talk		Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction SPLASH OOPSLA Zhenyang Xu University of Waterloo, Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Mengxiao Zhang University of Waterloo, Gaosen Zhao University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo DOI

14:00 - 15:30	program synthesis 2SPLASH OOPSLA at Room II Chair(s): Chandrakana Nandi Certora

14:00 18m Talk		Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates SPLASH OOPSLA Aalok Thakkar University of Pennsylvania, Nathaniel Sands University of Southern California, Georgios Petrou University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California DOI
14:18 18m Talk		Data Extraction via Semantic Regular Expression Synthesis SPLASH OOPSLA Jocelyn (Qiaochu) Chen University of Texas at Austin, Arko Banerjee University of Texas at Austin, Çağatay Demiralp Massachusetts Institute of Technology, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin DOI
14:36 18m Talk		Synthesizing Efficient Memoization Algorithms SPLASH OOPSLA Yican Sun Peking University, Xuanyu Peng Peking University, Yingfei Xiong Peking University DOI
14:54 18m Talk		Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs SPLASH OOPSLA Amir Kafshdar Goharshady Hong Kong University of Science and Technology, S. Hitarth Hong Kong University of Science and Technology, Fatemeh Mohammadi KU Leuven, Harshit Jitendra Motwani Ghent University DOI
15:12 18m Talk		Modular Component-Based Quantum Circuit Synthesis SPLASH OOPSLA Chan Gu Kang Korea University, Hakjoo Oh Korea University DOI

16:00 - 17:48	DSLsSPLASH OOPSLA at Room II Chair(s): Ben Greenman Brown University, USA

16:00 18m Talk		Fluent APIs in Functional Languages SPLASH OOPSLA Ori Roth Technion, Yossi Gil Technion DOI Pre-print
16:18 18m Talk		A Pretty Expressive Printer SPLASH OOPSLA Sorawee Porncharoenwase University of Washington, Justin Pombrio Unaffiliated, Emina Torlak Amazon Web Services, USA DOI Pre-print
16:36 18m Talk		How Domain Experts Use an Embedded DSL SPLASH OOPSLA Lisa Rennels University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI
16:54 18m Talk		Saggitarius: A DSL for Specifying Grammatical Domains SPLASH OOPSLA Anders Miltner Simon Fraser University, Devon Loehr Princeton University, Arnold Mong Princeton University, Kathleen Fisher Tufts University, David Walker Princeton University DOI
17:12 18m Talk		Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid SPLASH OOPSLA Huanqi Cao Tsinghua University, Shizhi Tang Tsinghua University, Qianchao Zhu Peking University, Bowen Yu Tsinghua University, Wenguang Chen Tsinghua University; Pengcheng Laboratory DOI
17:30 18m Talk		Translating canonical SQL to imperative code in Coq SPLASH OOPSLA Véronique Benzaken Université Paris-Saclay - Laboratoire de Méthodes Formelles , Évelyne Contejean CNRS, ENS Paris-Saclay & Université Paris-Saclay, Houssem Hachmaoui , Chantal Keller Université Paris Saclay, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research, Jerome Simeon DocuSign, Inc. Link to publication DOI

Thu 26 Oct
Displayed time zone: Lisbon change

11:00 - 12:30	language semanticsSPLASH OOPSLA at Room II Chair(s): Sebastian Erdweg JGU Mainz

11:00 18m Talk		The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog SPLASH OOPSLA Qinlin Chen Nanjing University, Nairen Zhang Nanjing University, Jinpeng Wang Nanjing University, Tian Tan Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Yue Li Nanjing University DOI
11:18 18m Talk		Regular Expression Matching using Bit Vector Automata SPLASH OOPSLA Alexis Le Glaunec Rice University, Lingkun Kong Rice University, Konstantinos Mamouras Rice University DOI
11:36 18m Talk		Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects SPLASH OOPSLA Xing Zhang Peking University, Guanchen Guo Peking University, Xiao He University of Science and Technology Beijing, Zhenjiang Hu Peking University DOI
11:54 18m Talk		Bring Your Own Data Structures to Datalog SPLASH OOPSLA Arash Sahebolamri Syracuse University, Langston Barrett Galois, Scott Moore Galois, Kristopher Micinski Syracuse University DOI
12:12 18m Talk		Rhombus: A New Spin on Macros without All the Parentheses SPLASH OOPSLA Matthew Flatt University of Utah, Taylor Allred University of Utah, Nia Angle independent, Stephen De Gabrielle independent, Robert Bruce Findler Northwestern University, Jack Firth independent, Kiran Gopinathan National University of Singapore, Ben Greenman University of Utah, Siddhartha Kasivajhula independent, Alex Knauth independent, Jay McCarthy Reach, Sam Phillips independent, Sorawee Porncharoenwase University of Washington, Jens Axel Søgaard independent, Sam Tobin-Hochstadt Indiana University DOI Pre-print

14:00 - 15:30	program analysis 1SPLASH OOPSLA at Room II Chair(s): Manu Sridharan University of California at Riverside

14:00 18m Talk		The Bounded Pathwidth of Control-Flow Graphs SPLASH OOPSLA Giovanna Kobus Conrado Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Chun Kit Lam Hong Kong University of Science and Technology DOI
14:18 18m Talk		How Profilers Can Help Navigate Type Migration SPLASH OOPSLA Ben Greenman University of Utah, Matthias Felleisen Northeastern University, Christos Dimoulas Northwestern University DOI
14:36 18m Talk		Synthesizing Precise Static Analyzers for Automatic Differentiation SPLASH OOPSLA Jacob Laurel University of Illinois at Urbana-Champaign, Siyuan Brant Qian University of Illinois at Urbana-Champaign; Zhejiang University, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Sasa Misailovic University of Illinois at Urbana-Champaign DOI
14:54 18m Talk		A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis SPLASH OOPSLA Dongjie He UNSW, Yujiang Gui UNSW, Wei Li UNSW, Yonggang Tao UNSW, Changwei Zou UNSW, Yulei Sui UNSW, Jingling Xue UNSW DOI Pre-print
15:12 18m Talk		Static Analysis of Memory Models for SMT Encodings SPLASH OOPSLA Thomas Haas TU Braunschweig, René Maseli TU Braunschweig, Roland Meyer TU Braunschweig, Hernán Ponce de León Huawei DOI

16:00 - 17:30	program analysis 2SPLASH OOPSLA at Room II Chair(s): Annette Bieniusa University of Kaiserslautern-Landau

16:00 18m Talk		Historia: Refuting Callback Reachability with Message-History Logics SPLASH OOPSLA Shawn Meier University of Colorado at Boulder, Sergio Mover École Polytechnique, Gowtham Kaki University of Colorado at Boulder, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon DOI
16:18 18m Talk		Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis SPLASH OOPSLA Giovanna Kobus Conrado Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Kerim Kochekov Hong Kong University of Science and Technology, Yun Chen Tsai Hong Kong University of Science and Technology, Ahmed Khaled Zaher Hong Kong University of Science and Technology DOI
16:36 18m Talk		A Cocktail Approach to Practical Call Graph Construction SPLASH OOPSLA Yuandao Cai Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI
16:54 18m Talk		Building Dynamic System Call Sandbox with Partial Order Analysis SPLASH OOPSLA Quan Zhang Tsinghua University, Chijin Zhou Tsinghua University, Yiwen Xu Tsinghua University, Zijing Yin Tsinghua University, Mingzhe Wang Tsinghua University, Zhuo Su Tsinghua University, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University, Jiaguang Sun Tsinghua University DOI
17:12 18m Talk		Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection SPLASH OOPSLA Ruyi Ji Peking University, Chaozhe Kong Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University DOI

17:30 - 19:30	SPLASH SRC Talk PresentationsSPLASH Student Research Competition at Room II Chair(s): Xujie Si University of Toronto

17:30 13m Poster		Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking SPLASH Student Research Competition Julia Freeman Francis Marion University, Timothy Zhou University of Illinois Urbana-Champaign
17:43 13m Poster		Clearing the Trail: Motivations for Maintenance Work in Open Source SPLASH Student Research Competition Katrina Wilson Bucknell University
17:56 13m Poster		An optimal structure-aware code difference framework with MaxSAT-SolverRemote SPLASH Student Research Competition Haolin Ye McGill University
18:10 13m Poster		Rose: Extensible Autodiff on the Web SPLASH Student Research Competition Raven Rothkopf Barnard College
18:23 13m Poster		Partial Gradual Dependent Type Theory SPLASH Student Research Competition Zhan Shi Graduate School of Informatics, Kyoto University
18:36 13m Poster		Design and implementation of facets of dynamic policies SPLASH Student Research Competition Antonio Zegarelli IMDEA Software Institute
18:50 13m Poster		Modular educational languages SPLASH Student Research Competition Jesse Hoobergs KU Leuven
19:03 13m Poster		Synthesizing Recursive Programs Through Dataflow Constraints SPLASH Student Research Competition Marta Davila Mateu University of Southern California

Fri 27 Oct
Displayed time zone: Lisbon change

11:00 - 12:30	distribution & networking 1SPLASH OOPSLA at Room II Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

11:00 18m Talk		Initializing Global Objects: Time and Order SPLASH OOPSLA Fengyun Liu Oracle Labs, Ondřej Lhoták University of Waterloo, David Hua University of Waterloo, Enze Xing University of Waterloo DOI
11:18 18m Talk		Type-Safe Dynamic Placement with First-Class Placed Values SPLASH OOPSLA George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI Pre-print
11:36 18m Talk		Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data SPLASH OOPSLA Thierry Renaux Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print
11:54 18m Talk		AtomiS: Data-Centric Synchronization Made Practical SPLASH OOPSLA Hervé Paulino Nova University of Lisbon, Ana Almeida Matos University of Lisbon, Jan Cederquist University of Lisbon, Marco Giunti Nova University of Lisbon, João Batista Pereira Matos Júnior Sidia Instituto de Ciência e Tecnologia, António Ravara Nova University of Lisbon DOI
12:12 18m Talk		Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions SPLASH OOPSLA Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Roopsha Samanta Purdue University DOI

14:00 - 15:30	compilation and optimization 1SPLASH OOPSLA at Room II Chair(s): Will Crichton Brown University

14:00 18m Talk		Formally Verifying Optimizations with Block Simulations SPLASH OOPSLA Léo Gourdin Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Benjamin Bonneau Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Sylvain Boulmé Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, David Monniaux Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Alexandre Bérard Université Grenoble Alpes - CNRS - Grenoble INP - Verimag DOI Pre-print
14:18 18m Talk		Back to Direct Style: Typed and Tight SPLASH OOPSLA Marius Müller University of Tübingen, Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Klaus Ostermann University of Tübingen DOI Pre-print
14:36 18m Talk		Hardware-Aware Static Optimization of Hyperdimensional Computations SPLASH OOPSLA Pu (Luke) Yi Stanford University, Sara Achour Stanford University DOI
14:54 18m Talk		Rapid: Region-Based Pointer Disambiguation SPLASH OOPSLA Khushboo Chitre IIIT Delhi, Piyus Kedia IIIT Delhi, Rahul Purandare University of Nebraska-Lincoln DOI
15:12 18m Talk		Automated Ambiguity Detection in Layout-Sensitive Grammars SPLASH OOPSLA Jiangyi Liu Tsinghua University, Fengmin Zhu CISPA - Helmholtz Center for Information Security, Fei He Tsinghua University DOI Pre-print

16:00 - 17:30	refactoringSPLASH OOPSLA at Room II Chair(s): Gowtham Kaki University of Colorado at Boulder

16:00 18m Talk		Aliasing Limits on Translating C to Safe Rust SPLASH OOPSLA Mehmet Emre University of San Francisco, Peter Boyland University of California at Santa Barbara, Aesha Parekh University of California at Santa Barbara, Ryan Schroeder University of California at Santa Barbara, Kyle Dewey California State University, Ben Hardekopf University of California at Santa Barbara DOI Pre-print
16:18 18m Talk		Adventure of a Lifetime: Extract Method Refactoring for Rust SPLASH OOPSLA Sewen Thy Ahrefs Research, Yale-NUS College, Andreea Costea National University of Singapore, Kiran Gopinathan National University of Singapore, Ilya Sergey National University of Singapore DOI Pre-print
16:36 18m Talk		Inductive Program Synthesis Guided by Observational Program Similarity SPLASH OOPSLA Jack Feser Hamilton College, Işıl Dillig University of Texas at Austin, Armando Solar-Lezama Massachusetts Institute of Technology DOI
16:54 18m Talk		Automated Translation of Functional Big Data Queries to SQL SPLASH OOPSLA Guoqiang Zhang North Carolina State University, Benjamin Mariano University of Texas at Austin, Xipeng Shen North Carolina State University, Işıl Dillig University of Texas at Austin DOI
17:12 18m Talk		User-Customizable Transpilation of Scripting Languages SPLASH OOPSLA Bo Wang National University of Singapore, Aashish Kolluri National University of Singapore, Ivica Nikolić National University of Singapore, Teodora Baluta National University of Singapore, Prateek Saxena National University of Singapore DOI

Sun 22 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 II	MPLR MPLR Session 1																								MPLR MPLR Session 2																																				MPLR MPLR Session 3																								MPLR MPLR Session 4

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 II	SLE Language implementation																								SLE GPCE/SLE Keynote (in Room XV)																																				SLE Grammars and parsing																								SLE Inference and automation

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 II	SLE Live programming and debugging																								SLE SLE Keynote																																				SLE Modeling																								SLE Tools and Demonstrations

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 II	SPLASH OOPSLA																								SPLASH OOPSLA program synthesis 1																																				SPLASH OOPSLA program synthesis 2																								SPLASH OOPSLA DSLs

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						18:00						30						19:00						30
Room II	SPLASH OOPSLA																								SPLASH OOPSLA language semantics																																				SPLASH OOPSLA program analysis 1																								SPLASH OOPSLA program analysis 2																		SPLASH Student Research Competition SPLASH SRC Talk Presentations

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 II	SPLASH OOPSLA																								SPLASH OOPSLA distribution & networking 1																																				SPLASH OOPSLA compilation and optimization 1																								SPLASH OOPSLA refactoring

Sun 22 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 II	MPLR Welcome from the Chairs 09:00 - 09:05	MPLR Is Wasm Becoming Garbage? (Keynote) 09:05 - 10:00											MPLR On the Applicability of Annotation-Based Source Code Modification in Ko ... 10:00 - 10:15			MPLR CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) 10:15 - 10:30									MPLR Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach 11:00 - 11:22				MPLR CacheIR: The Benefits of a Structured Representation for Inline Caches 11:22 - 11:45					MPLR Diagnosing Compiler Performance by Comparing Optimization Decisions 11:45 - 12:07				MPLR Morello MicroPython: A Python Interpreter for CHERI 12:07 - 12:30																							MPLR A Multifaceted Memory Analysis of Java Benchmarks 14:00 - 14:22				MPLR Improving Garbage Collection Observability with Performance Tracing 14:22 - 14:45					MPLR Don’t Trust Your Profiler: An Empirical Study on the Precision and Accu ... 14:45 - 15:07				MPLR Heap Size Adjustment with CPU Control 15:07 - 15:30											MPLR Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native ... 16:00 - 16:22				MPLR Unified Shared Memory: Friend or Foe? Understanding the Implications of ... 16:22 - 16:45					MPLR Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Prog ... 16:45 - 17:00			MPLR Towards Safe HPC: Productivity and Performance via Rust Interfaces for ... 17:00 - 17:15			MPLR Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Wo ... 17:15 - 17:30

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 II	SLEResearch Paper Exceptions all Over the Shop: Modular, Customizable, Language-independe ... 09:00 - 09:30						SLEResearch Paper An Executable Semantics for Faster Development of Optimizing Python Com ... 09:30 - 10:00						SLEResearch Paper Adaptive Structural Operational Semantics 10:00 - 10:30												SLE Coccinelle: Impact and Internals 11:00 - 12:10														SLE GPCE/SLE Awards 12:10 - 12:30																						SLEResearch Paper A reference GLL implementation 14:00 - 14:30						SLEResearch Paper Sharing Trees and Contextual Information: Re-imagining Forwarding in At ... 14:30 - 15:00						SLEResearch Paper Nanopass Attribute Grammars 15:00 - 15:30												SLEResearch Paper Automated extraction of grammar optimization rule configurations in a m ... 16:00 - 16:30						SLEResearch Paper Reuse and Automated Integration of Recommenders for Modelling Languages 16:30 - 17:00						SLEResearch Paper GPT-3-Powered Type Error Debugging: Investigating the Use of Large Lang ... 17:00 - 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 II	SLEResearch Paper Temporal Breakpoints for Multiverse Debugging 09:00 - 09:30						SLEResearch Paper Cross-Level Debugging for Static Analysers 09:30 - 10:00						SLEResearch Paper Cascade: a Meta-Language for Change, Cause and Effect 10:00 - 10:30												SLEKeynote Artificial Languages are Dead. Long Live Artificial Languages! 11:00 - 12:00												SLENew ideas / Vision paper Seamless Code Generator Synchronization in the Composition of Heterogen ... 12:00 - 12:20																								SLEResearch Paper Enabling Blended Modelling of Timing and Variability in EAST-ADL 14:00 - 14:30						SLEResearch Paper Towards Efficient Model Comparison Using Automated Program Rewriting 14:30 - 15:00						SLEResearch Paper Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneo ... 15:00 - 15:30												SLETool Paper A Low-Code Platform for Systematic Component-Oriented Language Composition 16:00 - 16:20				SLETool Paper A Tool for the Definition and Deployment of Platform-Independent Bots o ... 16:20 - 16:40				SLETool Paper Online Name-Based Navigation for Software Meta-languages 16:40 - 17:00				SLETool Paper Practical Runtime Instrumentation of Software Languages: the Case of Sc ... 17:00 - 17:20				SLE SLE Closing 17:20 - 17:30

Wed 25 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 II	SPLASH OOPSLA Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart ... 11:00 - 11:18				SPLASH OOPSLA Equality Saturation Theory Exploration à la Carte 11:18 - 11:36			SPLASH OOPSLA Synthesizing Specifications 11:36 - 11:54				SPLASH OOPSLA Explainable Program Synthesis by Localizing Specifications 11:54 - 12:12			SPLASH OOPSLA Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction 12:12 - 12:30																						SPLASH OOPSLA Mobius: Synthesizing Relational Queries with Recursive and Invented Pre ... 14:00 - 14:18				SPLASH OOPSLA Data Extraction via Semantic Regular Expression Synthesis 14:18 - 14:36			SPLASH OOPSLA Synthesizing Efficient Memoization Algorithms 14:36 - 14:54				SPLASH OOPSLA Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial ... 14:54 - 15:12			SPLASH OOPSLA Modular Component-Based Quantum Circuit Synthesis 15:12 - 15:30										SPLASH OOPSLA Fluent APIs in Functional Languages 16:00 - 16:18				SPLASH OOPSLA A Pretty Expressive Printer 16:18 - 16:36			SPLASH OOPSLA How Domain Experts Use an Embedded DSL 16:36 - 16:54				SPLASH OOPSLA Saggitarius: A DSL for Specifying Grammatical Domains 16:54 - 17:12			SPLASH OOPSLA Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matri ... 17:12 - 17:30				SPLASH OOPSLA Translating canonical SQL to imperative code in Coq 17:30 - 17:48

Thu 26 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			18:00			15			30			45			19:00			15			30			45
Room II	SPLASH OOPSLA The Essence of Verilog: A Tractable and Tested Operational Semantics fo ... 11:00 - 11:18				SPLASH OOPSLA Regular Expression Matching using Bit Vector Automata 11:18 - 11:36			SPLASH OOPSLA Bidirectional Object-Oriented Programming: Towards Programmatic and Dir ... 11:36 - 11:54				SPLASH OOPSLA Bring Your Own Data Structures to Datalog 11:54 - 12:12			SPLASH OOPSLA Rhombus: A New Spin on Macros without All the Parentheses 12:12 - 12:30																						SPLASH OOPSLA The Bounded Pathwidth of Control-Flow Graphs 14:00 - 14:18				SPLASH OOPSLA How Profilers Can Help Navigate Type Migration 14:18 - 14:36			SPLASH OOPSLA Synthesizing Precise Static Analyzers for Automatic Differentiation 14:36 - 14:54				SPLASH OOPSLA A Container-Usage-Pattern-Based Context Debloating Approach for Object- ... 14:54 - 15:12			SPLASH OOPSLA Static Analysis of Memory Models for SMT Encodings 15:12 - 15:30										SPLASH OOPSLA Historia: Refuting Callback Reachability with Message-History Logics 16:00 - 16:18				SPLASH OOPSLA Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient ... 16:18 - 16:36			SPLASH OOPSLA A Cocktail Approach to Practical Call Graph Construction 16:36 - 16:54				SPLASH OOPSLA Building Dynamic System Call Sandbox with Partial Order Analysis 16:54 - 17:12			SPLASH OOPSLA Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection 17:12 - 17:30				SPLASH Student Research Competition Historiographer: Strongly-Consistent Distributed Reactive Programming w ... 17:30 - 17:43			SPLASH Student Research Competition Clearing the Trail: Motivations for Maintenance Work in Open Source 17:43 - 17:56		SPLASH Student Research CompetitionRemote An optimal structure-aware code difference framework with MaxSAT-Solver 17:56 - 18:10			SPLASH Student Research Competition Rose: Extensible Autodiff on the Web 18:10 - 18:23			SPLASH Student Research Competition Partial Gradual Dependent Type Theory 18:23 - 18:36		SPLASH Student Research Competition Design and implementation of facets of dynamic policies 18:36 - 18:50			SPLASH Student Research Competition Modular educational languages 18:50 - 19:03			SPLASH Student Research Competition Synthesizing Recursive Programs Through Dataflow Constraints 19:03 - 19:16

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 II	SPLASH OOPSLA Initializing Global Objects: Time and Order 11:00 - 11:18				SPLASH OOPSLA Type-Safe Dynamic Placement with First-Class Placed Values 11:18 - 11:36			SPLASH OOPSLA Secure RDTs: Enforcing Access Control Policies for Offline Available JS ... 11:36 - 11:54				SPLASH OOPSLA AtomiS: Data-Centric Synchronization Made Practical 11:54 - 12:12			SPLASH OOPSLA Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement ... 12:12 - 12:30																						SPLASH OOPSLA Formally Verifying Optimizations with Block Simulations 14:00 - 14:18				SPLASH OOPSLA Back to Direct Style: Typed and Tight 14:18 - 14:36			SPLASH OOPSLA Hardware-Aware Static Optimization of Hyperdimensional Computations 14:36 - 14:54				SPLASH OOPSLA Rapid: Region-Based Pointer Disambiguation 14:54 - 15:12			SPLASH OOPSLA Automated Ambiguity Detection in Layout-Sensitive Grammars 15:12 - 15:30										SPLASH OOPSLA Aliasing Limits on Translating C to Safe Rust 16:00 - 16:18				SPLASH OOPSLA Adventure of a Lifetime: Extract Method Refactoring for Rust 16:18 - 16:36			SPLASH OOPSLA Inductive Program Synthesis Guided by Observational Program Similarity 16:36 - 16:54				SPLASH OOPSLA Automated Translation of Functional Big Data Queries to SQL 16:54 - 17:12			SPLASH OOPSLA User-Customizable Transpilation of Scripting Languages 17:12 - 17:30

Room information: Room II

Program Display Configuration

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Wed 25 OctDisplayed time zone: Lisbon change

Thu 26 OctDisplayed time zone: Lisbon change

Fri 27 OctDisplayed time zone: Lisbon change

Sun 22 OctDisplayed time zone: Lisbon change

MPLR

MPLR

MPLR

MPLR

Mon 23 OctDisplayed time zone: Lisbon change

SLE

SLE

SLE

SLE

Tue 24 OctDisplayed time zone: Lisbon change

SLE

SLE

SLE

SLE

Wed 25 OctDisplayed time zone: Lisbon change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 26 OctDisplayed time zone: Lisbon change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH Student Research Competition

Fri 27 OctDisplayed time zone: Lisbon change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Wed 25 OctDisplayed time zone: Lisbon change

Thu 26 OctDisplayed time zone: Lisbon change

Fri 27 OctDisplayed time zone: Lisbon change

Sun 22 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

Sun 22 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

Sun 22 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