David Broman
where else to find them
no profile links on file
what they talk about
where they keep going back
- SLE2 editions2019–2024
all 4 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Elias Castegren4 talks
- Philipp Haller11 talks
- Meng Wang16 talks
- Michael Ballantyne4 talks
- Andrew Blinn6 talks
- Mark Batty5 talks
| title | conference | date |
|---|---|---|
| Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions | SLE 2024 | 2024-10-20 |
Trellis is a DSL that specifies sparse HMMs and compiles to CUDA with a Python wrapper, using a predecessor analyzer and two predecessor strategies: a… | ||
| Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages | SLE 2024 | 2024-10-20 |
Implements statically delayed sampling as a compile-time transform for Miking CorePPL that builds programmatic Bayesian networks, applies local marginalization… | ||
| Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equati... | GPCE 2023 | 2023-10-22 |
Partial evaluation of forward-mode AD reduces runtime overhead for DAE index reduction and Jacobian generation by producing a low-index residual and a sparse… | ||
| Static Delayed Sampling for Probabilistic Programming Languages | LAFI 2023 | 2023-01-15 |
Introduces static delayed sampling that moves delayed-sampling operations to compile time by constructing a programmatic Bayesian network, applying automated… | ||
| Partial Evaluation of Forward-Mode Automatic Differentiation | LAFI 2023 | 2023-01-15 |
A whole-program transformation called PEAD (partial evaluation automatic differentiation) combines compile-time symbolic differentiation with forward-mode AD… | ||
| Statically Resolvable Ambiguity | POPL 2023 | 2023-01-15 |
Presents a concrete solution that proves every ambiguous program in the supported formalism can be rewritten unambiguously, with a full Coq mechanization and… | ||
| A Vision of Miking: Interactive Programmatic Modeling, Language Composition, and Compilation | SLE 2019 | 2019-10-20 |
Miking presents a concrete framework: a functional core that auto-generates interactive programmatic modeling environments, composes reusable language… | ||
| nothing matches | ||