13th annual workshop on the intersection of HCI and PL
@ Carnegie Mellon University, Pittsburgh PA USA February 13-14, 2023
Gates & Hillman Centers, Room 6115

PLATEAU 2023 Program

PLATEAU will take place on the Carnegie Mellon University campus in Pittsburgh, PA on February 13-14, 2023. Conference events will be held at the Gates and Hillman Centers in room 6115.

Day 1, February 13th
Session Time (EST) Day 1 - Sessions
1 10:00 AM - 11:30 AM A Multimodal Study of Challenges Using Rust.
Michael Coblenz, April Porter, Varun Das, Teja Nallagorla and Michael Hicks
How do Haskell programmers debug?
Ruanqianqian Huang, Elizaveta Pertseva, Michael Coblenz and Sorin Lerner
Debugging Techniques in Professional Programming
Amanda Liu and Michael Coblenz
2 1:00 - 2:15 PM Live, Rich, and Composable: Qualities for Programming Beyond Static Text
Joshua Horowitz and Jeffrey Heer
Towards a Science of Interactive Proof Reading
Jessica Shi, Benjamin Pierce and Andrew Head
Searching for Incidental Specifications
Jeremy Ferguson, Kevin Ye, Jacob Yim and Justin Lubin
3 2:45 - 4:00 PM Visualize Students' Progress To Facilitate Code Communication For In-Class Programming Exercises At Scale
Ashley Zhang, Yan Chen and Steve Oney
UI Folding: Specifying and Visualizing Generalization in UI Automation Macros
Rebecca Krosnick and Steve Oney
Programmer Experience When Using CRDTs to Build Collaborative Webapps: Initial Insights
Yicheng Zhang, Matthew Weidner and Heather Miller

Day 2, February 14th
Session Time (EST) Day 2 - Sessions
1 10:00 AM - 11:30 AM Keynote:
Vega: Layered Abstractions for Data Visualizations
Dominik Moritz
Building Blocks of Temporal Logic for Everyone
Angel Leyi Cui, Raven Rothkopf, Hannah Tongxin Zeng, Arya Sinha and Mark Santolucito
Towards Human-Centered Types & Type Debugging
Kasra Ferdowsi
2 1:00 - 2:00 PM An Empirical Study of Developer Behaviors for Validating and Repairing AI-Generated Code
Ningzhi Tang, Meng Chen, Zheng Ning, Aakash Bansal, Yu Huang, Collin McMillan and Toby Li
Greyboxing: towards domain-specific representations for domain-specific languages in electronics design
Richard Lin, Rohit Ramesh, Prabal Dutta, Bjoern Hartmann and Ankur Mehta
Feedback Session
3 2:15 - 3:30 Program Synthesis Co-Design
Hila Peleg
Reverse Sketching
Tyler Holloway, Chelse Swoopes, Elena Glassman and Hila Peleg
Relational reasoning of concatenative programs
Omar Roth
Important Dates
Wednesday, December 7th, 2022 (AoE time)
Paper Submission
Tuesday, January 10th, 2023 (AoE time)
Backup Paper Submission (See Rolling Reviewing for details)
February 13-14, 2023
Craig Anslow
Victoria University of Wellington
Clément Pit-Claudel
Titus Barik
Michael Coblenz
University of California, San Diego
Mark Guzdial
University of Michigan
Nadia Polikarpova
University of California, San Diego
Andreas Stefik
University of Nevada, Las Vegas
Brian Hempel
Brittany Johnson-Matthews
George Mason University
Emma Söderberg
Lund University
Will Crichton
Brown University
Shriram Krishnamurthi
Brown University
Tianyi Zhang
Purdue University
Felienne Hermans
Leiden University
Chris Martens
Northeastern University
Organizing Committee
Sarah E. Chasins
University of California, Berkeley
Elena Glassman
Harvard University
Joshua Sunshine
Carnegie Mellon University
Student Organizers
Priyan Vaithilingam
Harvard University
Tyler Holloway
Harvard University
Justin Lubin
University of California, Berkeley
Ian McCormack
Carnegie Mellon University