Publications

Submitted papers

Full papers

Short papers

Thesis

Other work

Submitted Papers

Convergence for Natural Policy Gradient on Infinite-State Average-Reward Markov Decision Processes

Isaac Grosof, Siva Theja Maguluri, R. Srikant. Under submission.

[paper] [arxiv]

Full Papers

If there is also a short version of a paper, it is listed together with the full version.

Heavy-Traffic Optimal Size- and State-Aware Dispatching

Runhan Xie, Isaac Grosof, Ziv Scully. Accepted to ACM SIGMETRICS / IFIP Performance, June 2024.

[paper] [arxiv]

The RESET and MARC Techniques, with Application to Multiserver-Job Analysis

Isaac Grosof, Yige Hong, Mor Harchol-Balter, Alan Scheller-Wolf. IFIP Performance, November 2023.

An in-progress version appeared as The RESET Technique for Multiserver-job Analysis Isaac Grosof, Student Research Competition at SIGMETRICS 2023. Acknowledging Yige Hong, Mor Harchol-Balter, Alan Scheller-Wolf.

[paper] [arxiv] [SRC paper] [short paper] [talks]

Winner of the ACM SIGMETRICS 2023 Graduate Student Research Competition

Optimal Scheduling in the Multiserver-job Model under Heavy Traffic

Isaac Grosof, Ziv Scully, Mor Harchol-Balter, Alan Scheller-Wolf. ACM SIGMETRICS, June 2023.

[paper] [arxiv] [short paper] [slides] [talks]

WCFS: A new framework for analyzing multiserver systems

Isaac Grosof, Mor Harchol-Balter, Alan Scheller-Wolf. Queueing Systems, July 2022.

[paper] [arxiv] [video] [old version]

Towards the shortest DRAT proof of the Pigeonhole Principle

Isaac Grosof, Naifeng Zhang, Marijn Heule. Pragmatics of SAT, August 2022.

[paper] [arxiv]

Uniform Bounds for Scheduling with Job Size Estimates

Ziv Scully, Isaac Grosof, Michael Mitzenmacher. Innovations in Theoretical Computer Science, Jan. 2022.

[paper] [arxiv] [video] [talks]

Nudge: Stochastically Improving upon FCFS

Isaac Grosof, Kunhe Yang, Ziv Scully, Mor Harchol-Balter. ACM SIGMETRICS, June 2021.

[paper] [arxiv] [short paper] [slides] [slides pdf] [talks]

Winner of the SIGMETRICS 2021 Best Paper Award

The Gittins Policy is Nearly Optimal in the M/G/k under Extremely General Conditions

Ziv Scully, Isaac Grosof, Mor Harchol-Balter. ACM SIGMETRICS, June 2021.

[paper] [short paper]

Winner of the INFORMS 2022 George Nicholson Award

Optimal Multiserver Scheduling with Unknown Job Sizes in Heavy Traffic

Ziv Scully, Isaac Grosof, Mor Harchol-Balter. IFIP Performance, Nov. 2020.

[paper] [arxiv] [MAMA paper] [short paper]

The CacheLib Caching Engine: Design and Experiences at Scale

Ben Berg, Daniel Berger, Sara McAllister, Isaac Grosof, Sathya Gunasekar, Jimmy Lu, Michael Uhlar, Jim Carrig, Nathan Beckmann, Mor Harchol-Balter, Greg Ganger. OSDI, Nov. 2020.

[paper] [canonical version]

Load Balancing Guardrails

Keeping Your Heavy Traffic on the Road to Low Response Times

Isaac Grosof, Ziv Scully, Mor Harchol-Balter. ACM SIGMETRICS, Jun. 2019.

Winner of the SIGMETRICS 2019 Best Student Paper Award

Invited paper at STOC 2021 Theory Fest

[paper] [arxiv] [short paper] [poster] [talks]

SRPT for Multiserver Systems

Isaac Grosof, Ziv Scully, Mor Harchol-Balter. IFIP Performance, Dec. 2018. Also in the journal: Performance Evaluation, Nov. 2018.

Winner of the Performance 2018 Best Student Paper Award

[paper] [arxiv] [MAMA paper] [short paper] [talks]

Computational Complexity of Motion Planning of a Robot through Simple Gadgets

Erik D. Demaine, Isaac Grosof, Jayson Lynch, and Mikhail Rudoy. Ninth International Conference on Fun with Algorithms, June 2018.

[paper] [arxiv] [blog post]

Push-Pull Block Puzzles are Hard

Erik D. Demaine, Isaac Grosof, Jayson Lynch. International Conference on Algorithms and Complexity, May 2017.

[paper] [arxiv] [blog post]

Short Papers

New Stability Results for Multiserver-job Models via Product-form Saturated Systems

Isaac Grosof, Mor Harchol-Balter, Alan Scheller-Wolf. MAMA workshop at SIGMETRICS 2023.

[paper] [old full version] [old full arxiv] [talks]

The old version of the above paper was not accepted, with good reason. Much of the old paper was devoted to rederiving standard results on the saturated system, which we missed in our literature review. However, the product form result is still novel, and that’s the focus of the MAMA version.