Ziwen Wang
Waterloo, ON, Canada · zw6wang@uwaterloo.ca
Google Scholar
Currently under the supervision of Levent Tuncel, working on optimization.
Education
University of Waterloo — PhD in Combinatorics & Optimization (expected 2030)
University of Waterloo — MMath in Combinatorics & Optimization (2026)
Coursework: Semidefinite Programming, Algorithmic Spectral Graph Theory, Randomized Algorithms.
University of Waterloo — BMath in Computer Science and Combinatorics & Optimization (2025)
Publications
-
A C implementation of the Smith massager algorithm, 2026.
[arXiv]
We describe a C implementation of the Las Vegas algorithm of Birmpilis, Labahn and Storjohann from 2020 for computing the Smith normal form of a nonsingular integer matrix. The algorithm computes a Smith massager for the input matrix usingbit operations, which is softly equivalent to the cost of multiplying two matrices of the same dimension and entry size. We describe the key implementation techniques that bridge the gap between the theoretical algorithm and practical performance, including BLAS-accelerated modular arithmetic via the Residue Number System and an adaptive batching scheme that collapses the theoretical O(logn) iterations to O(1) in practice. Experiments on matrices of dimension up to n=10007 show that the implementation’s running time scales proportionally to that of a single BLAS matrix multiplication, with both exhibiting the same effective growth rate on a log-log plot. -
ACPO: AI-Enabled Compiler-Driven Program Optimization. TACO, 2023.
[arXiv]
A novel framework that provides LLVM with simple and comprehensive tools to
benefit from employing ML models for different optimization passes.
Teaching
- TA, CO 250 — Introduction to Optimization, University of Waterloo (Fall 2025, Spring 2026)
- TA, CO 456 — Introduction to Game Theory, University of Waterloo (Fall 2025)
- TA, CO 370 — Deterministic OR Models, University of Waterloo (Winter 2026)
- TA, CO 372 — Portfolio Optimization Models, University of Waterloo (Fall 2026)