Oleg Kiselyov
where else to find them
what they talk about
all 4 in the filters
where they keep going back
all 6 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks | POPL 2026 | 2026-01-11 |
Compares three concrete dynamic checks—lazy vs eager and a new Cause-for-Concern (C4C) check—and gives a formal calculus for evaluating them with effect… | ||
| Complete Stream Fusion for Software-Defined Radio | PEPM 2024 | 2024-01-16 |
Strymonas compiles declarative pipelines to generated C with a single main loop, no dynamic allocation, and complete stream fusion, and it implements a… | ||
| MetaOCaml Theory and Implementation | OCaml 2023 | 2023-09-09 |
An integrated translation in BER MetaOCaml N114 interleaves quotation/antiquotation lowering with OCaml type checking so the compiler no longer rebuilds whole… | ||
| Free Variable as Effect, in Practice | HOPE 2023 | 2023-09-04 |
Proposes that treating free variables as algebraic effects gives practical wins: a tagless-final compiler prototype emits runnable wasm module and x86 code… | ||
| Highest-performance Stream Processing | OCaml 2022 | 2022-09-16 |
Library implements complete stream fusion and generates C and OCaml code from declarative pipelines, eliminating intermediate tuples and allocations so… | ||
| Demo: New View on Plasma Fractals -- From the High Point of Array Languages | FARM 2022 | 2022-09-15 |
New approach presents plasma fractals as a family of image-expansion algorithms (so the standard square-diamond algorithm sits alongside bilinear and bicubic… | ||
| Do Mutable Variables Have Reference Types? | ML 2022 | 2022-09-15 |
Offshoring fails for mutable variables: naive translation that treats OCaml refs as C pointers either forces ad hoc restrictions (refs only for base types… | ||
| let (rec) insertion without Effects, Lights or Magic | PEPM 2022 | 2022-01-17 |
Claims a denotational semantics for let(rec)-insertion that avoids delimited control and other effects, models insertion as composable annotations (sticky… | ||
| nothing matches | ||