14:47Peapods A Modular, Reproducible, & Versionable Notebook of Notebooks Ayla Kurdak PLATEAU 2026PLATEAU Workshop10 views·2 weeks ago
16:14The Blurry Boundaries Between Programming and Direct Use Josh Horowitz PLATEAU 2026PLATEAU Workshop10 views·2 weeks ago
14:43Technical Dimensions of Live Feedback in Programming Systems Josh Horowitz PLATEAU 2026PLATEAU Workshop93 views·2 weeks ago
20:10Data-oriented Debugging with autopsy Jeffrey Tao PLATEAU 2026PLATEAU Workshop16 views·2 weeks ago
21:03Alethiometer - A Debugger for Program Verification Long TIen Nguyen PLATEAU 2026PLATEAU Workshop3 views·2 weeks ago
14:13Bridging the gap to autoformalize free-form human reasoning Nora Chenjun Guo PLATEAU 2026PLATEAU Workshop3 views·2 weeks ago
14:52Aporia Asking Questions to Elicit User Decisions Saketh Ram Kasibatla PLATEAU 2026PLATEAU Workshop6 views·2 weeks ago
21:24Towards Typed Conversational Interfaces Chris Martens PLATEAU 2026PLATEAU Workshop23 views·2 weeks ago
21:09Synthesizing Visualization Specifications from Examples Yiliang Liang PLATEAU 2026PLATEAU Workshop2 views·2 weeks ago
12:32Making Natural Language Programming Harder Vivian Chan PLATEAU 2026PLATEAU Workshop8 views·2 weeks ago
11:54Security Types for Usable Permissions Prompts Christine Glascott PLATEAU 2026PLATEAU Workshop11 views·2 weeks ago
11:16Tracers for debugging and program exploration Shardul Chiplunkar PLATEAU 2026PLATEAU Workshop17 views·2 weeks ago
12:20A Semantically Grounded Visualization of React Hooks Jay Lee PLATEAU 2026PLATEAU Workshop7 views·2 weeks ago
