UChicago CS professors named ACM Distinguished Members