Seminar Room G100 - VMIL 2022

Room nameSeminar Room G100

Room number507-G100

Capacity70

Room Information

Back building is M&HS Building 507: https://maps.auckland.ac.nz/auckland/39a7034bd4e04f49b06c6762/details/7b2bf607d6da426184abb0eb

Program

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

10:30 - 12:00	Session 1Virtual Machines and Language Implementations at Seminar Room G100 Chair(s): Stefan Marr University of Kent

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	Session 2Virtual Machines and Language Implementations at Seminar Room G100 Chair(s): Stefan Marr University of Kent

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

Mon 5 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 G100							Virtual Machines and Language Implementations Session 1																																				Virtual Machines and Language Implementations Session 2																								Virtual Machines and Language Implementations Session 3

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
Seminar Room G100	GPCE																		GPCE GPCE Session 2																																				GPCE GPCE Session 3																								GPCE GPCE Session 4

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 G100							SPLASH Onward! Essays Session 1																																																												SPLASH Onward! Essays Session 2

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 G100							SPLASH Onward! Papers Future Programming Languages and Tools (1)																																				SPLASH Onward! Papers Future Programming Languages and Tools (2)																								SPLASH Onward! Papers Program Synthesis, Testing and Adaptation

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						15:00						30						16:00						30
Seminar Room G100							SPLASH Onward! Papers Program Comprehension Tools and Techniques																																				SPLASH Onward! Papers																								SPLASH Onward! Papers

Mon 5 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 G100							VMIL Welcome Notes 10:30 - 10:35	VMILVirtual Ease Virtual Machine Level Tooling with Language Level Ordinary Object ... 10:35 - 11:05						VMILVirtual Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis 11:05 - 11:35						VMILVirtual Toward a dynamic language toolkit 11:35 - 12:00																							VMIL Virgil as a Systems Programming Language 13:30 - 14:30												VMIL Improving Vectorization Heuristics in a Dynamic Compiler with Machine L ... 14:30 - 15:00												VMIL MMTk and The Case for Modular VM Development 15:30 - 16:30												VMIL Profile Guided Offline Optimization of Hidden Class Graphs for JavaScri ... 16:30 - 17:00

Wed 7 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 G100							GPCE Virtual Incremental Processing of Structured Data in Datalog 10:30 - 10:52				GPCE Virtual Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Prog ... 10:52 - 11:15					GPCE Virtual Deep Fusion for Efficient Nested Recursive Computations 11:15 - 11:37				GPCE Virtual Composable Sequence Macros for Fast Iteration 11:37 - 12:00																							GPCE In Person Model-Driven IoT App Stores: Deploying Customizable Software Products t ... 13:30 - 13:52				GPCE In Person Language Support for Refactorability Decay Prevention 13:52 - 14:15					GPCE Virtual Preserving Consistency of Interrelated Models during View-Based Evoluti ... 14:15 - 14:37				GPCE Virtual Generic Solution-Space Sampling for Multi-domain Product Lines 14:37 - 15:00											GPCE Virtual A Modern C++ Point of View of Programming in Image Processing 15:30 - 15:52				GPCE In Person The Cost of Dynamism in Static Languages for Image Processing 15:52 - 16:15					GPCE In Person A Model-Driven Generative Self Play-Based Toolchain for Developing Game ... 16:15 - 16:37				GPCE In Person Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing 16:37 - 17:00

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 G100							SPLASH Onward! EssaysIn Person Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a ... 10:30 - 11:10								SPLASH Onward! EssaysVirtual Conferences & Остраннeние: Shortchanging Topos and Ourselves 11:10 - 11:50								SPLASH Onward! EssaysIn Person What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guy ... 11:50 - 12:30																																												SPLASH Onward! EssaysIncludes DemoIn Person Ascending the Ladder to Self-Sustainability: Achieving Open Evolution i ... 15:30 - 16:10								SPLASH Onward! EssaysIn Person Bringing Together Configuration Research: Towards a Common Ground 16:10 - 16:50

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 G100							SPLASH Onward! Papers Forest: Structural Code Editing with Multiple Cursors 10:30 - 11:00						SPLASH Onward! PapersIncludes Demo Bridging the Syntax-Semantics Gap of Programming 11:00 - 11:30						SPLASH Onward! PapersVirtual Digital Crochet: Toward a Visual Language for Pattern Description 11:30 - 12:00																								SPLASH Onward! PapersIncludes Demo A Language Based on Two Relations between Symbols 13:30 - 14:00						SPLASH Onward! Papers Exploring Task Equivalence for Software Engineering Practice Adaptation ... 14:00 - 14:30						SPLASH Onward! PapersVirtual The Principles of the Flix Programming Language 14:30 - 15:00												SPLASH Onward! PapersIncludes Demo Derivations with Holes for Concept-Based Program Synthesis 15:30 - 16:00						SPLASH Onward! Papers Intramorphic Testing: A New Approach to the Test Oracle Problem 16:00 - 16:30						SPLASH Onward! PapersVirtual GOAL: Supporting General and Dynamic Adaptation in Computing Systems 16:30 - 17:00

Sat 10 Dec
Displayed time zone: Auckland, Wellington change


Room	10:00			15			30			45			11:00			15			30			45
Seminar Room G100							SPLASH Onward! PapersIncludes Demo Contextualized Programming Language Documentation 10:30 - 11:00						SPLASH Onward! Papers Competitive Debugging: Toward Contests Promoting Debugging as a Skill 11:00 - 11:30						SPLASH Onward! Papers Portals: An Extension of Dataflow Streaming for Stateful Serverless 11:30 - 12:00

Room information: Seminar Room G100

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Virtual Machines and Language Implementations

Virtual Machines and Language Implementations

Virtual Machines and Language Implementations

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

GPCE

GPCE

GPCE

GPCE

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

SPLASH Onward! Essays

SPLASH Onward! Essays

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

SPLASH Onward! Papers

SPLASH Onward! Papers

SPLASH Onward! Papers

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

SPLASH Onward! Papers

SPLASH Onward! Papers

SPLASH Onward! Papers

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Tracks

SPLASH 2022

Room information: Seminar Room G100

Program Display Configuration

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Thu 8 DecDisplayed time zone: Auckland, Wellington change

Fri 9 DecDisplayed time zone: Auckland, Wellington change

Sat 10 DecDisplayed time zone: Auckland, Wellington change

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Virtual Machines and Language Implementations

Virtual Machines and Language Implementations

Virtual Machines and Language Implementations

Wed 7 DecDisplayed time zone: Auckland, Wellington change

GPCE

GPCE

GPCE

GPCE

Thu 8 DecDisplayed time zone: Auckland, Wellington change

SPLASH Onward! Essays

SPLASH Onward! Essays

Fri 9 DecDisplayed time zone: Auckland, Wellington change

SPLASH Onward! Papers

SPLASH Onward! Papers

SPLASH Onward! Papers

Sat 10 DecDisplayed time zone: Auckland, Wellington change

SPLASH Onward! Papers

SPLASH Onward! Papers

SPLASH Onward! Papers

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Thu 8 DecDisplayed time zone: Auckland, Wellington change

Fri 9 DecDisplayed time zone: Auckland, Wellington change

Sat 10 DecDisplayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change