Supun Abeysinghe
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Tiark Rompf3×
- Anxhelo Xhebrajonce
- Guannan Weionce
all 7 in the filters
who talks about the same things
- Yuxuan Jiang5 talks
- Tiark Rompf24 talks
- Guannan Wei21 talks
- Oliver Bračevac9 talks
- Songlin Jia6 talks
- Rastislav Bodík8 talks
| title | conference | date |
|---|---|---|
| Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures | PADL 2024 | 2024-01-15 |
Rhyme is an expressive query language implemented as an embedded DSL in JavaScript that targets nested JSON and tensor workloads and compiles to executable JS… | ||
| Flan: An Expressive and Efficient Datalog Compiler for Program Analysis | POPL 2024 | 2024-01-14 |
Flan compiles a high‑level Datalog interpreter written in Scala via Lightweight Modular Staging to generate specialized C code, keeping the interpreter’s… | ||
| Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Af... | OOPSLA 2023 | 2023-10-23 |
A typed graph IR combines reachability types with an effect system to compute precise, flow-sensitive effect dependencies without CFA by doing type-based… | ||
| nothing matches | ||