[kaycebasques]

> we’d read and generally have pretty lively discussions about a collection of “classic” systems research papers

Does anyone have the list of papers?

> we managed to kind of “industrialize” verification, taking really cool, but kind of research-y techniques for program correctness, and get them into code where normal engineers who don’t have PhDs in formal verification can contribute to maintaining the specification, and that we could continue to apply our tools with every single commit to the software

Is any of this open source?