Siddhartha Prasad
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 3 in the filters
on a stage with
all 27 in the filters
who talks about the same things
- Tim Nelson2 talks
- Shriram Krishnamurthi12 talks
- Ben Greenman9 talks
- Işıl Dillig21 talks
- Andrew Wagner6 talks
- Rastislav Bodík8 talks
| title | conference | date |
|---|---|---|
| hS: Speculative Script Reordering at Subprocess Granularity | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
hS is a system that speculatively executes shell commands out of order by running command instances in sandboxed layers and tracing system calls to detect real… | ||
| 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 | ||