Qiantan Hong
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 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs | EGRAPHS 2026 | 2026-06-15 |
Scheduling Modulo Equality (SME) builds an e-graph via equality saturation and then encodes extraction as an ILP with binary variables XNT and YCT, latency… | ||
| Rewrite System Showdown: Stochastic Search vs. EqSat | EGRAPHS 2026 | 2026-06-15 |
Compares stochastic search (128-thread implementation) to equality saturation (egg/egglog style) across five benchmarks: matrix-chain (optimal known… | ||
| Recursive Program Synthesis using Paramorphisms | PLDI 2024 | 2024-06-24 |
Claims a synthesis method that fixes recursive shape with multi-hole templates and fills holes by stochastic search for nonrecursive straight-line code, using… | ||
| nothing matches | ||