Gilbert Louis Bernstein
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
all 6 in the filters
on a stage with
all 30 in the filters
who talks about the same things
- Jonathan Ragan-Kelley12 talks
- Adam Chlipala23 talks
- Amanda Liu4 talks
- Michael Carbin14 talks
- Mathieu Huot11 talks
- Tobias Grosser14 talks
| title | conference | date |
|---|---|---|
| Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust | PLDI 2026 | 2026-06-15 |
Hayroll is a modular wrapper that makes C-to-Rust translators preprocessor-aware without changing them by splitting work into a conditional-compilation layer… | ||
| A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs | PLDI 2026 | 2026-06-15 |
Mechanized framework extends ATL and uses the Rock proof assistant to produce a verified compression/decompression adjoint that rewrites dense tensor kernels… | ||
| Polynomial-Time Program Equivalence for Machine Knitting | ICFP 2025 | 2025-10-12 |
An algorithm canonicalizes algebraic representations of knitting-program string diagrams into a normal form, reducing program equivalence to comparing those… | ||
| High-level Programming for Application Networks | NSDI '25 | 2025-04-28 |
AppNet is a framework that compiles high-level generalized match-action programs for RPC processing into platform-specific code (RPC library, colocated proxy… | ||
| Distributions for Compositionally Differentiating Parametric Discontinuities | OOPSLA 2024 | 2024-10-20 |
Introduces Potto prototype as the first differentiable first-order language that soundly differentiates parametric discontinuities, gives a denotational… | ||
| Panel: What are we doing? | Sparse 2024 | 2024-06-25 |
Discussion highlights a persistent gap between research and deployable systems, claiming many sparse advances never reach real workloads and arguing that… | ||
| A Verified Compiler for a Functional Tensor Language | PLDI 2024 | 2024-06-24 |
A mechanically verified implementation of a lowering algorithm for ATL proves that a functional tensor program lowers to imperative loop nests that write… | ||
| Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites | POPL 2022 | 2022-01-16 |
A Coq-verified framework implements a pure functional tensor IR called ATL and a suite of semantics-preserving, source-to-source rewrites plus reshape… | ||
| nothing matches | ||