Siyuan Brant Qian
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 |
|---|---|---|
| Impulse: Momentously Fast, General, and Portable Probabilistic Programming via(…) | PLDI 2026 Student Research Competition | 2026-06-17 |
A compiler-augmented probabilistic programming system called Impulse preserves probabilistic semantics in MLIR and applies a new pass Sample-Invariant Code… | ||
| Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale | EGRAPHS 2026 | 2026-06-15 |
Poseidon automatically extracts symbolic expressions from pre-optimized IR, uses a small surrogate profile to get per-instruction sensitivities, and composes… | ||
| Abstract Interpretation for Automatic Differentiation | LAFI 2024 | 2024-01-14 |
Static analysis produces sound numeric bounds on derivatives computed by AD, using a synthesized abstract interpreter that encloses nonlinear patterns with a… | ||
| Synthesizing Precise Static Analyzers for Automatic Differentiation | OOPSLA 2023 | 2023-10-23 |
Pasado synthesizes precise static analyzers that directly abstract the Chain Rule, Product Rule and Quotient Rule in automatic differentiation, producing a… | ||
| nothing matches | ||