Redirecting to /computer-science/news/jason-hu-and-ondrej-lhotak-receive-distinguished-paper-award-popl-2020