Queueing Theory

Optimally Scheduling Jobs with Multiple Tasks

With Guy Blelloch, Mor Harchol-Balter, and Alan Scheller-Wolf. PER (MAMA), 2017.

Programming Languages

A Program Optimization for Automatic Database Result Caching

With Adam Chlipala. POPL, 2017.

Mathematics

Motors and Impossible Firing Patterns in the Parallel Chip-Firing Game

With Tian-Yi Jiang and Yan X. Zhang. SIDMA, 2015. arXiv:math.CO/1211.6786.

Firing Patterns in the Parallel Chip-Firing Game

With Tian-Yi Jiang and Yan X. Zhang. DMTCS, 2014.

Efficient Calculation of Determinants of Symbolic Matrices with Many Variables

With Tanya Khovanova. Preprint, 2013. arXiv:cs.SC/1304.4691.