Jan Vitek
where else to find them
linkedin:jvitek
what they talk about
all 5 in the filters
where they keep going back
all 6 in the filters
on a stage with
all 28 in the filters
who talks about the same things
- Olivier Flückiger7 talks
- Aviral Goel6 talks
- Julia Belyakova6 talks
- Tiark Rompf24 talks
- Ross Tate7 talks
- Jan Ječmen4 talks
| title | conference | date |
|---|---|---|
| Copy-and-Patch Just-in-Time Compiler for R | VMIL 2025 | 2025-10-15 |
Implements a copy‑and‑patch baseline JIT for GNU R by extracting interpreter instruction bodies into stencils, emitting native code at runtime, and patching… | ||
| Reducing Feedback Pollution | VMIL 2024 | 2024-10-20 |
JIT compiler for R stores type observations in separate per-call-context feedback vectors instead of one shared vector, so recorded types no longer merge… | ||
| 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… | ||
| Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic Languages | DLS 2023 | 2023-10-24 |
Three decades of work yields concrete claims and tools: about 140 papers across language design, types, and implementations; an automated record-replay… | ||
| Reusing Just-in-Time Compiled Code | OOPSLA 2023 | 2023-10-23 |
An experimental JIT called Ř is extended to record compiled functions into a persistent curated code repository and later replay matching versions to skip… | ||
| 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… | ||
| Promises Are Made to be Broken | OOPSLA 2021 | 2021-10-17 |
Presents a concrete migration: a dynamic analyzer called LazR that generates strictness signatures for R functions (52K functions, 204K parameters inferred)… | ||
| What we Eval in the Shadows | OOPSLA 2021 | 2021-10-17 |
Study of 240,327 R scripts (15,401 packages) records 49,296,059 eval calls and exercises ~18k eval call-sites, showing eval is pervasive and varied. Only 6% of… | ||
| Formally Verified Speculation and Deoptimization in a JIT Compiler | POPL 2021 | 2021-01-17 |
A formal model defines a JIT’s middle end, an RTL-like IR and two concrete speculative ops: the anchor instruction which marks safe deoptimization points and… | ||
| Sampling Optimized Code for Type Feedback | DLS 2020 | 2020-11-17 |
Prototype integrates sampling into the Ř JIT to recover type feedback lost in optimized tiers and triggers recompiles when samples contradict… | ||
| Fitzcarraldo — or How to Hack Academia to Build Stuff | SPLASH 2020 REBASE | 2020-11-16 |
What does a movie about a monomaniacal quest to build an opera house in the Amazon Basin has to do with science? Programming language research is at a… | ||
| Fitzcarraldo — or How to Hack Academia to Build Stuff | SPLASH 2020 | 2020-11-15 |
What does a movie about a monomaniacal quest to build an opera house in the Amazon Basin has to do with science? Programming language research is at a… | ||
| Contextual Dispatch for Function Specialization | OOPSLA 2020 | 2020-11-15 |
Built a JIT called Ř JIT compiler that specializes functions to dynamic call-site properties using contextual dispatch: contexts form a comparable lattice… | ||
| 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… | ||
| Designing Types for R, Empirically | OOPSLA 2020 | 2020-11-15 |
A function annotation language and runtime contract checker are built and evaluated: Typetracer is a dynamic tracer on a modified R VM that infers types from… | ||
| Ask Me Anything with Guy Steele | PLDI 2020 | 2020-06-15 |
Long Q&A that hits concrete projects and lessons: explains the telnet song as a real exponential-escape-character example, evaluates persistent memory vs… | ||
| R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments | DLS 2019 | 2019-10-20 |
An SSA-based intermediate language PIR IR models first-class environments, promises (makepromise/force) and closures explicitly so scope-resolution computes… | ||
| nothing matches | ||