Jon Howell

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Linear types for large-scale systems verification

Jialin Li and others (2022) · Association for Computing Machinery (ACM)

Storage systems are distributed systems (so verify them that way!)

Travis Hance and others (2020) · 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6 · USENIX Association

IronFleet: proving practical distributed systems correct

Chris Hawblitzel and others (2015) · Proceedings of the 25th Symposium on Operating Systems Principles