PLATEAU2023
13th annual workshop on the intersection of HCI and PL
@ Carnegie Mellon University, Pittsburgh PA USA February 13-14, 2023

PLATEAU 2023 Program

PLATEAU will take place on the Carnegie Mellon University campus in Pittsburgh, PA on February 13-14, 2023

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
Greyboxing: towards domain-specific representations for domain-specific languages in electronics design
-
Richard Lin, Rohit Ramesh, Prabal Dutta, Bjoern Hartmann and Ankur Mehta

Day 2, February 14th
Session Time (EST) Day 2 - Sessions
1 10:00 AM - 11:30 AM Keynote
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
Programmer Experience When Using CRDTs to Build Collaborative Webapps: Initial Insights
-
Yicheng Zhang, Matthew Weidner and Heather Miller
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
Workshop
Mentors
Craig Anslow
Victoria University of Wellington
Titus Barik
Apple
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
UCSD
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