Byron Zhong
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 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- John Reppy9 talks
- Olin Shivers9 talks
- Kerim Kochekov2 talks
- Ahmed Khaled Zaher3 talks
- Deepak Garg18 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| Self-Tagging Numbers | ML Family Workshop 2026 | 2026-08-28 |
Extends float self‑tagging to SML/NJ by applying a reversible bit transform — left rotate by three and XOR with 6 — to make common 64‑bit integers… | ||
| Flow-Analysis-Based Closure Optimization | PLDI 2026 | 2026-06-15 |
Implementation in Standard ML of New Jersey with an LLVM backend uses a sparse zero-CFA to guide concrete closure-representation decisions: selective heap… | ||
| Range-Analysis-Based Optimization for SML/NJ | ML 2025 | 2025-11-24 |
Range analysis runs on SML/NJ’s CPS IR using extended SSA in CPS and interval constraints to prove when overflow and array-bounds checks are unnecessary, with… | ||
| Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages | ICFP 2025 | 2025-10-12 |
An abstract-interpretation analysis discovers which free-variable bindings are always shared so callers can supply environments instead of heap-allocating… | ||
| nothing matches | ||