ACM transactions on computer systems