William J. Bowman
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
all 7 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Adam T. Geller3 talks
- Paulette Koronkevich7 talks
- Steve Zdancewic19 talks
- Ondřej Lhoták11 talks
- Amal Ahmed25 talks
- Edward Lee10 talks
| title | conference | date |
|---|---|---|
| Regions as Continuation Marks | Scheme 2026 | 2026-08-29 |
Presents a concrete translation from regions into continuation marks and an interpreter that maps let-region to with-continuation-mark and region allocations… | ||
| Fast and Extensible Hybrid Embeddings with Micros | Scheme 2025 | 2025-10-16 |
Claims a hybrid embedding pipeline that uses micros (syntax→IR) to produce mutable Racket structures, runs transformations via attached generics, and re‑emits… | ||
| Type-Preserving Flat Closure Optimization | OOPSLA 2025 | 2025-10-16 |
Proposes a new Flat-Closure Calculus (FCC) that encodes the flat closure calling convention with singleton types so the projected code pointer is typechecked… | ||
| Towards a Performance Comparison of Syntax and Type-Directed NbE | TyDe 2025 | 2025-10-12 |
Implements a forked Smalltt to add a type-directed judgmental-equality procedure and compares it against Andreas Kovác’s syntax-directed Smalltt using… | ||
| Type Universes as Kripke Worlds | ICFP 2025 | 2025-10-12 |
Paper claims that stratifying allocated types into a type universe hierarchy (each universe ↔ a semantic Kripke world per universe) removes the usual… | ||
| 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… | ||
| The Ethical Compiler: Addressing the Is-Ought Gap in Compilation | PEPM 2025 | 2025-01-21 |
Paper argues that compilers should be ethical not merely correct and presents six metaethical dictums: let programmers express what ought to hold, ensure… | ||
| Indexed Types for a Statically Safe WebAssembly | POPL 2024 | 2024-01-14 |
Wasm-prechk extends Wasmtime with an indexed-type system and a new memory-load-precheck instruction that lets the compiler remove per-access dynamic bounds… | ||
| One Weird Trick to Untie Landin's Knot | HOPE 2023 | 2023-09-04 |
Claim: Landin’s Knot arises from impredicative quantification over a function’s closure environment, not merely from storing functions in refs. Method: perform… | ||
| Is Sized Typing for Coq Practical? | ICFP 2023 | 2023-09-04 |
Implementation of CIC^ sized type theory inside a Coq 8.12 kernel fork produces a full size-inference pipeline that emits difference constraints solved by… | ||
| Macro-embedding Compiler Intermediate Languages in Racket | Scheme 2022 | 2022-09-16 |
Implements a macro-embedding that derives a family of compiler intermediate languages inside Racket to generate 120 interpreters for a compilers course, mixing… | ||
| From meta frameworks and transformations to distributed computing and more | PEPM 2022 | 2022-01-17 |
Overview of concrete results and tools: partial evaluation plus systematic specialization and the incrementalization transformation turn high‑level specs into… | ||
| nothing matches | ||