SIAM journal on computing