VMIL 2022
Dates to be announced Auckland, New Zealand
co-located with SPLASH 2022
VenueUniversity of Auckland
Room nameSeminar Room G125
Room number507-G125
Capacity40
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
Morning 1SPLASH -E at Seminar Room G125
Chair(s): Molly Q Feldman Oberlin College

The session is hybrid, with the first talk being in-person, and the second virtual. The physical venue G125 has video equipment for online presentation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

09:00
30m
Talk
Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course MaterialsIn Person
SPLASH -E
Sam Lau University of California at San Diego, Philip Guo University of California at San Diego
DOI
09:30
30m
Talk
The Role of Abstraction in Introductory ProgrammingVirtual
SPLASH -E
Kezia Devathasan University of Victoria, Celina Berg University of Victoria, Daniela Damian University of Victoria
DOI
10:30 - 12:00
Morning 2SPLASH -E at Seminar Room G125
Chair(s): Martin Henz National University of Singapore

The session is hybrid, with the first talk being virtual (pre-recorded with live Q&A), and the second in-person. The physical venue G125 has video equipment for online presentation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

10:30
30m
Talk
Data Science Pedagogy to Support Industry, Governmental, and Research InitiativesPre-recorded
SPLASH -E
Kevin Dick Carleton University, Hoda Khalil Carleton University, Gabriel A. Wainer Carleton University
DOI
11:00
30m
Talk
Crossing Learning Thresholds Progressively via Active LearningIn Person
SPLASH -E
Sarnath Ramnath St. Cloud State University, Brahma Dathan Metropolitan State University
DOI
11:30
30m
Other
Discussion
SPLASH -E

13:30 - 15:00
Afternoon 1SPLASH -E at Seminar Room G125
Chair(s): Eli Tilevich Virginia Tech

The session is hybrid, with the first talk being virtual, and the second in-person. The physical venue G125 has video equipment for online presentation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Wang Chengpeng, if you in G125.

13:30
30m
Talk
Team Harmony before, during, and after COVID-19Virtual
SPLASH -E
Noa Heyl University of British Columbia, Elisa Baniassad University of British Columbia, Oluwakemi Ola University of British Columbia
DOI
14:00
30m
Talk
Expressions in Java: Essential, Prevalent, Neglected?In Person
SPLASH -E
Luca Chiodini USI Lugano, Igor Moreno Santos USI Lugano, Matthias Hauswirth USI Lugano
DOI
14:30
30m
Other
Discussion
SPLASH -E

15:30 - 17:00
Afternoon 2SPLASH -E at Seminar Room G125
Chair(s): Benjamin Lerner Northeastern University, United States

Both talks in this session are given in-person. The physical venue G125 has video equipment for online participation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

15:30
30m
Talk
Mio: A Block-Based Environment for Program DesignIn Person
SPLASH -E
Junya Nose SoftBank, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
DOI
16:00
30m
Talk
Evaluating the Quality of Student-Written Software Tests with Curated Mutation AnalysisIn Person
SPLASH -E
Braxton Hall University of British Columbia, Elisa Baniassad University of British Columbia
DOI
16:30
30m
Other
Discussion
SPLASH -E

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
Welcome and Invited TalkUnsound at Seminar Room G125
09:00
15m
Day opening
Welcome to Unsound
Unsound
Marco Servetto Victoria University of Wellington, Jan Bessai Independent
09:15
45m
Talk
What do we mean by "unsound"?Virtual
Unsound
Jan Bessai Independent
10:30 - 12:00
Invited TalksUnsound at Seminar Room G125
10:30
45m
Talk
How to trust a verified program?Virtual
Unsound
Wouter Swierstra Utrecht University, Netherlands
11:15
45m
Talk
MetaCoq as a tool to prevent future unsoundness in CoqVirtual
Unsound
13:30 - 15:00
Workshop Talks and DiscussionUnsound at Seminar Room G125
13:30
20m
Talk
Proving False in Object Oriented Verification Programs by Exploiting Non-Termination
Unsound
13:50
45m
Talk
The 4 horsemen of unsoundness in OO languages
Unsound
Marco Servetto Victoria University of Wellington
14:35
25m
Panel
Discussion
Unsound
Marco Servetto Victoria University of Wellington

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Session 1REBLS at Seminar Room G125
Chair(s): Tetsuo Kamina Oita University
10:30
30m
Talk
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
REBLS
Akihiko Yokoyama Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
DOI Pre-print
11:00
30m
Talk
Semantics of RxJSPre-recorded
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Yonglun Li University of Wisconsin-Milwaukee
DOI
11:30
30m
Talk
About Combining Functional Reactive Programming and Replicated Data TypesPre-recorded
REBLS
Ragnar Mogk Technische Universität Darmstadt, Julian Haas TU Darmstadt
File Attached
13:30 - 15:00
Session 2REBLS at Seminar Room G125
Chair(s): Takuo Watanabe Tokyo Institute of Technology
13:30
30m
Talk
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
REBLS
Louise Van Verre Vrije Universiteit Brussel, Humberto Rodriguez Avila Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
14:00
30m
Talk
Distributed Persistent Signals: Architecture and Implementation
REBLS
Tetsuo Kamina Oita University, Sota Ueno Oita University
DOI
14:30
30m
Talk
Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
REBLS
Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
10:30
90m
Panel
Software Profession Dimensions of Diversity, Equity, and InclusionPanel
SPLASH Panels
P: Steven D. Fraser Innoxec, R: Dennis Mancl MSWX Software Experts, C: Alex Sloley Agile Twist, C: Sally Sloley Visual Agile Management, P: Kelly Blincoe University of Auckland, P: Stéphanie Camaréna Source Transitions, P: Tanya Johnson Auror, P: Geoff Kaufman Carnegie Mellon University, P: Mahsa McCauley Auckland University of Technology, P: Sheng-Ying Pao National Tsing Hua University

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

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

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

Fri 9 Dec

Displayed time zone: Auckland, Wellington change