13 citations · 60 across the 31 of their papers we have counts for
4 papers · 1 filter
Polynomial Time Convergence of the Iterative Evaluation of Datalogo Programs
Sungjin Im, Benjamin Moseley, Hung Q. Ngo +1
Datalogo is an extension of Datalog that allows for aggregation and recursion over an arbitrary commutative semiring. Like Datalog, Datalogo programs can be evaluated via the natur…
On the Convergence Rate of Linear Datalogo over Stable Semirings
Sungjin Im, Benjamin Moseley, Hung Ngo +1
Datalogo is an extension of Datalog, where instead of a program being a collection of union of conjunctive queries over the standard Boolean semiring, a program may now be a collec…
Controlling Tail Risk in Online Ski-Rental
Michael Dinitz, Sungjin Im, Thomas Lavastida +2
The classical ski-rental problem admits a textbook 2-competitive deterministic algorithm, and a simple randomized algorithm that is -competitive in expectation. The…
Online Dynamic Acknowledgement with Learned Predictions
Sungjin Im, Benjamin Moseley, Chenyang Xu +1
We revisit the online dynamic acknowledgment problem. In the problem, a sequence of requests arrive over time to be acknowledged, and all outstanding requests can be satisfied simu…