PLATEAU Workshop

@UCTG92p-2G-9XPCKq3gkp5bg - 6 subscribers

Home Videos Live Playlists

Literate Execution | Roly Perera | PLATEAU 2026

Literate Execution | Roly Perera | PLATEAU 2026 PLATEAU Workshop

17 views - 2 months ago

Peapods: A Modular, Reproducible, & Versionable Notebook of Notebooks | Ayla Kurdak | PLATEAU 2026

Peapods: A Modular, Reproducible, & Versionable Notebook of Notebooks | Ayla Kurdak | PLATEAU 2026 PLATEAU Workshop

20 views - 2 months ago

The Blurry Boundaries Between Programming and Direct Use | Josh Horowitz | PLATEAU 2026

The Blurry Boundaries Between Programming and Direct Use | Josh Horowitz | PLATEAU 2026 PLATEAU Workshop

18 views - 2 months ago

Technical Dimensions of Live Feedback in Programming Systems | Josh Horowitz | PLATEAU 2026

Technical Dimensions of Live Feedback in Programming Systems | Josh Horowitz | PLATEAU 2026 PLATEAU Workshop

194 views - 2 months ago

Data-oriented Debugging with autopsy | Jeffrey Tao | PLATEAU 2026

Data-oriented Debugging with autopsy | Jeffrey Tao | PLATEAU 2026 PLATEAU Workshop

18 views - 2 months ago

Alethiometer - A Debugger for Program Verification | Long TIen Nguyen | PLATEAU 2026

Alethiometer - A Debugger for Program Verification | Long TIen Nguyen | PLATEAU 2026 PLATEAU Workshop

4 views - 2 months ago

Is truth futureproof? | Chris Martens | PLATEAU 2026

Is truth futureproof? | Chris Martens | PLATEAU 2026 PLATEAU Workshop

55 views - 2 months ago

Bridging the gap to autoformalize free-form human reasoning | Nora Chenjun Guo | PLATEAU 2026

Bridging the gap to autoformalize free-form human reasoning | Nora Chenjun Guo | PLATEAU 2026 PLATEAU Workshop

5 views - 2 months ago

Explorable Theorems | Hita Kambhamettu | PLATEAU 2026

Explorable Theorems | Hita Kambhamettu | PLATEAU 2026 PLATEAU Workshop

20 views - 2 months ago

Aporia: Asking Questions to Elicit User Decisions | Saketh Ram Kasibatla | PLATEAU 2026

Aporia: Asking Questions to Elicit User Decisions | Saketh Ram Kasibatla | PLATEAU 2026 PLATEAU Workshop

11 views - 2 months ago

Towards Typed Conversational Interfaces | Chris Martens | PLATEAU 2026

Towards Typed Conversational Interfaces | Chris Martens | PLATEAU 2026 PLATEAU Workshop

29 views - 2 months ago

Synthesizing Visualization Specifications from Examples | Yiliang Liang | PLATEAU 2026

Synthesizing Visualization Specifications from Examples | Yiliang Liang | PLATEAU 2026 PLATEAU Workshop

6 views - 2 months ago

Making Natural Language Programming Harder | Vivian Chan | PLATEAU 2026

Making Natural Language Programming Harder | Vivian Chan | PLATEAU 2026 PLATEAU Workshop

12 views - 2 months ago

Security Types for Usable Permissions Prompts | Christine Glascott | PLATEAU 2026

Security Types for Usable Permissions Prompts | Christine Glascott | PLATEAU 2026 PLATEAU Workshop

11 views - 2 months ago

Tracers for debugging and program exploration | Shardul Chiplunkar | PLATEAU 2026

Tracers for debugging and program exploration | Shardul Chiplunkar | PLATEAU 2026 PLATEAU Workshop

30 views - 2 months ago

A Semantically Grounded Visualization of React Hooks | Jay Lee | PLATEAU 2026

A Semantically Grounded Visualization of React Hooks | Jay Lee | PLATEAU 2026 PLATEAU Workshop

15 views - 2 months ago

What's in a specification? | Harry Goldstein | PLATEAU 2026

What's in a specification? | Harry Goldstein | PLATEAU 2026 PLATEAU Workshop

30 views - 2 months ago