Tim Nelson
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Siddhartha Prasad3 talks
- Ben Greenman9 talks
- Shriram Krishnamurthi12 talks
- Andrew Wagner6 talks
- Işıl Dillig21 talks
- Kiran Gopinathan7 talks
| title | conference | date |
|---|---|---|
| Diagramming Program Values by Spatial Refinement | PLDI 2026 | 2026-06-15 |
A declarative DSL called Spytial maps runtime value graphs to 2D layouts via constraint solving and produces interactive diagrams with enforced spatial rules… | ||
| Forge: A Tool and Language for Teaching Formal Methods | OOPSLA 2024 | 2024-10-20 |
Forge is a reworked Alloy designed to teach formal methods incrementally: it implements language levels (froglet → relational → LTL) that restrict expressive… | ||
| nothing matches | ||