Julien Lange
where else to find them
bluesky:julien-lange.bsky.social
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
all 14 in the filters
who talks about the same things
- Tiago Cogumbreiro3 talks
- Georgian-Vlad Saioc2 talks
- Anders Møller6 talks
- Jonathan Ragan-Kelley12 talks
- Tobias Grosser14 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| A Modular Static Cost Analysis for GPU Warp-Level Parallelism | POPL 2026 | 2026-01-11 |
Claims a new static, relational-cost analysis that translates warp semantics into a sequential cost program and is parametric on resource metric and relation… | ||
| Hidden assumptions in static verification of data-race free GPU programs | VIVEKFEST 2024 | 2024-10-21 |
Faial is a static analyzer for GPU kernels that checks data-race freedom and delegates checks to an SMT solver, running most kernels in under a minute. On a… | ||
| Automated Verification of Parametric Channel-Based Process Communication | OOPSLA 2024 | 2024-10-20 |
A toolchain named Ginger translates Go fragments into a compact core language Virgo, encodes them as Hoare triples and checks partial-deadlock freedom using… | ||
| Sound and partially-complete static analysis of data-races in GPU programs | OOPSLA 2024 | 2024-10-20 |
A sound static verifier and a partially-complete race finder named FaialAA implements memory-access protocols, SMT encoding, and mechanized proofs to guarantee… | ||
| Featherweight Go | OOPSLA 2020 | 2020-11-15 |
Defines a minimal core language Featherweight Go (FG) and its generic extension Featherweight Generic Go (FGG), proves a semantics-by-translation claim that… | ||
| nothing matches | ||