3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Functional Reasoning for Distributed Systems with Failures
Haobin Ni, Robbert van Renesse, Greg Morrisett
Distributed system theory literature often argues for correctness using an informal, Hoare-like style of reasoning. While these arguments are intuitive, they have not all been fool…
cs.CY2019★ 3 cited
Evolving Academia/Industry Relations in Computing Research
Greg Morrisett, Shwetak Patel, Jennifer Rexford +1
In 2015, the CCC co-sponsored an industry round table that produced the document "The Future of Computing Research: Industry-Academic Collaborations". Since then, several important…