Ben Hardekopf
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
- OOPSLA2 editions2021–2023
on a stage with
all 16 in the filters
who talks about the same things
- Ryan Schroeder2 talks
- Mehmet Emre3 talks
- Kyle Dewey3 talks
- Ralf Jung18 talks
- Baris Kasikci7 talks
- Zachary D. Sisco5 talks
| title | conference | date |
|---|---|---|
| Fungible Memories for Automated Technology Mapping and Retargeting | PLDI 2026 | 2026-06-15 |
Memo implements a write-once, map-anywhere memory abstraction that automatically retargets memories across simulation, FPGA and ASIC backends, and lifts… | ||
| Aliasing Limits on Translating C to Safe Rust | OOPSLA 2023 | 2023-10-23 |
Study measures how many C raw pointers can become Rust safe references after ownership/lifetime inference, using a modified C→unsafe-Rust transpile pipeline… | ||
| Semi-Automated Translation of a Formal ISA Specification to Hardware | PLARCH 2023 | 2023-06-17 |
Prototype pipeline converts Sail ISA specs into Clash hardware by translating Sail’s monadic effects into monadic stream functions that compile to a naive… | ||
| Loop Rerolling for Hardware Decompilation | PLDI 2023 | 2023-06-17 |
Defines hardware loop rerolling to recover syntactic loops from netlists by combining clone detection with sketch-based program synthesis using Rosette, and… | ||
| Translating C to Safer Rust | OOPSLA 2021 | 2021-10-17 |
Paper presents an automated C→Rust translation that infers lifetimes and ownership, rewrites function and struct signatures, and iteratively uses Rust compiler… | ||
| nothing matches | ||