Justin Hsu
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski4 editions2023–2026
- OOPSLA2 editions2022–2025
- POPL2 editions2021–2022
all 5 in the filters
on a stage with
all 20 in the filters
who talks about the same things
- Joseph Tassarotti20 talks
- Lars Birkedal35 talks
- Benjamin Lucien Kaminski14 talks
- Alejandro Aguirre10 talks
- Gilles Barthe17 talks
- Simon Oddershede Gregersen9 talks
| title | conference | date |
|---|---|---|
| Ray Data: What's New - GPU Shuffle, Unity Catalog, DataSourceV2 | Ray Summit 2026 | 2026-08-24 |
Ray Data 2.53–2.58 adds an actor-only model that replaces mixed tasks to enforce per-actor buffer limits, reducing cross-node spilling and improving pipeline… | ||
| Synthesizing Backward Error Bounds, Backward | PLDI 2026 | 2026-06-15 |
Introduces a composable, general alpha-beta stability definition that covers all five primitive floating-point ops (including sqrt) and composes under program… | ||
| A Hoare Logic For Symmetry Properties | OOPSLA 2025 | 2025-10-16 |
Defines a Hoare-style program logic where pre/post assertions are composable group actions (syntax for group operations and entailment), implements a prototype… | ||
| SafeTree: Expressive Tree Policies for Microservices | OOPSLA 2025 | 2025-10-16 |
Defines a policy language that compiles to a visibly pushdown automata and proves the compilation is sound for nested-word views of service-call trees… | ||
| Bean: A Language for Backward Error Analysis | PLDI 2025 | 2025-06-16 |
Bean is a typed first-order language that encodes backward error via a graded coeffect system with strict linearity and a categorical semantics proving… | ||
| Numerical Fuzz: A Type System for Rounding Error Analysis | PLDI 2024 | 2024-06-24 |
A new functional language Λnum offers a linear type system plus a novel graded monad to track local floating‑point rounding error and a sensitivity analysis to… | ||
| Cutting the Cake: A Language for Fair Division | PLDI 2023 | 2023-06-17 |
A domain-specific language called Slice DSL encodes cake-cutting protocols and compiles them to logical constraints that are sound and complete with respect to… | ||
| Separated and Shared Effects in Higher-Order Languages | LAFI 2023 | 2023-01-15 |
Proposes two higher-order languages, λ^1_{INI} with a linear type system that distinguishes independent and possibly-dependent pairs, and λ^2_{INI}, a… | ||
| Symbolic Execution for Randomized Programs | OOPSLA 2022 | 2022-12-05 |
Adds probabilistic symbolic variables to symbolic execution and computes symbolic probability expressions for paths, then checks universal quantitative… | ||
| A Separation Logic for Negative Dependence | POPL 2022 | 2022-01-16 |
Design of LINA, a probabilistic separation logic that adds a second separating conjunction for negative dependence alongside the independence star, with… | ||
| A Pre-Expectation Calculus for Probabilistic Sensitivity | POPL 2021 | 2021-01-17 |
A relational pre-expectation calculus gives computable upper bounds on the Kantorovich lifting of output distributions, proved sound and (in cases) continuous… | ||
| nothing matches | ||