LOPSTR 2023
Dates to be announced Cascais, Portugal
co-located with SPLASH 2023
VenueHotel Cascais Miragem
Room nameRoom II
Floor0
Capacity196
Room InformationNo extra information available
Program

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
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
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
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 ProgramsDistinguished Paper
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 DatalogDistinguished Paper
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
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 OrderDistinguished Paper
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

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

Mon 23 Oct

Displayed time zone: Lisbon change

Tue 24 Oct

Displayed time zone: Lisbon change

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

Wed 25 Oct

Displayed time zone: Lisbon change

Fri 27 Oct

Displayed time zone: Lisbon change

Sun 22 Oct

Displayed time zone: Lisbon change

Thu 26 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Room II