GPCE 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 | ||
Tue 6 DecDisplayed time zone: Auckland, Wellington change
13:30 - 14:35 | GPCE KeynoteGPCE Keynote at Seminar Room G007 Chair(s): Bernhard Scholz The University of Sydney, Yukiyoshi Kameyama University of Tsukuba | ||
13:30 65mKeynote | Language Design meets Verifying CompilersIn PersonKeynote GPCE Keynote David J. Pearce ConsenSys DOI | ||
15:30 - 17:00 | |||
15:30 22mTalk | Language-Integrated Query for Temporal DataIn Person GPCE Simon Fowler University of Glasgow, Vashti Galpin University of Edinburgh, James Cheney University of Edinburgh DOI | ||
15:52 22mTalk | Type System for Four Delimited Control OperatorsIn PersonBest Paper GPCE DOI | ||
16:15 22mTalk | SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream APIIn PersonTool Demo GPCE DOI | ||
16:37 8mOther | PC Chair's Report GPCE Yukiyoshi Kameyama University of Tsukuba | ||
Wed 7 DecDisplayed time zone: Auckland, Wellington change
09:00 - 10:00 | SLE KeynoteSLE Keynote / SLE at Seminar Room G007 Chair(s): Lola Burgueño University of Malaga, Walter Cazzola Università degli Studi di Milano | ||
09:00 60mKeynote | People do not want to learn a new language but a new libraryIn PersonKeynote SLE Keynote Shigeru Chiba University of Tokyo DOI | ||
10:30 - 12:00 | |||
10:30 22mTalk | Incremental Processing of Structured Data in DatalogVirtual GPCE DOI | ||
10:52 22mTalk | Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic ProgrammingVirtual GPCE Guilherme Espada University of Lisbon, Leon Ingelse University of Lisbon, Paulo Canelas University of Lisbon; Carnegie Mellon University, Pedro Barbosa University of Lisbon; Instituto de Medicina Molecular, Alcides Fonseca University of Lisbon DOI | ||
11:15 22mTalk | Deep Fusion for Efficient Nested Recursive ComputationsVirtual GPCE Amir Shaikhha University of Edinburgh DOI | ||
11:37 22mTalk | Composable Sequence Macros for Fast IterationVirtual GPCE Anna Bolotina Czech Technical University in Prague, Ryan Culpepper Czech Technical University in Prague DOI | ||
13:30 - 15:00 | |||
13:30 22mTalk | Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous DevicesIn Person GPCE Arvid Butting Software Engineering, RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Anno Kleiss RWTH Aachen University, Judith Michael RWTH Aachen University, Radoslav Orlov RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI Pre-print | ||
13:52 22mTalk | Language Support for Refactorability Decay PreventionIn Person GPCE DOI | ||
14:15 22mTalk | Preserving Consistency of Interrelated Models during View-Based Evolution of Variable SystemsVirtual GPCE Sofia Ananieva FZI Research Center for Information Technology, Thomas Kühn Karlsruhe Institute of Technology, Ralf Reussner KIT DOI | ||
14:37 23mTalk | Generic Solution-Space Sampling for Multi-domain Product LinesVirtual GPCE Marc Hentze Volkswagen, Tobias Pett TU Braunschweig, Chico Sundermann University of Ulm, Sebastian Krieter University of Ulm, Thomas Thüm University of Ulm, Ina Schaefer KIT DOI | ||
15:30 - 17:00 | |||
15:30 22mTalk | A Modern C++ Point of View of Programming in Image ProcessingVirtual GPCE Michaël ROYNARD EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Thierry Géraud EPITA Research Laboratory DOI | ||
15:52 22mTalk | The Cost of Dynamism in Static Languages for Image ProcessingIn Person GPCE Baptiste Esteban EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Guillaume Tochon EPITA Research Laboratory, Didier Verna EPITA Research Laboratory DOI | ||
16:15 22mTalk | A Model-Driven Generative Self Play-Based Toolchain for Developing Games and PlayersIn Person GPCE Evgeny Kusmenko RWTH Aachen University, Maximilian Münker RWTH Aachen University, Matthias Nadenau RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI | ||
16:37 22mTalk | Dynamic Replanning of Multi-drone Missions using Dynamic Forward SlicingIn Person GPCE DOI | ||