Full Papers

SOAP: One Clean Analysis of All Age-Based Scheduling Policies

With Mor Harchol-Balter and Alan Scheller-Wolf. SIGMETRICS, 2018.
[paper] [slides] [video] [ACM] [arXiv]

A Program Optimization for Automatic Database Result Caching

With Adam Chlipala. POPL, 2017.
[paper] [slides] [ACM]

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

With Tian-Yi Jiang and Yan X. Zhang. SIDMA, 2015.
[paper] [SIAM] [arXiv]
Previous version: DMTCS, 2014. [paper] [Episciences]

Short Papers and Preprints

SRPT for Multiserver Systems

With Isaac Grosof and Mor Harchol-Balter. PER (MAMA), 2018.

Optimally Scheduling Jobs with Multiple Tasks

With Guy Blelloch, Mor Harchol-Balter, and Alan Scheller-Wolf. PER (MAMA), 2017.
[paper] [slides] [ACM]

Efficient Calculation of Determinants of Symbolic Matrices with Many Variables

With Tanya Khovanova. Preprint, 2013.
[paper] [arXiv]