Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. - Benjamin N. Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift (Challenge+DC@RuleML, 2015)

Push-Pull Block Puzzles are Hard. - Erik D. Demaine; Isaac Grosof; Jayson Lynch (CIAC, 2017)

Computational Complexity of Motion Planning of a Robot through Simple Gadgets. - Erik D. Demaine; Isaac Grosof; Jayson Lynch; Mikhail Rudoy (FUN, 2018)

SRPT for multiserver systems. - Isaac Grosof; Ziv Scully; Mor Harchol-Balter (Perform. Evaluation, 2018)

Load Balancing Guardrails: Keeping Your Heavy Traffic on the Road to Low Response Times. - Isaac Grosof; Ziv Scully; Mor Harchol-Balter (Proc. ACM Meas. Anal. Comput. Syst., 2019)

The CacheLib Caching Engine: Design and Experiences at Scale. - Benjamin Berg; Daniel S. Berger; Sara McAllister; Isaac Grosof; Sathya Gunasekar; Jimmy Lu; Michael Uhlar; Jim Carrig; Nathan Beckmann; Mor Harchol-Balter; Gregory R. Ganger (OSDI, 2020)

Stability for Two-class Multiserver-job Systems. - Isaac Grosof; Mor Harchol-Balter; Alan Scheller-Wolf (CoRR, 2020)

The Gittins Policy is Nearly Optimal in the M/G/k under Extremely General Conditions. - Ziv Scully; Isaac Grosof; Mor Harchol-Balter (Proc. ACM Meas. Anal. Comput. Syst., 2020)

Load balancing guardrails: keeping your heavy traffic on the road to low response times (invited paper). - Isaac Grosof; Ziv Scully; Mor Harchol-Balter (STOC, 2021)

The Finite-Skip Method for Multiserver Analysis. - Isaac Grosof; Mor Harchol-Balter; Alan Scheller-Wolf (CoRR, 2021)

Optimal multiserver scheduling with unknown job sizes in heavy traffic. - Ziv Scully; Isaac Grosof; Mor Harchol-Balter (Perform. Evaluation, 2021)

Optimal Scheduling in the Multiserver-job Model under Heavy Traffic. - Isaac Grosof; Ziv Scully; Mor Harchol-Balter; Alan Scheller-Wolf (Proc. ACM Meas. Anal. Comput. Syst., 2021)

Nudge: Stochastically Improving upon FCFS. - Isaac Grosof; Kunhe Yang; Ziv Scully; Mor Harchol-Balter (Proc. ACM Meas. Anal. Comput. Syst., 2021)

Uniform Bounds for Scheduling with Job Size Estimates. - Ziv Scully; Isaac Grosof; Michael Mitzenmacher (ITCS, 2022)

Incentive Compatible Queues Without Money. - Isaac Grosof; Michael Mitzenmacher (CoRR, 2022)

Towards the shortest DRAT proof of the Pigeonhole Principle. - Isaac Grosof; Naifeng Zhang; Marijn J. H. Heule (CoRR, 2022)

WCFS: a new framework for analyzing multiserver systems. - Isaac Grosof; Mor Harchol-Balter; Alan Scheller-Wolf (Queueing Syst. Theory Appl., 2022)

Invited Paper: ServerFilling: A better approach to packing multiserver jobs. - Isaac Grosof; Mor Harchol-Balter (ApPLIED@PODC, 2023)

Optimal Scheduling in Multiserver Queues - Isaac Grosof (2023)

New Stability Results for Multiserver-job Models via Product-form Saturated Systems. - Isaac Grosof; Mor Harchol-Balter; Alan Scheller-Wolf (SIGMETRICS Perform. Evaluation Rev., 2023)

The RESET and MARC techniques, with application to multiserver-job analysis. - Isaac Grosof; Yige Hong; Mor Harchol-Balter; Alan Scheller-Wolf (Perform. Evaluation, 2023)

Convergence for Natural Policy Gradient on Infinite-State Average-Reward Markov Decision Processes. - Isaac Grosof; Siva Theja Maguluri; R. Srikant 001 (CoRR, 2024)

Analysis of Markovian Arrivals and Service with Applications to Intermittent Overload. - Isaac Grosof; Yige Hong; Mor Harchol-Balter (CoRR, 2024)

Performance of NPG in Countable State-Space Average-Cost RL. - Yashaswini Murthy; Isaac Grosof; Siva Theja Maguluri; R. Srikant 001 (CoRR, 2024)

Analyzing Practical Policies for Multiresource Job Scheduling. - Zhongrui Chen; Isaac Grosof; Benjamin Berg (CoRR, 2024)

Heavy-Traffic Optimal Size- and State-Aware Dispatching. - Runhan Xie; Isaac Grosof; Ziv Scully (Proc. ACM Meas. Anal. Comput. Syst., 2024)

Simple Policies for Multiresource Job Scheduling. - Zhongrui Chen; Isaac Grosof; Benjamin Berg (SIGMETRICS Perform. Evaluation Rev., 2024)

Bounds on M/G/k Scheduling Under Moderate Load Improving on SRPT-k and Tightening Lower Bounds. - Isaac Grosof; Ziyuan Wang (SIGMETRICS Perform. Evaluation Rev., 2024)

The RESET Technique for Multiserver-Job Analysis. - Isaac Grosof (SIGMETRICS Perform. Evaluation Rev., 2024)

Optimal Scheduling in Multiserver Queues. - Isaac Grosof (SIGMETRICS Perform. Evaluation Rev., 2024)

Improving Multiresource Job Scheduling with Markovian Service Rate Policies. - Zhongrui Chen; Isaac Grosof; Benjamin Berg (Proc. ACM Meas. Anal. Comput. Syst., 2025)

Novel Lower Bounds on M/G/k Scheduling. - Ziyuan Wang; Isaac Grosof (CoRR, 2025)

Graph-Based Product Form. - Céline Comte; Isaac Grosof (CoRR, 2025)

Multiserver-job Response Time under Multilevel Scaling. - Isaac Grosof; Hayriye Ayhan (CoRR, 2025)