APLAS 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
co-located with SPLASH 2022

This program is tentative and subject to change.

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
KeynoteAPLAS at Seminar Room G007
Chair(s): Ilya Sergey National University of Singapore
09:00
60m
Keynote
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 Feldman Oberlin College
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 J. 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
Semantics and AnalysisAPLAS at Seminar Room G007
Chair(s): Julian Mackay Victoria University of Wellington
10:30
30m
Talk
An Algebraic Theory for Shared-State Concurrency
APLAS
Yotam Dvir Tel Aviv University, Ohad Kammar University of Edinburgh, Ori Lahav Tel Aviv University
11:00
30m
Talk
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
30m
Talk
Inferring Region Types via an Abstract Notion of Environment Transformation
APLAS
Ulrich Schöpp fortiss GmbH, Chuangjie Xu fortiss GmbH
10:30 - 12:00
Morning 2SPLASH -E at Seminar Room G125
Chair(s): Martin Henz National University of Singapore
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
Testing and VerificationAPLAS at Seminar Room G007
Chair(s): Jonathan Aldrich Carnegie Mellon University
13:30
30m
Talk
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
30m
Talk
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
30m
Talk
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
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:30
TypesAPLAS at Seminar Room G007
Chair(s): Atsushi Igarashi Kyoto University
15:30
30m
Talk
Characterizing functions mappable over GADTs
APLAS
Patricia Johann Appalachian State University, Pierre Cagne Appalachian State University
16:00
30m
Talk
Applicative Intersection Types
APLAS
Xu Xue University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Ningning Xie University of Cambridge / University of Toronto
16:30
30m
Talk
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
30m
Talk
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
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