JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY