Seminar Room G007 - SPLASH 2022

Seminar Room G007 - SPLASH 2022
SPLASH 2022
Mon 5 - Sat 10 December 2022
Auckland, New Zealand
Attending
Venue: University of Auckland
How To SPLASH
General Chair Welcome
Keynotes 4 Industry
Speaker Instructions
Session Chair Instructions
Virtual SPLASH 2022
Awards
Code of Conduct
COVID
Registration
Accommodation
Sponsoring
Tourism NZ
Visas for New Zealand
Program
SPLASH Program
Your Program
Mon 5 Dec
Tue 6 Dec
Wed 7 Dec
Thu 8 Dec
Fri 9 Dec
Sat 10 Dec
Tracks
SPLASH 2022
OOPSLA
Opening and Welcome
V-OOPSLA
OOPSLA Artifacts
COVID Time Papers In Person
Onward! Essays
Onward! Papers
Workshops
Posters
Student Research Competition
Doctoral Symposium
Panels
Keynotes
SPLASH-E
PLMW
W@SPLASH
Student Volunteers
PLTea
Awards
CARES
Co-hosted Conferences
APLAS
APLAS
APLAS
Research Artifacts
APLAS
DLS
GPCE
GPCE
GPCE
Keynote
SAS
SAS
SAS
SAS
Artifacts
SLE
SLE
SLE
Keynote
Workshops
FTSCS
Formal Techniques for Safety-Critical Systems
HATRA
Human Aspects of Types and Reasoning Assistants
LIVE
Live Programming
PAINT
Programming Abstractions and Interactive Notations, Tools, and Environments
REBLS
Reactive and Event-Based Languages and Systems
Unsound
Sources of Unsoundness in Verification
VMIL
Virtual Machines and Language Implementations
Organization
SPLASH 2022 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
COVID Time Papers In Person
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Steering Committee
Workshops
Posters
Student Research Competition
Organizers
Judges
Reviewers
Doctoral Symposium
Panels
SPLASH-E
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Student Volunteers
PLTea
CARES
Contributors
People Index
Co-hosted Conferences
APLAS
Program Committee
Artifact Evaluation Committee
DLS
Program Committee
GPCE
Organizing Committee
Program Committee
Steering Committee
SAS
Invited Speakers
Organizing Committee
SAS
SAS 2022 Artifacts
SLE
Keynote Speaker
Organising Committee
Program Committee
Artifact Evaluation Committee
Workshops
FTSCS
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
Unsound
Organizing Committee
Program Committee
VMIL
Organizing Committee
Series
Series
SPLASH 2026
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
SPLASH 2022
series
) /
University of Auckland
Room information: Seminar Room G007
Venue
University of Auckland
Room name
Seminar Room G007
Room number
507-G007
Capacity
80
Room Information
Back building is M&HS Building 507:
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Close
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 5 Dec
Displayed time zone:
Auckland, Wellington
change
09:00 - 10:00
Keynote
APLAS
at
Seminar Room G007
Chair(s):
Ilya Sergey
National University of Singapore
09:00
60m
Keynote
Verification of Concurrent Programs under Release-Acquire Concurrency
Keynote
Virtual
APLAS
Shankaranarayanan Krishna
IIT Bombay, India
10:30 - 12:00
Semantics and Analysis
APLAS
at
Seminar Room G007
Chair(s):
Julian Mackay
Victoria University of Wellington
10:30
30m
Talk
An Algebraic Theory for Shared-State Concurrency
APLAS
Yotam Dvir
Tel Aviv University
Ohad Kammar
University of Edinburgh
Ori Lahav
Tel Aviv University
File Attached
11:00
30m
Talk
Decoupling the Ascending and Descending Phases in Abstract Interpretation
APLAS
Vincenzo Arceri
University of Parma, Italy
Isabella Mastroeni
University of Verona, Italy
Enea Zaffanella
University of Parma, Italy
11:30
30m
Talk
Inferring Region Types via an Abstract Notion of Environment Transformation
APLAS
Ulrich Schöpp
fortiss GmbH
Chuangjie Xu
fortiss GmbH
13:30 - 15:00
Testing and Verification
APLAS
at
Seminar Room G007
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
13:30
30m
Talk
RHLE: Modular Deductive Verification of Relational ∀∃ Properties
APLAS
Robert Dickerson
Purdue University
Qianchuan Ye
Purdue University
Michael K. Zhang
Purdue University
Benjamin Delaware
Purdue University
14:00
30m
Talk
Automated Temporal Verification for Algebraic Effects
APLAS
Yahui Song
National University of Singapore
Darius Foo
National University of Singapore
Wei-Ngan Chin
National University of Singapore
14:30
30m
Talk
Model-based Fault Classification for Automotive Software
APLAS
Mike Becker
TU Braunschweig
Roland Meyer
TU Braunschweig
Tobias Runge
TU Braunschweig
Ina Schaefer
KIT
Sören van der Wall
PhD Student
Sebastian Wolff
New York University
15:30 - 17:30
Types
APLAS
at
Seminar Room G007
Chair(s):
Atsushi Igarashi
Kyoto University
15:30
30m
Talk
Characterizing functions mappable over GADTs
APLAS
Patricia Johann
Appalachian State University
Pierre Cagne
Appalachian State University
16:00
30m
Talk
Applicative Intersection Types
APLAS
Xu Xue
University of Hong Kong
Bruno C. d. S. Oliveira
University of Hong Kong
Ningning Xie
University of Toronto
16:30
30m
Talk
A Calculus with Recursive Types, Record Concatenation and Subtyping
APLAS
Yaoda Zhou
University of Hong Kong
Bruno C. d. S. Oliveira
University of Hong Kong
Andong Fan
Hong Kong University of Science and Technology
17:00
30m
Talk
Novice Type Error Diagnosis with Natural Language Models
APLAS
Chuqin Geng
McGill University
Haolin Ye
McGill University
Yixuan Li
McGill University
Tianyu Han
McGill University
Brigitte Pientka
McGill University
Xujie Si
McGill University, Canada
Tue 6 Dec
Displayed time zone:
Auckland, Wellington
change
08:45 - 08:57
SLE Opening
SLE
at
Seminar Room G007
Chair(s):
Lola Burgueño
University of Malaga
Walter Cazzola
Università degli Studi di Milano
08:45
12m
Day opening
SLE Opening
SLE
Bernd Fischer
Stellenbosch University, South Africa
Lola Burgueño
University of Malaga
Walter Cazzola
Università degli Studi di Milano
08:57 - 10:00
Session 1. Modeling Languages and Transformation
SLE
at
Seminar Room G007
Chair(s):
Takuo Watanabe
Tokyo Institute of Technology
08:57
24m
Talk
Selective Traceability for Rule-Based Model-to-Model Transformations
Research Paper
In Person
SLE
Qurat Ul Ain Ali
University of York
Dimitris Kolovos
University of York
Konstantinos Barmpis
University of York
DOI
09:21
24m
Talk
Partial Loading of Repository-Based Models through Static Analysis
Research Paper
In Person
SLE
Sorour Jahanbin
University of York
Dimitris Kolovos
University of York
Simos Gerasimou
University of York
Gerson Sunyé
University of Nantes
DOI
09:45
15m
Talk
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
New ideas / Vision paper
In Person
SLE
Vincent Bertram
RWTH Aachen University
Miriam Boß
RWTH Aachen University
Evgeny Kusmenko
RWTH Aachen University
Imke Helene Nachmann
RWTH Aachen University
Bernhard Rumpe
RWTH Aachen University
Danilo Trotta
RWTH Aachen University
Louis Wachtmeister
RWTH Aachen University
DOI
10:30 - 12:00
Session 2. Language Workbenches and Programming Environments
SLE
at
Seminar Room G007
Chair(s):
Stefan Marr
University of Kent
10:30
24m
Talk
Workbench for Creating Block-Based Environments
Research Paper
In Person
SLE
Mauricio Verano Merino
Vrije Universiteit Amsterdam
Koen van Wijk
ICT
DOI
Pre-print
10:54
24m
Talk
Partial Parsing for Structured Editors
Virtual
Research Paper
SLE
Tom Beckmann
University of Potsdam; Hasso Plattner Institute
Patrick Rein
University of Potsdam; Hasso Plattner Institute
Toni Mattis
University of Potsdam; Hasso Plattner Institute
Robert Hirschfeld
University of Potsdam; Hasso Plattner Institute
DOI
Pre-print
11:18
24m
Talk
A Language-Parametric Approach to Exploratory Programming Environments
Research Paper
In Person
SLE
L. Thomas van Binsbergen
University of Amsterdam
D Frölich
University of Amsterdam
Mauricio Verano Merino
Vrije Universiteit Amsterdam
Joey Lai
University of Amsterdam
Pierre Jeanjean
Inria; University of Rennes; CNRS; IRISA
Tijs van der Storm
CWI; University of Groningen
Benoit Combemale
University of Rennes; Inria; CNRS; IRISA
Olivier Barais
University of Rennes; Inria; CNRS; IRISA
DOI
Pre-print
11:42
15m
Talk
Freon: An Open Web Native Language Workbench
Tool Paper
Virtual
SLE
Jos Warmer
Independent
Anneke Kleppe
Independent
DOI
13:30 - 14:35
GPCE Keynote
GPCE Keynote
at
Seminar Room G007
Chair(s):
Bernhard Scholz
The University of Sydney
Yukiyoshi Kameyama
University of Tsukuba
13:30
65m
Keynote
Language Design meets Verifying Compilers
In Person
Keynote
GPCE Keynote
David J. Pearce
ConsenSys
DOI
14:35 - 15:00
Session 3. DSLs
SLE
at
Seminar Room G007
Chair(s):
Yukiyoshi Kameyama
University of Tsukuba
14:35
24m
Talk
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Virtual
Research Paper
SLE
Faezeh Khorram
IMT Atlantique; Nantes Université; École Centrale Nantes
Erwan Bousse
IMT Atlantique; Nantes Université; École Centrale Nantes
Antonio Garmendia
JKU Linz
Jean-Marie Mottu
IMT Atlantique; Nantes Université; École Centrale Nantes
Gerson Sunyé
IMT Atlantique; Nantes Université; École Centrale Nantes
Manuel Wimmer
JKU Linz
DOI
Pre-print
15:30 - 17:10
Session 4. Programming Languages: Modularity, Composition and Libraries
SLE
at
Seminar Room G007
Chair(s):
Jörg Kienzle
McGill University, Canada
15:30
24m
Talk
Collection Skeletons: Declarative Abstractions for Data Collections
Research Paper
In Person
SLE
Björn Franke
University of Edinburgh
Zhibo Li
University of Edinburgh
Magnus Morton
Huawei
Michel Steuwer
University of Edinburgh
DOI
15:54
24m
Talk
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
Research Paper
In Person
SLE
D Frölich
University of Amsterdam
L. Thomas van Binsbergen
University of Amsterdam
DOI
Pre-print
16:18
24m
Talk
BatakJava: An Object-Oriented Programming Language with Versions
Research Paper
In Person
SLE
Luthfan Anshar Lubis
Tokyo Institute of Technology
Yudai Tanabe
Tokyo Institute of Technology
Tomoyuki Aotani
Mamezou
Hidehiko Masuhara
Tokyo Institute of Technology
DOI
16:42
24m
Talk
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
Virtual
Research Paper
SLE
Tetsuro Yamazaki
University of Tokyo
Tomoki Nakamaru
University of Tokyo
Shigeru Chiba
University of Tokyo
DOI
Wed 7 Dec
Displayed time zone:
Auckland, Wellington
change
09:00 - 10:00
SLE Keynote
SLE
SLE Keynote
at
Seminar Room G007
Chair(s):
Lola Burgueño
University of Malaga
Walter Cazzola
Università degli Studi di Milano
09:00
60m
Keynote
People do not want to learn a new language but a new library
In Person
Keynote
SLE Keynote
Shigeru Chiba
University of Tokyo
DOI
10:30 - 12:00
Session 6. Language Implementation, Debugging and Optimization
SLE
at
Seminar Room G007
Chair(s):
Marco Servetto
Victoria University of Wellington
10:30
24m
Talk
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Virtual
Research Paper
SLE
Houda Boukham
Ecole Mohammadia d'Ingénieurs; Oracle Labs
Guido Wachsmuth
Oracle Labs
Martijn Dwars
Oracle Labs
Dalila Chiadmi
Ecole Mohammadia d'Ingénieurs
DOI
10:54
24m
Talk
Optimising First-Class Pattern Matching
Research Paper
In Person
SLE
Jeff Smits
Delft University of Technology
Toine Hartman
Independent
Jesper Cockx
Delft University of Technology
DOI
11:18
24m
Talk
Specializing Scope Graph Resolution Queries
Research Paper
In Person
SLE
Aron Zwaan
Delft University of Technology
DOI
11:42
15m
Talk
Reflection as a Tool to Debug Objects
Tool Paper
Virtual
SLE
Steven Costiou
INRIA Lille
Vincent Aranega
Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL
Marcus Denker
INRIA Lille
DOI
13:30 - 15:00
Session 7. Grammars, Parsing and Theory
SLE
at
Seminar Room G007
Chair(s):
Marjan Mernik
University of Maribor
13:30
40m
Talk
The Semantics of Plurals
Virtual
SLE Body of Knowledge
SLE
Friedrich Steimann
Fernuniversität in Hagen
Marius Freitag
Fernuniversität in Hagen
DOI
14:10
24m
Talk
Gradual Grammars: Syntax in Levels and Locales
Virtual
Research Paper
SLE
Tijs van der Storm
CWI; University of Groningen
Felienne Hermans
Vrije Universiteit Amsterdam
DOI
Pre-print
Media Attached
14:34
24m
Talk
Property Probes: Source Code Based Exploration of Program Analysis Results
Includes Demo
Research Paper
In Person
SLE
Anton Risberg Alaküla
Lund University
Görel Hedin
Lund University
Niklas Fors
Lund University
Adrian Pop
Linköping University
DOI
Media Attached
File Attached
15:30 - 16:57
Session 8. Verification, Validation and Testing
SLE
at
Seminar Room G007
Chair(s):
David H. Lorenz
Open University of Israel
15:30
24m
Talk
Lang-n-Prove: A DSL for Language Proofs
Virtual
Research Paper
SLE
Matteo Cimini
University of Massachusetts Lowell
DOI
15:54
24m
Talk
Property-Based Testing: Climbing the Stairway to Verification
Research Paper
In Person
SLE
Zilin Chen
UNSW
Christine Rizkallah
University of Melbourne
Liam O'Connor
University of Edinburgh
Partha Susarla
Independent
Gerwin Klein
Proofcraft; UNSW
Gernot Heiser
UNSW
Gabriele Keller
Utrecht University
DOI
16:18
24m
Talk
jGuard: Programming Misuse-Resilient APIs
Research Paper
In Person
SLE
Simon Binder
TU Darmstadt
Krishna Narasimhan
TU Darmstadt
Svenja Kernig
TU Darmstadt
Mira Mezini
TU Darmstadt
DOI
16:42
15m
Talk
signatr: A Data-Driven Fuzzing Tool for R
Tool Paper
In Person
SLE
Alexi Turcotte
Northeastern University
Pierre Donat-Bouillud
Czech Technical University in Prague
Filip Křikava
Czech Technical University in Prague
Jan Vitek
Northeastern University
DOI
16:58 - 17:10
SLE Closing
SLE
at
Seminar Room G007
Chair(s):
Lola Burgueño
University of Malaga
Walter Cazzola
Università degli Studi di Milano
16:58
12m
Day closing
SLE Closing
SLE
Thu 8 Dec
Displayed time zone:
Auckland, Wellington
change
10:30 - 12:00
Assurance
OOPSLA
at
Seminar Room G007
Chair(s):
Amal Ahmed
Northeastern University, USA
10:30
30m
Research paper
C to checked C by 3c
OOPSLA
Aravind Machiry
Purdue University
John Kastner
Amazon
Matt McCutchen
Aaron Eline
Amazon
Kyle Headley
Amazon
MIchael Hicks
Amazon
DOI
11:00
30m
Talk
Solo: A Lightweight Static Analysis for Differential Privacy
OOPSLA
Chike Abuah
University of Vermont
David Darais
Galois
Joseph P. Near
University of Vermont
DOI
11:30
30m
Talk
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
OOPSLA
Lionel Parreaux
Hong Kong University of Science and Technology
Chun Yin Chau
The Hong Kong University of Science and Technology
DOI
Pre-print
Media Attached
File Attached
15:30 - 17:00
Verification
OOPSLA
at
Seminar Room G007
Chair(s):
Dominique Devriese
KU Leuven
15:30
30m
Talk
Checking Equivalence in a Non-strict Language
OOPSLA
John C. Kolesar
Yale University
Ruzica Piskac
Yale University
William T. Hallahan
Yale University
DOI
16:00
30m
Talk
Necessity Specifications for Robustness
OOPSLA
Julian Mackay
Victoria University of Wellington
Susan Eisenbach
Imperial College London
James Noble
Research & Programming
Sophia Drossopoulou
Meta and Imperial College London
DOI
16:30
30m
Research paper
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
OOPSLA
Linpeng Zhang
University College London
Benjamin Lucien Kaminski
Saarland University and University College London
DOI
Fri 9 Dec
Displayed time zone:
Auckland, Wellington
change
10:30 - 12:00
Semantics and Security
OOPSLA
at
Seminar Room G007
Chair(s):
Derek Dreyer
MPI-SWS
10:30
30m
Research paper
Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
OOPSLA
Aina Linn Georges
Aarhus University
Alix Trieu
ANSSI
Lars Birkedal
Aarhus University
DOI
11:00
30m
Research paper
Plausible sealing for gradual parametricity
OOPSLA
Elizabeth Labrada
University of Chile
Matías Toro
University of Chile
Éric Tanter
University of Chile
Dominique Devriese
KU Leuven
DOI
11:30
30m
Research paper
Purity of an ST monad: full abstraction by semantically typed back-translation
OOPSLA
Koen Jacobs
KU Leuven
Dominique Devriese
KU Leuven
Amin Timany
Aarhus University
DOI
13:30 - 14:30
Debugging
OOPSLA
at
Seminar Room G007
Chair(s):
Neville Grech
University of Malta
13:30
30m
Talk
AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
OOPSLA
Fabian Ritter
Saarland University, Germany
Sebastian Hack
Saarland University, Germany
DOI
14:00
30m
Talk
Seq2Parse: Neurosymbolic Parse Error Repair
OOPSLA
Georgios Sakkas
University of California at San Diego
Madeline Endres
University of Michigan
Philip Guo
University of California at San Diego
Westley Weimer
University of Michigan
Ranjit Jhala
University of California at San Diego
DOI
15:30 - 17:00
Probabilistic
OOPSLA
at
Seminar Room G007
Chair(s):
Benjamin Lucien Kaminski
Saarland University and University College London
15:30
30m
Talk
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
OOPSLA
Eric Atkinson
Massachusetts Institute of Technology
Charles Yuan
Massachusetts Institute of Technology
Guillaume Baudart
Inria
Louis Mandel
IBM Research
Michael Carbin
Massachusetts Institute of Technology
DOI
16:00
30m
Talk
Symbolic Execution for Randomized Programs
OOPSLA
Zachary Susag
Cornell University
Sumit Lahiri
IIT Kanpur
Justin Hsu
Cornell University
Subhajit Roy
IIT Kanpur
DOI
16:30
30m
Talk
This Is the Moment for Probabilistic Loops
OOPSLA
Marcel Moosbrugger
TU Wien
Miroslav Stankovič
TU Wien
Ezio Bartocci
TU Wien
Laura Kovács
TU Wien
DOI
Sat 10 Dec
Displayed time zone:
Auckland, Wellington
change
10:30 - 12:00
DSLs
OOPSLA
at
Seminar Room G007
Chair(s):
Robert Bruce Findler
Northwestern University
10:30
30m
Talk
Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
OOPSLA
Nico Ritschel
University of British Columbia
Felipe Fronchetti
Virginia Commonwealth University
Reid Holmes
University of British Columbia
Ronald Garcia
University of British Columbia
David C. Shepherd
Virginia Commonwealth University
DOI
11:00
30m
Talk
Compositional Embeddings of Domain-Specific Languages
OOPSLA
Yaozhu Sun
University of Hong Kong
Utkarsh Dhandhania
University of Hong Kong
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
Pre-print
11:30
30m
Research paper
Language-parametric static semantic code completion
OOPSLA
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
Hendrik van Antwerpen
Delft University of Technology
Casper Bach
Delft University of Technology
Eelco Visser
Delft University of Technology
DOI
13:30 - 15:00
Logic and Verification II
OOPSLA
at
Seminar Room G007
Chair(s):
Atsushi Igarashi
Kyoto University
13:30
30m
Research paper
On incorrectness logic for Quantum programs
OOPSLA
Peng Yan
University of Technology Sydney
Hanru Jiang
Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, China
Nengkun Yu
Stony Brook University, USA
DOI
14:00
30m
Research paper
Weighted programming: a programming paradigm for specifying mathematical models
OOPSLA
Kevin Batz
RWTH Aachen University
Adrian Gallus
RWTH Aachen University
Benjamin Lucien Kaminski
Saarland University and University College London
Joost-Pieter Katoen
RWTH Aachen University
Tobias Winkler
RWTH Aachen University
DOI
14:30
30m
Talk
Wildcards Need Witness Protection
OOPSLA
Kevin Bierhoff
Google
DOI
Mon 5 Dec
Displayed time zone:
Auckland, Wellington
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
Seminar Room G007
APLAS
Keynote
APLAS
Semantics and Analysis
APLAS
Testing and Verification
APLAS
Types
Tue 6 Dec
Displayed time zone:
Auckland, Wellington
change
Room
8:00
30
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
Seminar Room G007
SLE
SLE Opening
SLE
Session 1. Modeling Languages and Transformation
SLE
Session 2. Language Workbenches and Programming Environments
GPCE Keynote
GPCE Keynote
SLE
Session 3. DSLs
SLE
Session 4. Programming Languages: Modularity, Composition and Libraries
Wed 7 Dec
Displayed time zone:
Auckland, Wellington
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
Seminar Room G007
SLE + SLE Keynote
SLE Keynote
SLE
Session 6. Language Implementation, Debugging and Optimization
SLE
Session 7. Grammars, Parsing and Theory
SLE
Session 8. Verification, Validation and Testing
SLE
SLE Closing
Thu 8 Dec
Displayed time zone:
Auckland, Wellington
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Seminar Room G007
OOPSLA
Assurance
OOPSLA
Verification
Fri 9 Dec
Displayed time zone:
Auckland, Wellington
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Seminar Room G007
OOPSLA
Semantics and Security
OOPSLA
Debugging
OOPSLA
Probabilistic
Sat 10 Dec
Displayed time zone:
Auckland, Wellington
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Seminar Room G007
OOPSLA
DSLs
OOPSLA
Logic and Verification II
Mon 5 Dec
Displayed time zone:
Auckland, Wellington
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
Seminar Room G007
APLAS
Keynote
Virtual
Verification of Concurrent Programs under Release-Acquire Concurrency
09:00 - 10:00
APLAS
An Algebraic Theory for Shared-State Concurrency
10:30 - 11:00
APLAS
Decoupling the Ascending and Descending Phases in Abstract Interpretation
11:00 - 11:30
APLAS
Inferring Region Types via an Abstract Notion of Environment Transformation
11:30 - 12:00
APLAS
RHLE: Modular Deductive Verification of Relational ∀∃ Properties
13:30 - 14:00
APLAS
Automated Temporal Verification for Algebraic Effects
14:00 - 14:30
APLAS
Model-based Fault Classification for Automotive Software
14:30 - 15:00
APLAS
Characterizing functions mappable over GADTs
15:30 - 16:00
APLAS
Applicative Intersection Types
16:00 - 16:30
APLAS
A Calculus with Recursive Types, Record Concatenation and Subtyping
16:30 - 17:00
APLAS
Novice Type Error Diagnosis with Natural Language Models
17:00 - 17:30
Tue 6 Dec
Displayed time zone:
Auckland, Wellington
change
Room
8:00
15
30
45
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
Seminar Room G007
SLE
SLE Opening
08:45 - 08:57
SLE
Research Paper
In Person
Selective Traceability for Rule-Based Model-to-Model Transformations
08:57 - 09:21
SLE
Research Paper
In Person
Partial Loading of Repository-Based Models through Static Analysis
09:21 - 09:45
SLE
New ideas / Vision paper
In Person
Neural Language Models and Few Shot Learning for Systematic Requirement ...
09:45 - 10:00
SLE
Research Paper
In Person
Workbench for Creating Block-Based Environments
10:30 - 10:54
SLE
Virtual
Research Paper
Partial Parsing for Structured Editors
10:54 - 11:18
SLE
Research Paper
In Person
A Language-Parametric Approach to Exploratory Programming Environments
11:18 - 11:42
SLE
Tool Paper
Virtual
Freon: An Open Web Native Language Workbench
11:42 - 11:57
GPCE Keynote
In Person
Keynote
Language Design meets Verifying Compilers
13:30 - 14:35
SLE
Virtual
Research Paper
From Coverage Computation to Fault Localization: A Generic Framework fo ...
14:35 - 14:59
SLE
Research Paper
In Person
Collection Skeletons: Declarative Abstractions for Data Collections
15:30 - 15:54
SLE
Research Paper
In Person
iCoLa: A Compositional Meta-language with Support for Incremental Langu ...
15:54 - 16:18
SLE
Research Paper
In Person
BatakJava: An Object-Oriented Programming Language with Versions
16:18 - 16:42
SLE
Virtual
Research Paper
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and ...
16:42 - 17:06
Wed 7 Dec
Displayed time zone:
Auckland, Wellington
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
Seminar Room G007
SLE Keynote
In Person
Keynote
People do not want to learn a new language but a new library
09:00 - 10:00
SLE
Virtual
Research Paper
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Proce ...
10:30 - 10:54
SLE
Research Paper
In Person
Optimising First-Class Pattern Matching
10:54 - 11:18
SLE
Research Paper
In Person
Specializing Scope Graph Resolution Queries
11:18 - 11:42
SLE
Tool Paper
Virtual
Reflection as a Tool to Debug Objects
11:42 - 11:57
SLE
Virtual
SLE Body of Knowledge
The Semantics of Plurals
13:30 - 14:10
SLE
Virtual
Research Paper
Gradual Grammars: Syntax in Levels and Locales
14:10 - 14:34
SLE
Includes Demo
Research Paper
In Person
Property Probes: Source Code Based Exploration of Program Analysis Results
14:34 - 14:58
SLE
Virtual
Research Paper
Lang-n-Prove: A DSL for Language Proofs
15:30 - 15:54
SLE
Research Paper
In Person
Property-Based Testing: Climbing the Stairway to Verification
15:54 - 16:18
SLE
Research Paper
In Person
jGuard: Programming Misuse-Resilient APIs
16:18 - 16:42
SLE
Tool Paper
In Person
signatr: A Data-Driven Fuzzing Tool for R
16:42 - 16:57
SLE
SLE Closing
16:58 - 17:10
Thu 8 Dec
Displayed time zone:
Auckland, Wellington
change
Room
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
Seminar Room G007
SPLASH OOPSLA
C to checked C by 3c
10:30 - 11:00
SPLASH OOPSLA
Solo: A Lightweight Static Analysis for Differential Privacy
11:00 - 11:30
SPLASH OOPSLA
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
11:30 - 12:00
SPLASH OOPSLA
Checking Equivalence in a Non-strict Language
15:30 - 16:00
SPLASH OOPSLA
Necessity Specifications for Robustness
16:00 - 16:30
SPLASH OOPSLA
Quantitative strongest post: a calculus for reasoning about the flow of ...
16:30 - 17:00
Fri 9 Dec
Displayed time zone:
Auckland, Wellington
change
Room
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
Seminar Room G007
SPLASH OOPSLA
Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Mac ...
10:30 - 11:00
SPLASH OOPSLA
Plausible sealing for gradual parametricity
11:00 - 11:30
SPLASH OOPSLA
Purity of an ST monad: full abstraction by semantically typed back-tran ...
11:30 - 12:00
SPLASH OOPSLA
AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
13:30 - 14:00
SPLASH OOPSLA
Seq2Parse: Neurosymbolic Parse Error Repair
14:00 - 14:30
SPLASH OOPSLA
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
15:30 - 16:00
SPLASH OOPSLA
Symbolic Execution for Randomized Programs
16:00 - 16:30
SPLASH OOPSLA
This Is the Moment for Probabilistic Loops
16:30 - 17:00
Sat 10 Dec
Displayed time zone:
Auckland, Wellington
change
Room
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
Seminar Room G007
SPLASH OOPSLA
Can Guided Decomposition Help End-Users Write Larger Block-Based Progra ...
10:30 - 11:00
SPLASH OOPSLA
Compositional Embeddings of Domain-Specific Languages
11:00 - 11:30
SPLASH OOPSLA
Language-parametric static semantic code completion
11:30 - 12:00
SPLASH OOPSLA
On incorrectness logic for Quantum programs
13:30 - 14:00
SPLASH OOPSLA
Weighted programming: a programming paradigm for specifying mathematica ...
14:00 - 14:30
SPLASH OOPSLA
Wildcards Need Witness Protection
14:30 - 15:00
Sat 25 Apr 00:08