Isaac Grosof | DeepAI

AI Chat

Featured Co-authors

Erik D. Demaine
75 publications
Jayson Lynch
42 publications
Michael Mitzenmacher
39 publications
Mor Harchol-Balter
21 publications
Marijn J. H. Heule
15 publications
Ziv Scully
14 publications
Mikhail Rudoy
12 publications
Alan Scheller-Wolf
9 publications
Kunhe Yang
5 publications
Naifeng Zhang
4 publications

∙ 11/04/2022

Optimal Scheduling in the Multiserver-job Model under Heavy Traffic

Multiserver-job systems, where jobs require concurrent service at many s...

0 Isaac Grosof, et al. ∙

∙ 07/22/2022

Towards the shortest DRAT proof of the Pigeonhole Principle

The Pigeonhole Principle (PHP) has been heavily studied in automated rea...

0 Isaac Grosof, et al. ∙

∙ 02/11/2022

Incentive Compatible Queues Without Money

For job scheduling systems, where jobs require some amount of processing...

0 Isaac Grosof, et al. ∙

∙ 10/01/2021

Uniform Bounds for Scheduling with Job Size Estimates

We consider the problem of scheduling to minimize mean response time in ...

0 Ziv Scully, et al. ∙

∙ 09/26/2021

WCFS: A new framework for analyzing multiserver systems

Multiserver queueing systems are found at the core of a wide variety of ...

0 Isaac Grosof, et al. ∙

∙ 06/02/2021

Nudge: Stochastically Improving upon FCFS

The First-Come First-Served (FCFS) scheduling policy is the most popular...

0 Isaac Grosof, et al. ∙

∙ 10/01/2020

Stability for Two-class Multiserver-job Systems

Multiserver-job systems, where jobs require concurrent service at many s...

0 Isaac Grosof, et al. ∙

∙ 03/30/2020

Optimal Multiserver Scheduling with Unknown Job Sizes in Heavy Traffic

We consider scheduling to minimize mean response time of the M/G/k queue...

0 Ziv Scully, et al. ∙

∙ 05/09/2019

Load Balancing Guardrails: Keeping Your Heavy Traffic on the Road to Low Response Times

Load balancing systems, comprising a central dispatcher and a scheduling...

0 Isaac Grosof, et al. ∙

∙ 06/09/2018

Computational Complexity of Motion Planning of a Robot through Simple Gadgets

We initiate a general theory for analyzing the complexity of motion plan...

0 Erik D. Demaine, et al. ∙

∙ 05/20/2018

SRPT for Multiserver Systems

The Shortest Remaining Processing Time (SRPT) scheduling policy and its ...

0 Isaac Grosof, et al. ∙

∙ 09/05/2017

Push-Pull Block Puzzles are Hard

This paper proves that push-pull block puzzles in 3D are PSPACE-complete...

0 Erik D. Demaine, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world