APLAS 2022 Program
Mon 5 DecDisplayed time zone: Auckland, Wellington change
09:00 - 10:00 | |||
09:00 60mKeynote | Verification of Concurrent Programs under Release-Acquire ConcurrencyKeynoteVirtual APLAS Shankaranarayanan Krishna IIT Bombay, India | ||
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 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 | Semantics and AnalysisAPLAS at Seminar Room G007 Chair(s): Julian Mackay Victoria University of Wellington | ||
10:30 30mTalk | An Algebraic Theory for Shared-State Concurrency APLAS File Attached | ||
11:00 30mTalk | Decoupling the Ascending and Descending Phases in Abstract Interpretation APLAS Vincenzo Arceri University of Parma, Italy, Isabella Mastroeni University of Verona, Italy, Enea Zaffanella University of Parma, Italy | ||
11:30 30mTalk | Inferring Region Types via an Abstract Notion of Environment Transformation APLAS | ||
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 | Testing and VerificationAPLAS at Seminar Room G007 Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
13:30 30mTalk | RHLE: Modular Deductive Verification of Relational ∀∃ Properties APLAS Robert Dickerson Purdue University, Qianchuan Ye Purdue University, Michael K. Zhang Purdue University, Benjamin Delaware Purdue University | ||
14:00 30mTalk | Automated Temporal Verification for Algebraic Effects APLAS Yahui Song National University of Singapore, Darius Foo National University of Singapore, Wei-Ngan Chin National University of Singapore | ||
14:30 30mTalk | Model-based Fault Classification for Automotive Software APLAS Mike Becker TU Braunschweig, Roland Meyer TU Braunschweig, Tobias Runge TU Braunschweig, Ina Schaefer KIT, Sören van der Wall PhD Student, Sebastian Wolff New York University | ||
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:30 | |||
15:30 30mTalk | Characterizing functions mappable over GADTs APLAS | ||
16:00 30mTalk | Applicative Intersection Types APLAS Xu Xue University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Ningning Xie University of Toronto | ||
16:30 30mTalk | A Calculus with Recursive Types, Record Concatenation and Subtyping APLAS Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Andong Fan Hong Kong University of Science and Technology | ||
17:00 30mTalk | Novice Type Error Diagnosis with Natural Language Models APLAS Chuqin Geng McGill University, Haolin Ye McGill University, Yixuan Li McGill University, Tianyu Han McGill University, Brigitte Pientka McGill University, Xujie Si McGill University, Canada | ||
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 | ||