|
PLATEAU will take place on the Northeastern University campus in
Boston, MA on February 17-18, 2025. Conference events will be held at West Village H in Room #102.
| Title |
Time (EST) |
Breakfast
| 9:00 AM–10:00 AM |
Welcome and Intro
| 10:00 AM–10:15 AM |
Interactivity and Animation
| |
Bloom: Simplifying Interactive Diagram Development with Optimization Constraints,
Griffin Teller, Joshua Sunshine | 10:15 AM–10:40 AM |
Merlin: A Markup Language for Algorithm Animations,
Shu Wang, April Wang | 10:40 AM–11:15 AM |
Coffee Break
| 11:15 AM–11:45 AM |
Visual Aids
| |
Towards Better Formal Methods Visualizations,
Yiliang Liang, Avinash Palliyil, Eunsuk Kang, Joshua Sunshine | 11:45 AM–12:20 PM |
Code Style Sheets,
Sam Cohen, Ravi Chugh | 12:20 PM–12:45 PM |
Lunch
| 12:45 PM–2:00 PM |
Notebooks
| |
From Workbook to Notebook: Collaborative Data Story Authoring with Spreadsheet,
Zeyu Xiong, Behnood Masoudi, Catherine Schmit, April Wang | 2:00 PM–2:30 PM |
Exploring Support for Lightweight DSLs in Jupyter Notebooks,
Kevin Yang, Emma Tosch | 2:30 PM–3:00 PM |
Coffee Break
| 3:00 PM–3:30 PM |
Education
| |
Teachers Consideration of Trade-offs in Programming Education for Emergent Bilingual Students,
Emma R. Dodoo, Tamara Nelson-Fromm, Mark Guzdial | 3:30 PM–4:05 PM |
Questions Before Answers? A Comparison of Codebase Chatbots and Tutorials for Codebase Learning,
Shaokang Jiang, Jimmy Koppel, Michael Coblenz | 4:05 PM–4:40 PM |
Day 1 Wrap Up!
| 4:40 PM–5:00 PM |
| Title |
Time (EST) |
Breakfast
| 9:00 AM–9:30 AM |
Program Reasoning
| |
Designing Proof Deautomation for Rocq,
Jessica Shi, Cassia Torczon, Harrison Goldstein, Andrew Head, Benjamin Pierce | 9:30 AM–10:05 AM |
Constraints versus Structures in Type Systems,
Hemant Gouni, Will Crichton, Jonathan Aldrich | 10:05 AM–10:40 AM |
Coffee Break
| 10:40 AM–11:10 AM |
Keynote
| |
The Human Factors of Formal Methods
Shriram Krishnamurthi | 11:10 AM–12:10 PM |
Lunch
| 12:10 PM–1:20 PM |
DSLs
| |
HiLT: A Library for Generating Human-in-the-Loop Data Transformation GUIs,
Sora Kanosue, Xiaorui Liu, Parker Ziegler, Sarah E. Chasins | 1:20 PM–1:55 PM |
The Usability Argument for ROS-based Robot Architectural Description Languages,
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley | 1:55 PM–2:20 PM |
Coffee Break
| 2:20 PM–2:40 PM |
Workshop Wrap-up
| |
Community Goal-Setting - Building an Annotated Bibliography of Programming Languages and Human-Computer Interaction Papers
| 2:40 PM–3:40 PM |
|
|
December 4th, 2024 (AoE time)
Paper Submission
February 17-18, 2025
Workshop
Will Crichton
Brown University
Michael Coblenz
UC San Diego
Thomas D. LaToza
George Mason University
Joe Gibbs Politz
UC San Diego
Harry Goldstein
University of Maryland
Mark Guzdial
University of Michigan
Andrew Head
University of Pennsylvania
Tim Nelson
Brown University
Steve Oney
University of Michigan
Marsha Chechik
University of Toronto
Jon Bell
Northeastern University
Sarah E. Chasins
University of California, Berkeley
Elena Glassman
Harvard University
Joshua Sunshine
Carnegie Mellon University
Matthew Davis
Carnegie Mellon University
Sam Estep
Carnegie Mellon University
Hwei-Shin Harriman
Carnegie Mellon University
Jenny Liang
Carnegie Mellon University
Justin Lubin
University of California - Berkeley
Ian McCormack
Carnegie Mellon University
Raven Rothkopf
University of California - San Diego
|