Journal: ACM Trans. Comput. Syst.