VMIL 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
co-located with SPLASH 2023
VenueHotel Cascais Miragem
Room nameRoom VII
Floor0
Capacity90
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

Mon 23 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Session ILOPSTR at Room VII
Chair(s): Santiago Escobar , Robert Glück University of Copenhagen
11:00
10m
Day opening
Opening Remarks
LOPSTR
Robert Glück University of Copenhagen
11:10
60m
Keynote
Unification Modulo Equational Theories in Languages with Binding Operators Keynote
LOPSTR
Maribel Fernandez King's College London
12:10
20m
Short-paper
Towards a Certified Proof Checker for Deep Neural Network Verification
LOPSTR
Remi Desmartin Heriot-Watt University, Omri Isac The Hebrew University of Jerusalem, Grant Passmore Imandra Inc., Kathrin Stark Heriot-Watt University, Guy Katz Hebrew University, Ekaterina Komandantskaya Heriot-Watt University, UK
14:00 - 15:30
Session IILOPSTR at Room VII
Chair(s): Michael Hanus Kiel University
14:00
35m
Research paper
A Reusable Machine-Calculus for Automated Resource Analyses
LOPSTR
Hector Suzanne LIP6 - Sorbonne Université & CNRS, Emmanuel Chailloux UPMC, France
14:35
35m
Research paper
A Logical Interpretation of Asynchronous Multiparty Compatibility
LOPSTR
Marco Carbone IT University of Copenhagen, Sonia Marin University of Birmingham, Carsten Schürmann IT University of Copenhagen
15:10
20m
Short-paper
Relational Solver for Java Generics Type SystemRemote
LOPSTR
Petr Lozov Sain Petersburg State University, SPbGU, Dmitry Kosarev Saint-Petersburg State University, Dmitry Ivanov TomTom, Dmitri Boulytchev Saint Petersburg State University
16:00 - 17:30
Session IIILOPSTR at Room VII
Chair(s): Chantal Keller Université Paris Saclay
16:00
35m
Research paper
A Rule-Based Approach for Designing and Composing Abstract Domains
LOPSTR
Daniel Jurjo Rivas IMDEA Software Institute and T.U. of Madrid (UPM), José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
16:35
35m
Research paper
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular ExamplesRemote
LOPSTR
Bach Nguyen Trong , Kanae Tsushima National Institute of Informatics, Japan, Zhenjiang Hu Peking University
17:10
10m
Awards
Best Paper Awards
LOPSTR

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session IVLOPSTR at Room VII
Chair(s): John P. Gallagher Roskilde University
09:00
60m
Keynote
On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFlyKeynote
LOPSTR
Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
10:00
30m
Research paper
A Term Matching Algorithm and Substitution Generality
LOPSTR
Marija Kulaš Fernuniversität in Hagen
11:00 - 12:30
Session VLOPSTR at Room VII
Chair(s): Maurizio Proietti CNR-IASI
11:00
35m
Research paper
Predicate Anti-unification in (Constraint) Logic Programming
LOPSTR
Gonzague Yernaux University of Namur, Wim Vanhoof University of Namur
11:35
35m
Research paper
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
LOPSTR
Jordina Francès de Mas University of St Andrews, St Andrews, UK, Juliana Bowles University of St Andrews, St Andrews, UK
12:10
20m
Short-paper
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining
LOPSTR
Anna Bamberger , Maribel Fernandez King's College London
14:00 - 15:30
Session VILOPSTR at Room VII
Chair(s): Juliana Bowles University of St Andrews, St Andrews, UK
14:00
35m
Research paper
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
LOPSTR
Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
14:35
20m
Short-paper
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
LOPSTR
John P. Gallagher Roskilde University, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute
14:55
10m
Day closing
Closing and Adjourn
LOPSTR

Wed 25 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
KeynoteSPLASH Onward! Papers at Room VII
Chair(s): Tijs van der Storm CWI & University of Groningen
09:00
90m
Keynote
Creating a learnable and inclusive programming languageKeynote
SPLASH Onward! Papers
K: Felienne Hermans Vrije Universiteit Amsterdam
09:00 - 10:30
Joint Keynote with Onward!SPLASH -E at Room VII
Chair(s): Tijs van der Storm CWI & University of Groningen

Please note that this talk/session is joint with Onward!.

11:00 - 12:30
Beyond Text? SPLASH Onward! Papers at Room VII
Chair(s): L. Thomas van Binsbergen University of Amsterdam
11:00
30m
Talk
Time-awareness in Object-exploration Tools: Toward In Situ Omniscient DebuggingRemote
SPLASH Onward! Papers
Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
Link to publication DOI
11:30
30m
Talk
Code Merging Using Transformations and Member Identity
SPLASH Onward! Papers
André R. Teles University Institute of Lisbon, André L. Santos University Institute of Lisbon, Portugal
12:00
30m
Talk
Scalable Spreadsheet-driven End-User Applications with Incremental Computation
SPLASH Onward! Papers
Sean Hadar Technion, Shachar Itzhaky Technion
14:00 - 15:30
Beyond Language?SPLASH Onward! Papers at Room VII
Chair(s): Alex Potanin Australian National University
14:00
30m
Talk
Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
SPLASH Onward! Papers
David H. Lorenz Open University of Israel, Assaf Zeira Too Software
Link to publication DOI Pre-print
14:30
30m
Talk
Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI Agents
SPLASH Onward! Papers
Mark Marron University of Kentucky
15:00
30m
Talk
Trustworthy Formal Natural Language Specifications
SPLASH Onward! Papers
Colin Gordon Drexel University, Sergey Matskevich Drexel University, USA
16:00 - 17:30
Essays 1SPLASH Onward! Essays at Room VII
Chair(s): Matthew Dinmore Johns Hopkins Applied Physics Laboratory
16:00
45m
Talk
Will code remain a relevant user interface for end-user programming with generative AI models?
SPLASH Onward! Essays
Advait Sarkar Microsoft Research and University of Cambridge
Link to publication DOI
16:45
45m
Talk
programmingLanguage as Language;
SPLASH Onward! Essays
James Noble Research & Programming, Robert Biddle Carleton University
Link to publication DOI File Attached

Thu 26 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Beyond Programming? SPLASH Onward! Papers at Room VII
Chair(s): Riemer van Rozen CWI
11:00
30m
Talk
Cloning And Beyond: A Quantum Solution to Duplicate Code
SPLASH Onward! Papers
Samyak Jhaveri UCI, Alberto Krone-Martins UC Irvine, Crista Lopes University of California, Irvine
11:30
30m
Talk
Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model LearningRemote
SPLASH Onward! Papers
Mathijs Schuts Philips; Radboud University Nijmegen, Jozef Hooman TNO; Radboud University Nijmegen
12:00
30m
Talk
Concept-Centric Software Development: An Experience Report
SPLASH Onward! Papers
Peter Wilczynski Palantir Technologies, Taylor Gregoire-Wright Independent consultant, Daniel Jackson MIT
14:00 - 15:30
Essays 2SPLASH Onward! Essays at Room VII
Chair(s): James Noble Research & Programming
14:00
45m
Talk
Sharing a Perspective on the lambda-Calculus
SPLASH Onward! Essays
Beniamino Accattoli Inria & Ecole Polytechnique
Link to publication DOI
14:45
45m
Talk
Whither Problem-Solving Environments?
SPLASH Onward! Essays
Matthew Dinmore Johns Hopkins Applied Physics Laboratory
Link to publication DOI File Attached

Mon 23 Oct

Displayed time zone: Lisbon change

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

Tue 24 Oct

Displayed time zone: Lisbon change

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

Thu 26 Oct

Displayed time zone: Lisbon change

Fri 27 Oct

Displayed time zone: Lisbon change

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