Andrew Head
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- UIST2 editions2018–2025
on a stage with
- Benjamin C. Pierceonce
- Bjoern Hartmannonce
- Cassia Torczononce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| QED in Context: An Observation Study of Proof Assistant Users | OOPSLA 2025 | 2025-10-16 |
An observational study watches 30 proof assistant users (half Rocq and Lean) for ~1 hour each and surfaces four concrete findings: proofs evolve nonlinearly… | ||
| Answering Developer Questions with Annotated Agent-Discovered Program Traces | UIST 2025 | 2025-09-28 |
Trailblazer is a system that uses an agent-guided exploration combining static analysis and IDE operations like go-to-definition and find-all-references to… | ||
| WiFröst: Bridging the Information Gap for Debugging of Networked Embedded Systems | UIST 2018 | 2018-10-14 |
WiFröst instruments the microcontroller, local router and server and aggregates those streams into a web IDE timeline so networked bugs become visible. It uses… | ||
| nothing matches | ||