VMIL 2022
Dates to be announced Auckland, New Zealand
co-located with SPLASH 2022
VenueUniversity of Auckland
Room nameSeminar Room LG004
Room number507-LG004
Capacity50
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

09:00 - 10:00
09:00
15m
Talk
Creating Dynamic Prototypes from Web Page SketchesVirtual
PAINT
Tommaso Calo Politecnico di Torino, Luigi De Russis Politecnico di Torino
DOI
09:15
15m
Talk
Toward a VR-Native Live Programming EnvironmentVirtual
PAINT
Leonard Geier University of Potsdam; Hasso Plattner Institute, Clemens Tiedt University of Potsdam; Hasso Plattner Institute, Tom Beckmann University of Potsdam; Hasso Plattner Institute, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
DOI
09:30
15m
Talk
Suppose You Had Blocks within a NotebookVirtual
PAINT
Mauricio Verano Merino Vrije Universiteit Amsterdam, Juan Pablo Sáenz Politecnico di Torino, Ana María Díaz Castillo Teach for All
DOI Pre-print
09:45
15m
Talk
Interaction vs. Abstraction: Managed Copy and PasteVirtual
PAINT
Jonathan Edwards Independent, Tomas Petricek Charles University
DOI Pre-print
10:30 - 12:00
10:30
15m
Talk
Integration testing can be reliable and low-effort in a projectional IDE through snapshots - DEMOVirtual
PAINT
Bastian Kruck itemis SECURE // Hasso Plattner Institute
10:45
15m
Talk
Towards a Python 3 IDE for Teaching Creative Programming
PAINT
Tristan Bunn Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Karsten Lundqvist
11:00
15m
Talk
Conjecturing on a Fundamental Theorem of Computation and its Implications for a New Theory in Programmer Experience Design
PAINT
Gary Miller University of Technology Sydney
11:15
15m
Talk
Domain-Specific Visual Language for Data Engineering Quality
PAINT
Alexis De Meo Trove, Michael Homer Victoria University of Wellington
DOI Pre-print
11:30
15m
Talk
Blocks, Blocks, and More Blocks-Based Programming
PAINT
Benjamin Selwyn-Smith Oracle Labs, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington
DOI
11:45
15m
Talk
Interleaved 2D Notation for Concatenative Programming
PAINT
Michael Homer Victoria University of Wellington
DOI Pre-print

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Keynote, Talks I, and IntroductionsLIVE at Seminar Room LG004
Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego
10:30
60m
Keynote
Searching for LifeIn-personKeynote
LIVE
11:30
20m
Talk
Potluck: dynamic documents as personal softwarePre-recorded
LIVE
11:50
10m
Social Event
Introductions
LIVE
Sam Lau University of California at San Diego, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST)
13:30 - 15:00
Talks IILIVE at Seminar Room LG004
Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego
13:30
10m
Short-paper
Docable: Towards a Live Learning EnvironmentVirtual
LIVE
Samim Mirhosseini North Carolina State University, Chris Parnin North Carolina State University
13:40
10m
Short-paper
System-Specific Interpreters Make Megasystems FriendlierIn-person
LIVE
Matthew Sotoudeh Stanford University
Link to publication
13:50
20m
Talk
Tidyparse: Real-Time Context Free Error CorrectionIn-person
LIVE
Breandan Considine McGill University, Jin L.C. Guo McGill University, Xujie Si McGill University, Canada
14:10
20m
Talk
Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction SystemIn-person
LIVE
Yoshiki Ohshima Croquet Corporation, Shizuoka University, Aran Lunzer Croquet Corporation, Vanessa Freudenberg Croquet Corp, Brian Upton , David Smith
14:30
20m
Short-paper
Cascade: a Meta-Language for Change, Cause and EffectVirtual
LIVE
Pre-print
15:30 - 17:00
Talks IIILIVE at Seminar Room LG004
Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego
15:30
10m
Short-paper
Education-aware Interactive Machine Teaching: Training Autonomous Game AgentsVirtual
LIVE
Chunqi Zhao , I-Chao Shen , Tsukasa Fukusato The University of Tokyo, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Takeo Igarashi The University of Tokyo
15:40
10m
Short-paper
Flowie, a Collaborative Projection EditorIn-person
LIVE
15:50
20m
Talk
Meta-programmable functional notebooks with LivebookPre-recorded
LIVE
José Valim Dashbit
16:10
20m
Talk
Live 2D Compositional ProgrammingIn-person
LIVE
Michael Homer Victoria University of Wellington
Link to publication
16:30
20m
Talk
Ampleforth: A Live Literate EditorVirtual
LIVE

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Session 1: Time and StateFTSCS at Seminar Room LG004
10:30
30m
Talk
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed AutomataIn Person
FTSCS
Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Kyungmin Bae POSTECH, Carlos Olarte CNRS; LIPN; Université Sorbonne Paris Nord, Peter Ölveczky University of Oslo, Laure Petrucci CNRS; LIPN; Université Sorbonne Paris Nord, Fredrik Rømming University of Oslo
DOI
11:00
30m
Talk
Q: A Sound Verification Framework for Statecharts and Their ImplementationsIn Person
FTSCS
Samuel D. Pollard Sandia National Laboratories, Robert C. Armstrong Sandia National Laboratories, Jon Aytac Sandia National Laboratories, John Bender Sandia National Laboratories, Geoffrey C. Hulette Sandia National Laboratories, Raheel S. Mahmood Sandia National Laboratories, Karla Morris Sandia National Laboratories, Blake C. Rawlings Sandia National Laboratories
DOI
11:30
30m
Talk
strategFTO: Untimed Control for Timed OpacityIn Person
FTSCS
Étienne André Université Sorbonne Paris Nord; LIPN; CNRS, Shapagat Bolat Université de Lorraine; CNRS; Inria; LORIA, Engel Lefaucheux Université de Lorraine; CNRS; Inria; LORIA, Dylan Marinho Université de Lorraine; CNRS; Inria; LORIA
DOI
15:30 - 17:30
Session 3: Applications of Formal MethodsFTSCS at Seminar Room LG004
15:30
30m
Talk
Synchronous Programming and Refinement Types in Robotics: From Verification to ImplementationIn Person
FTSCS
Jiawei Chen University of Michigan at Ann Arbor, José Luiz Vargas de Mendonça University of Michigan at Ann Arbor, Shayan Jalili University of Michigan at Ann Arbor, Bereket Shimels Ayele Addis Ababa Institute of Technology, Bereket Ngussie Bekele Addis Ababa Institute of Technology, Zhemin Qu University of Michigan at Ann Arbor, Pranjal Sharma University of Michigan at Ann Arbor, Tigist Shiferaw Addis Ababa Institute of Technology, Yicheng Zhang University of Michigan at Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor
DOI
16:00
30m
Talk
Formal Probabilistic Risk Assessment of a Nuclear Power PlantVirtual
FTSCS
Mohamed Abdelghany Concordia University, Sofiene Tahar Concordia University
DOI
16:30
30m
Talk
Modelling a Blockchain for Smart Contract Verification using DeepSEAIn Person
FTSCS
Daniel Britten University of Waikato, Steve Reeves University of Waikato
DOI
17:00
30m
Talk
Towards a Formalization of the Active Corner Method for Collision Avoidance in PVSIn Person
FTSCS
Nishant Kheterpal University of Michigan, Jean-Baptiste Jeannin University of Michigan at Ann Arbor

Thu 8 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
ICFP and SASSPLASH COVID Time Papers In Person at Seminar Room LG004
Chair(s): Peter Thiemann University of Freiburg, Germany
10:30
30m
Talk
Composing and decomposing op-based CRDTs with semidirect products
SPLASH COVID Time Papers In Person
Matthew Weidner Carnegie Mellon University, Heather Miller Carnegie Mellon University, USA, Christopher Meiklejohn Carnegie Mellon University
Link to publication DOI
11:00
30m
Talk
Improving Thread-Modular Abstract Interpretation
SPLASH COVID Time Papers In Person
Michael Schwarz Technische Universität München, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München, Kalmer Apinis University of Tartu, Estonia, Julian Erhard Technical University of Munich, Vesal Vojdani University of Tartu
Link to publication DOI
11:30
30m
Talk
Static Analysis of Endian Portability by Abstract InterpretationVirtual
SPLASH COVID Time Papers In Person
David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Link to publication DOI
15:30 - 17:00
15:30
30m
Talk
Certifying the Synthesis of Heap-Manipulating Programs
SPLASH COVID Time Papers In Person
Yasunari Watanabe Ahrefs Research, Kiran Gopinathan National University of Singapore, George Pîrlea National University of Singapore, Singapore, Nadia Polikarpova University of California at San Diego, Ilya Sergey National University of Singapore
Link to publication DOI
16:00
30m
Talk
Kindly Bent to Free Us
SPLASH COVID Time Papers In Person
Gabriel Radanne Inria, Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany
Link to publication DOI
16:30
30m
Talk
Stable relations and abstract interpretation of higher-order programs
SPLASH COVID Time Papers In Person
Benoît Montagu Inria, Thomas P. Jensen INRIA Rennes
Link to publication File Attached

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:30
10:30
30m
Talk
Label dependent lambda calculus and gradual typing
SPLASH COVID Time Papers In Person
Weili Fu University of Freiburg, Germany, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany
Link to publication DOI
11:00
30m
Talk
Modular Specification and Verification of Closures in Rust
SPLASH COVID Time Papers In Person
Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
Link to publication DOI
11:30
30m
Talk
Revisiting Iso-Recursive SubtypingVirtual
SPLASH COVID Time Papers In Person
Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong
Link to publication DOI
12:00
30m
Talk
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
SPLASH COVID Time Papers In Person
Yannis Smaragdakis University of Athens, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Konstantinos Triantafyllou ETH Zurich, Ilias Tsatiris University of Athens
Link to publication DOI
13:30 - 15:00
Onward! Papers and EssaysSPLASH COVID Time Papers In Person at Seminar Room LG004
Chair(s): Matthew Sotoudeh Stanford University
13:30
30m
Talk
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
SPLASH COVID Time Papers In Person
Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
14:00
30m
Talk
How (Not) To Write Java Pointer Analyses After 2020
SPLASH COVID Time Papers In Person
Manas Thakur IIT Bombay
Link to publication DOI
14:30
30m
Talk
Putting the Semantics into Semantic Versioning
SPLASH COVID Time Papers In Person
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce ConsenSys
Link to publication DOI

Sat 10 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
PLDI and POPL PapersSPLASH COVID Time Papers In Person at Seminar Room LG004
Chair(s): Joxan Jaffar National University of Singapore
13:30
30m
Talk
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization
SPLASH COVID Time Papers In Person
Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany
Link to publication DOI
14:00
30m
Talk
Software Model-Checking as Cyclic-Proof Search
SPLASH COVID Time Papers In Person
Takeshi Tsukada Chiba University, Hiroshi Unno University of Tsukuba; RIKEN AIP
Link to publication DOI
14:30
30m
Talk
SolType: Refinement Types for Arithmetic Overflow in Solidity
SPLASH COVID Time Papers In Person
Bryan Tan , Benjamin Mariano The University of Texas at Austin, Texas, USA, Shuvendu K. Lahiri Microsoft Research, Işıl Dillig University of Texas at Austin, Yu Feng University of California at Santa Barbara
Link to publication DOI
15:30 - 17:00
PLDI PapersSPLASH COVID Time Papers In Person at Seminar Room LG004
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
30m
Talk
Behavioral simulation for smart contracts
SPLASH COVID Time Papers In Person
Sidi Mohamed Beillahi University of Toronto, Gabriela Ciocarlie University of Texas at San Antonio, Michael Emmi Amazon Web Services, Constantin Enea Ecole Polytechnique / LIX / CNRS
Link to publication DOI
16:00
30m
Talk
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
SPLASH COVID Time Papers In Person
Lexi Brent International Computer Science Institute, USA / University of Sydney, Australia, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Bernhard Scholz The University of Sydney, Yannis Smaragdakis University of Athens
Link to publication DOI
16:30
30m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
SPLASH COVID Time Papers In Person
George Pîrlea National University of Singapore, Singapore, Amrit Kumar Zilliqa Research, Ilya Sergey National University of Singapore
Link to publication DOI

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

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

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

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

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

Thu 8 Dec

Displayed time zone: Auckland, Wellington change

Sat 10 Dec

Displayed time zone: Auckland, Wellington change