Viktor Palmkvist
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 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| 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… | ||
| 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… | ||
| nothing matches | ||