Xavier Rival
where else to find them
what they talk about
where they keep going back
all 4 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Wonyeol Lee6 talks
- Hongseok Yang9 talks
- Xiaoyan Wang4 talks
- Vikash K. Mansinghka24 talks
- Mathieu Huot11 talks
- Alexander K. Lew21 talks
| title | conference | date |
|---|---|---|
| Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation | POPL 2026 | 2026-01-11 |
Automatic vectorisation translates imperative PPL loops into a tensor-ready target with a Pyro implementation that runs loop iterations via speculative… | ||
| Towards static analyses and abstract domains for hyperproperties | SAS 2025 | 2025-10-13 |
Outlines concrete static-analysis routes for hyperproperties: noninterference is two-safety / K-safety with counterexamples of K executions, reduced to safety… | ||
| The MemCAD static analyser: shape, value and collection abstraction and application to(…) | SOAP 2025 | 2025-06-16 |
MemCAD implements a new sequence abstraction for unbounded sequences and plugs it into a reduced product of shape and value domains so the analyzer tracks… | ||
| Sound Symbolic Execution via Abstract Interpretation and its Application to Sec... | VMCAI 2023 | 2023-01-15 |
Combines symbolic execution with abstract interpretation to get sound proofs plus bounded counterexample pairs, claiming a formally proven analyzer called… | ||
| Smoothness Analysis for Probabilistic Programs with Application to Optimised Var... | POPL 2023 | 2023-01-15 |
A static analysis discovers which fragments of a probabilistic program are differentiable and which are not, then applies the pathwise gradient estimator to… | ||
| Lightweight Shape Analysis based on Physical Types | VMCAI 2022 | 2022-01-16 |
Defines a new abstract-interpretation memory analysis that summarizes the heap with physical types encoding byte-level layouts and pairs that with a focusing… | ||
| Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries | SAS 2020 | 2020-11-18 |
Builds context-sensitive procedure summaries as relational transformations over separation logic (pairs of input/output heap descriptions h# and t#)… | ||
| nothing matches | ||