Sam Tobin-Hochstadt
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
all 6 in the filters
on a stage with
all 28 in the filters
who talks about the same things
- Ben Greenman9 talks
- David Van Horn5 talks
- Deepak Garg18 talks
- Sam Lindley27 talks
- Cameron Moy6 talks
- Daan Leijen16 talks
| title | conference | date |
|---|---|---|
| ICFP 2026 Announcement | ICFP 2025 | 2025-10-12 |
ICFP 2026 takes place in Indianapolis on the brand new IU Indianapolis campus with the main conference in Hine Hall and workshops in University Tower; primary… | ||
| Garbage Collection for Mostly Serialized Heaps | ISMM 2024 | 2024-06-25 |
A hybrid generational collector for mostly-serialized heaps implements a nursery of mini-regions with bump allocation and a copying young collector that… | ||
| Rhombus: A New Spin on Macros without All the Parentheses | OOPSLA 2023 | 2023-10-23 |
Rhombus is a new language implemented on Racket that replaces prefix s-exprs with an infix-friendly Shrubbery token-tree, interleaves macro expansion with an… | ||
| Automating the Design Recipe | Scheme 2022 | 2022-09-16 |
Bingus is a program synthesizer for the HtDP Student languages that parses signature comments and uses check-expects to stop search, generating the HtDP… | ||
| Forward build systems, formally | CPP 2022 | 2022-01-17 |
Defines forward-build correctness as: either reproduce the result of running the script sequentially or report a hazard. Models commands, filesystems… | ||
| Graphite: A Library for Data Visualization | Scheme 2021 | 2021-08-27 |
Graphite is a Racket library that reads CSVs into tidy data frames and produces scatter, line and bar plots with aesthetic mappings, additive renderers and… | ||
| Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification | POPL 2021 | 2021-01-17 |
Tool extracts Type Racket’s boundary contracts, runs the SCV symbolic verifier on the untyped client code, and selectively bypasses only those runtime checks… | ||
| Build Scripts with Perfect Dependencies | OOPSLA 2020 | 2020-11-15 |
Build system that requires no author-specified deps: Rattle records per-command dependencies via file-system tracing, speculates parallel execution from… | ||
| nothing matches | ||