SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
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 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

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