Sam Lindley
where else to find them
linkedin:sam-lindley-a4677b45
what they talk about
all 8 in the filters
where they keep going back
all 10 in the filters
on a stage with
all 57 in the filters
who talks about the same things
- Daniel Hillerström11 talks
- Daan Leijen16 talks
- Anton Lorenzen8 talks
- Wenhao Tang8 talks
- Philipp Schuster13 talks
- Jonathan Immanuel Brachthäuser22 talks
| title | conference | date |
|---|---|---|
| Higher-order fork, modally | HOPE 2026 | 2026-08-24 |
Proposes a small Met extension that types a higher-order fork without effect variables by adding order-sensitive effect contexts and a notion of higher-order… | ||
| Iris-WasmFX: Modular Reasoning for Wasm Stack Switching | PLDI 2026 | 2026-06-15 |
Mechanisation in Rocq produces WasmFXCert and a syntactic type-safety proof for Wasm with explicit stack continuations, proving the extension sound… | ||
| An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on(…) | POPL 2026 | 2026-01-11 |
Paper gives a concrete equational axiomatization for dynamic threads: a parameterized algebraic theory (using presheaves and strong monads) that encodes… | ||
| Rows and Capabilities as Modal Effects | POPL 2026 | 2026-01-11 |
Claims a uniform framework that encodes row-based (Koka-style) and capability-based (Eff-style) effect systems into a modal-effect core, using modalities… | ||
| Freezing Bidirectional Typing (Extended Abstract) | ML 2025 | 2025-11-24 |
Frost implements bidirectional information flow between function and argument types, using skeletons with ghosts to pass partial type shapes both ways; a… | ||
| Modal Effect Types | OOPSLA 2025 | 2025-10-16 |
Replaces pervasive effect variables with an ambient effect context and explicit modalities so higher‑order library signatures no longer need ubiquitous effect… | ||
| Rows and Capabilities as Modal Effects | HOPE 2025 | 2025-10-12 |
Effect systems for handlers get a concrete bridge: a multimodal target MX encodes Koka-style row effects by translating each annotated arrow to an absolute… | ||
| First-Order Laziness | ICFP 2025 | 2025-10-12 |
Proposes replacing thunk closures with lazy constructors that are defunctionalized first‑order values, implemented in Koka; evaluation happens on pattern match… | ||
| Semantics-based program manipulation in the age of LLMs | PEPM 2025 | 2025-01-21 |
Panel records concrete experiments and workflows: VS Code + Copilot generates SystemVerilog that is iteratively checked and fixed against model checking… | ||
| Experience Report: Stack Switching in Wasm SpecTec | WAW 2025 | 2025-01-20 |
Implements the STX stack‑switching extension in SpecTec by encoding captured continuations as lists of frames and using a bubbling semantics that escales… | ||
| Effect handlers for C via coroutines | OOPSLA 2024 | 2024-10-20 |
libseff implements effect handlers for C by representing pending computations as mutable coroutines and dispatching on reified operations (no closures)… | ||
| Effectful Assembly Programming with AsmFX | HOPE 2024 | 2024-09-02 |
AsmFX proposes a six‑instruction extension (enter, do, return, exit, resume, break) plus re-enter/final-re-enter and shallow variants to implement effect… | ||
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| The Functional Essence of Imperative Binary Search Trees | PLDI 2024 | 2024-06-24 |
Functional algorithms introduce a new first-class constructor context primitive and use Koka’s reuse-aware reference counting to implement tail-call, in-place… | ||
| Soundly Handling Linearity | POPL 2024 | 2024-01-14 |
This work introduces control-flow linearity, formalizes it in a System F-style core calculus Feff∘ with linear types and effect handlers, and gives a… | ||
| Structural Subtyping as Parametric Polymorphism | OOPSLA 2023 | 2023-10-23 |
Compares structural subtyping for records and variants with row and presence polymorphism and gives compositional translations that preserve types and… | ||
| Continuing WebAssembly with Effect Handlers | OOPSLA 2023 | 2023-10-23 |
WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit… | ||
| PC Chair's report | ICFP 2023 | 2023-09-04 |
ICFP receives 90 submissions this year, splits into 17 PC and 73 non‑PC papers, and accepts 33 papers (37% overall) with 10 unconditional and 23 conditional… | ||
| Modular Construction of Multi-sorted Free Extensions | PEPM 2023 | 2023-01-16 |
Defines how to build combined free extensions by composing existing frexes and gives three modular constructions: a concrete involutive algebra frex (covers… | ||
| High-Level Effect Handlers in C++ | OOPSLA 2022 | 2022-12-05 |
cpp-effects is a C++ library that implements deep, affine effect handlers on top of boost.context fibers, with handlers expressed as classes using multiple… | ||
| Normalization by Evaluation with Free Extensions (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Claim: augmenting normalization-by-evaluation with free extensions (frex) produces a single generic NbE algorithm for simply typed lambda calculus with… | ||
| Why are partial evaluation and supercompilation still not widely used in practic | PEPM 2022 | 2022-01-17 |
Argues that partial evaluation and supercompilation repeatedly show concrete wins in research—Russian work produces prototypes (including a Novosibirsk… | ||
| Practical Normalization by Evaluation for EDSLs | Haskell Symposium 2021 | 2021-08-26 |
Provides a practical recipe using Normalization by Evaluation to get the fusion benefits of shallow embeddings while keeping deep-syntax for codegen… | ||
| Doing Research in PL panel | POPL 2021 | 2021-01-17 |
Recent concrete work reported includes a postdoc-built prototype that replaces P4’s hand‑rolled state‑machine parsers with a compositional parser design, a… | ||
| Effects for Efficiency: Asymptotic Speedup with First-Class Control | ICFP 2020 | 2020-08-23 |
Claim: first-class control gives a real asymptotic advantage. The authors implement a generic count with effect handlers that visits each edge of an N-depth… | ||
| nothing matches | ||