Harrison Goldstein
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 7 in the filters
on a stage with
all 29 in the filters
who talks about the same things
- Benjamin C. Pierce17 talks
- Poorva Garg3 talks
- Todd Millstein11 talks
- Guy Van den Broeck8 talks
- Ryan Tjoa3 talks
- Leonidas Lampropoulos15 talks
| title | conference | date |
|---|---|---|
| Language Support for Property-Based Testing | ML Family Workshop 2026 | 2026-08-28 |
Argues that ergonomic property-based testing needs three language features: monad syntax for generators (lets libraries swap seed-passing, seed-splitting, or… | ||
| Tuning Random Generators: Property-Based Testing as Probabilistic Programming | OOPSLA 2025 | 2025-10-16 |
Generators become probabilistic programs with symbolic weights and are tuned by computing a symbolic distribution, compiling it into compressed BDD-based… | ||
| 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… | ||
| FEDT: Supporting Experiment Design and Execution in HCI Fabrication Research | UIST 2025 | 2025-09-28 |
FEDT is an openly available tool that encodes fabrication experiments as an embedded Python DSL, letting researchers generate flowcharts, produce artifacts… | ||
| Mica: Automated Differential Testing for OCaml Modules | OCaml 2024 | 2024-09-07 |
Mica is a PPX extension that derives QuickCheck-based differential tests for any OCaml signature by generating a typed algebraic exper AST, a gen_xer generator… | ||
| Stream Types | PLDI 2024 | 2024-06-24 |
Proposes a type-theoretic foundation that lets ordinary list programs run as online stream processors by rejecting programs that need unbounded buffering and… | ||
| Daedalus: Safer Document Parsing | PLDI 2024 | 2024-06-24 |
A domain-specific language and compiler generate safe, analyzable parsers with C++ and Haskell backends and a foreign‑function interface for things like… | ||
| Consider Collaboration | PLMW @ POPL 2024 | 2024-01-17 |
Argues that collaboration multiplies research output and effectiveness, citing one adviser’s record of 113 coauthored papers, four books and at least 60… | ||
| Reflecting on Random Generation | ICFP 2023 | 2023-09-04 |
Presents reflective generators that combine free generators + partial monadic profunctors so a generator can run “backwards” to recover random choices that… | ||
| nothing matches | ||