FTSCS 2022 Program
Mon 5 DecDisplayed 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 30mTalk | Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course MaterialsIn Person SPLASH-E DOI | ||
09:30 30mTalk | 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 30mTalk | 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 30mTalk | Crossing Learning Thresholds Progressively via Active LearningIn Person SPLASH-E DOI | ||
11:30 30mOther | 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 30mTalk | 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 30mTalk | Expressions in Java: Essential, Prevalent, Neglected?In Person SPLASH-E DOI | ||
14:30 30mOther | 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 30mTalk | 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 30mTalk | Evaluating the Quality of Student-Written Software Tests with Curated Mutation AnalysisIn Person SPLASH-E DOI | ||
16:30 30mOther | Discussion SPLASH-E |
Wed 7 DecDisplayed time zone: Auckland, Wellington change
09:00 - 10:00 | |||
09:00 60mKeynote | Cooperative Verification: Towards Reliable Safety-Critical Systems In Person FTSCS Dirk Beyer LMU Munich Link to publication DOI |
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 |
13:30 - 15:00 | |||
13:30 30mTalk | Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic SearchIn Person FTSCS DOI | ||
14:00 30mTalk | Proving Memory Access Violations in Isabelle/HOLIn Person FTSCS Sharar Ahmadi University of Surrey, Brijesh Dongol University of Surrey, Matt Griffin University of Surrey DOI | ||
14:30 30mTalk | Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMTIn Person FTSCS DOI |
15:30 - 17:30 | |||
15:30 30mTalk | 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 30mTalk | Formal Probabilistic Risk Assessment of a Nuclear Power PlantVirtual FTSCS DOI | ||
16:30 30mTalk | Modelling a Blockchain for Smart Contract Verification using DeepSEAIn Person FTSCS DOI | ||
17:00 30mTalk | Towards a Formalization of the Active Corner Method for Collision Avoidance in PVSIn Person FTSCS |