Benjamin W Chung
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA3 editions2018–2021
on a stage with
all 7 in the filters
who talks about the same things
- Julia Belyakova6 talks
- Jeff Bezanson6 talks
- Artem Pelenitsyn5 talks
- Viral B Shah9 talks
- Stefan Karpinski5 talks
- Avik Sengupta2 talks
| title | conference | date |
|---|---|---|
| Use Site Checking Considered Harmful | Onward! 2024 | 2024-10-23 |
Argues that use-site checking—deferring generic type checks until concrete instantiation—pushes errors to call sites, breaks local reasoning, and lets hidden… | ||
| Decidable Subtyping of Existential Types for Julia | PLDI 2024 | 2024-06-24 |
Proves Julia’s runtime subtyping is undecidable via reduction from System F<: and designs a restricted grammar that is stratify types into method signatures… | ||
| Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation | OOPSLA 2021 | 2021-10-17 |
Formalizes type stability and introduces a stronger property, type groundedness, proves grounded instances always fully devirtualize under a modeled JIT, and… | ||
| World Age in Julia: Optimizing Method Dispatch in the Presence of Eval | OOPSLA 2020 | 2020-11-15 |
Julia uses a world-age semantics that delays visibility of methods added by eval until between top-level calls, enabling safe inlining and avoiding… | ||
| Julia - Dynamism and Performance Reconciled by Design | OOPSLA 2018 | 2018-11-07 |
Julia claims dynamic features plus C-like speed and shows it on benchmarks where most programs run within 2x of C while two outliers are explained by boxing… | ||
| nothing matches | ||