VMIL 2022
Dates to be announced Auckland, New Zealand
co-located with SPLASH 2022
VenueUniversity of Auckland
Room nameSeminar Room G100
Room number507-G100
Capacity70
Program

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

10:30 - 12:00
10:30
5m
Talk
Welcome Notes
Virtual Machines and Language Implementations
Stefan Marr University of Kent
10:35
30m
Talk
Ease Virtual Machine Level Tooling with Language Level Ordinary Object PointersVirtual
Virtual Machines and Language Implementations
Pierre Misse-Chanabier University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStAL, Théo Rogliano University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStAL
DOI
11:05
30m
Talk
Inlining-Benefit Prediction with Interprocedural Partial Escape AnalysisVirtual
Virtual Machines and Language Implementations
Matthew Edwin Weingarten ETH Zurich; Oracle Labs, Theodoros Theodoridis ETH Zurich, Aleksandar Prokopec Oracle Labs
DOI
11:35
25m
Talk
Toward a dynamic language toolkit Virtual
Virtual Machines and Language Implementations
Dave Mason Toronto Metropolitan University (formerly Ryerson University)
13:30 - 15:00
13:30
60m
Keynote
Virgil as a Systems Programming Language
Virtual Machines and Language Implementations
Ben L. Titzer Carnegie Mellon University
14:30
30m
Talk
Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models
Virtual Machines and Language Implementations
Raphael Mosaner JKU Linz, Gergö Barany Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI
15:30 - 17:00
Session 3Virtual Machines and Language Implementations at Seminar Room G100
Chair(s): Tony Hosking Australian National University
15:30
60m
Keynote
MMTk and The Case for Modular VM Development
Virtual Machines and Language Implementations
Steve Blackburn Google and Australian National University
16:30
30m
Talk
Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
Virtual Machines and Language Implementations
Tomoharu Ugawa University of Tokyo, Stefan Marr University of Kent, Richard Jones University of Kent
DOI

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
GPCE Session 2GPCE at Seminar Room G100
Chair(s): Atsushi Igarashi Kyoto University
10:30
22m
Talk
Incremental Processing of Structured Data in DatalogVirtual
GPCE
André Pacak JGU Mainz, Tamás Szabó GitHub, Sebastian Erdweg JGU Mainz
DOI
10:52
22m
Talk
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic ProgrammingVirtual
GPCE
Guilherme Espada University of Lisbon, Leon Ingelse University of Lisbon, Paulo Canelas University of Lisbon; Carnegie Mellon University, Pedro Barbosa University of Lisbon; Instituto de Medicina Molecular, Alcides Fonseca University of Lisbon
DOI
11:15
22m
Talk
Deep Fusion for Efficient Nested Recursive ComputationsVirtual
GPCE
Amir Shaikhha University of Edinburgh
DOI
11:37
22m
Talk
Composable Sequence Macros for Fast IterationVirtual
GPCE
Anna Bolotina Czech Technical University in Prague, Ryan Culpepper Czech Technical University in Prague
DOI
13:30 - 15:00
GPCE Session 3GPCE at Seminar Room G100
Chair(s): Shigeru Chiba University of Tokyo
13:30
22m
Talk
Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous DevicesIn Person
GPCE
Arvid Butting Software Engineering, RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Anno Kleiss RWTH Aachen University, Judith Michael RWTH Aachen University, Radoslav Orlov RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
DOI Pre-print
13:52
22m
Talk
Language Support for Refactorability Decay PreventionIn Person
GPCE
Dov Fraivert Open University of Israel, David H. Lorenz Open University of Israel
DOI
14:15
22m
Talk
Preserving Consistency of Interrelated Models during View-Based Evolution of Variable SystemsVirtual
GPCE
Sofia Ananieva FZI Research Center for Information Technology, Thomas Kühn Karlsruhe Institute of Technology, Ralf Reussner KIT
DOI
14:37
23m
Talk
Generic Solution-Space Sampling for Multi-domain Product LinesVirtual
GPCE
Marc Hentze Volkswagen, Tobias Pett TU Braunschweig, Chico Sundermann University of Ulm, Sebastian Krieter University of Ulm, Thomas Thüm University of Ulm, Ina Schaefer KIT
DOI
15:30 - 17:00
GPCE Session 4GPCE at Seminar Room G100
Chair(s): Bernhard Scholz University of Sydney
15:30
22m
Talk
A Modern C++ Point of View of Programming in Image ProcessingVirtual
GPCE
Michaël ROYNARD EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Thierry Géraud EPITA Research Laboratory
DOI
15:52
22m
Talk
The Cost of Dynamism in Static Languages for Image ProcessingIn Person
GPCE
Baptiste Esteban EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Guillaume Tochon EPITA Research Laboratory, Didier Verna EPITA Research Laboratory
DOI
16:15
22m
Talk
A Model-Driven Generative Self Play-Based Toolchain for Developing Games and PlayersIn Person
GPCE
Evgeny Kusmenko RWTH Aachen University, Maximilian Münker RWTH Aachen University, Matthias Nadenau RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
DOI
16:37
22m
Talk
Dynamic Replanning of Multi-drone Missions using Dynamic Forward SlicingIn Person
GPCE
Miguel Campusano University of Southern Denmark, Ulrik Pagh Schultz University of Southern Denmark
DOI

Thu 8 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:30
Session 1SPLASH Onward! Essays at Seminar Room G100
Chair(s): Jeremy Singer University of Glasgow

We are aiming for 25 min talks with 15 min discussion, for each essay. We want to encourage questions, conversation, maybe even arguments!

10:30
40m
Talk
Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and MaterialsIn Person
SPLASH Onward! Essays
Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
Link to publication DOI Pre-print
11:10
40m
Talk
Conferences & Остраннeние: Shortchanging Topos and OurselvesVirtual
SPLASH Onward! Essays
Richard P. Gabriel Poet, Jenny Quillien Independent Scholar
Link to publication DOI
11:50
40m
Talk
What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented ProgrammingIn Person
SPLASH Onward! Essays
Ole Lehrmann Madsen Aarhus University, Birger Møller-Pedersen University of Oslo
Link to publication DOI
15:30 - 17:00
Session 2SPLASH Onward! Essays at Seminar Room G100
Chair(s): Jonathan Aldrich Carnegie Mellon University

We are aiming for 25 min talks with 15 min discussion, for each essay. We want to encourage questions, conversation, maybe even arguments!

15:30
40m
Talk
Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical SystemIncludes DemoIn Person
SPLASH Onward! Essays
Joel Jakubovic University of Kent, Tomas Petricek Charles University
Link to publication DOI
16:10
40m
Talk
Bringing Together Configuration Research: Towards a Common GroundIn Person
SPLASH Onward! Essays
Paul Gazzillo University of Central Florida, Myra Cohen Iowa State University
Link to publication DOI Pre-print

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Future Programming Languages and Tools (1)SPLASH Onward! Papers at Seminar Room G100
Chair(s): Jeremy Singer University of Glasgow
10:30
30m
Talk
Forest: Structural Code Editing with Multiple Cursors
SPLASH Onward! Papers
Philippe Voinov ETH Zurich, Manuel Rigger National University of Singapore, Zhendong Su ETH Zurich
DOI
11:00
30m
Talk
Bridging the Syntax-Semantics Gap of ProgrammingIncludes Demo
SPLASH Onward! Papers
Theo B. Weidmann ETH Zurich, Sverrir Thorgeirsson ETH Zurich, Zhendong Su ETH Zurich
DOI
11:30
30m
Talk
Digital Crochet: Toward a Visual Language for Pattern DescriptionVirtual
SPLASH Onward! Papers
Klara Seitz University of Potsdam; Hasso Plattner Institute, Patrick Rein University of Potsdam; Hasso Plattner Institute, Jens Lincke University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
DOI Pre-print
13:30 - 15:00
Future Programming Languages and Tools (2)SPLASH Onward! Papers at Seminar Room G100
Chair(s): Jeremy Singer University of Glasgow
13:30
30m
Talk
A Language Based on Two Relations between SymbolsIncludes Demo
SPLASH Onward! Papers
Agustín Rafael Martínez University of Buenos Aires
DOI Pre-print
14:00
30m
Talk
Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement
SPLASH Onward! Papers
Diana Kirk University of Auckland
DOI
14:30
30m
Talk
The Principles of the Flix Programming LanguageVirtual
SPLASH Onward! Papers
Magnus Madsen Aarhus University
DOI
15:30 - 17:00
Program Synthesis, Testing and AdaptationSPLASH Onward! Papers at Seminar Room G100
Chair(s): Stefan Marr University of Kent
15:30
30m
Talk
Derivations with Holes for Concept-Based Program SynthesisIncludes Demo
SPLASH Onward! Papers
João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Luís Carvalho NOVA-LINCS; Nova University of Lisbon, Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Carla Ferreira NOVA-LINCS; Nova University of Lisbon
DOI
16:00
30m
Talk
Intramorphic Testing: A New Approach to the Test Oracle Problem
SPLASH Onward! Papers
Manuel Rigger National University of Singapore, Zhendong Su ETH Zurich
DOI
16:30
30m
Talk
GOAL: Supporting General and Dynamic Adaptation in Computing SystemsVirtual
SPLASH Onward! Papers
Ahsan Pervaiz University of Chicago, Yao Hsiang Yang Rice University, Adam Duracz Rice University, Ferenc Bartha Rice University, Ryuichi Sai Rice University, Connor Imes University of Chicago, Robert Cartwright Rice University, Krishna Palem Rice University, Shan Lu University of Chicago, Henry Hoffmann University of Chicago
DOI

Sat 10 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Program Comprehension Tools and TechniquesSPLASH Onward! Papers at Seminar Room G100
Chair(s): James Noble Research & Programming
10:30
30m
Talk
Contextualized Programming Language DocumentationIncludes Demo
SPLASH Onward! Papers
Hannah Potter University of Washington, Ardi Madadi University of Washington, René Just University of Washington, Cyrus Omar University of Michigan
DOI
11:00
30m
Talk
Competitive Debugging: Toward Contests Promoting Debugging as a Skill
SPLASH Onward! Papers
Patrick Rein University of Potsdam; Hasso Plattner Institute, Tom Beckmann University of Potsdam; Hasso Plattner Institute, Leonard Geier 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:30
30m
Talk
Portals: An Extension of Dataflow Streaming for Stateful Serverless
SPLASH Onward! Papers
Jonas Spenger KTH Royal Institute of Technology, Paris Carbone RISE Research institutes of Sweden, Philipp Haller KTH
DOI

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Seminar Room G100

Thu 8 Dec

Displayed time zone: Auckland, Wellington change

Room10:003011:003012:003013:003014:003015:003016:0030
Seminar Room G100

Sat 10 Dec

Displayed time zone: Auckland, Wellington change