Kyle Dewey
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2021–2023
on a stage with
all 5 in the filters
who talks about the same things
- Mehmet Emre3 talks
- Ryan Schroeder2 talks
- Ben Hardekopf6 talks
- Helge Penne3 talks
- Baris Kasikci7 talks
- Ralf Jung18 talks
| title | conference | date |
|---|---|---|
| Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection | LOPSTR+PPDP 2026 | 2026-08-27 |
Wren is a Scala LP eDSL that reworks term representation and execution to piggyback on host language garbage collection, using typed terms/goals so unification… | ||
| 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… | ||
| 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 | ||