Tue 7 - Fri 10 October 2025 Raleigh, North Carolina, United States

This program is tentative and subject to change.

This program is tentative and subject to change.

Thu 9 Oct

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Programming Strategy & Formal MethodsResearch Papers at Duke Energy Hall
09:00
11m
Talk
Keyframer: Exploring the Potential for Large Language Models to Support 2D Animation Design
Research Papers
Tiffany Tseng Barnard College, Ruijia Cheng Apple, Andrew McNutt University of Utah, Jeffrey Nichols Apple
09:11
11m
Talk
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Research Papers
Zhiyao Zhong , Cyrus Omar University of Michigan
09:22
22m
Talk
Exploring the relationship between game-player agency, student agency, engagement, and learning gain across age groups
Research Papers
Sung Heuk Kim Seoul National University, Sarah Gah-Young Seoh Graduate School of Convergence Science and Technology, Seoul National University, Gahgene Gweon Graduate School of Convergence Science and Technology, Seoul National University
09:44
22m
Talk
Codigen: Enhancing Personalized Programming Education with Visual Authoring and Large Language Models
Research Papers
Mohamed Ez-Zaouia IRISA, Université de Rennes, Yazid Boumarafi IRISA, Université de Rennes
10:06
22m
Talk
ConvoMap: Interactive Visualizations for Exploring Complex Conversations in Multi-Agent Systems
Research Papers
Ge Zhang University of Michigan, Victor Bursztyn Adobe Research, Yeuk-Yin Chan Adobe Research, Shunan Guo Adobe Research, Eunyee Koh Adobe Research, Steve Oney University of Michigan, Jane Hoffswell Adobe Research