Publication
High-Order Regularization on Graphs
Publication
Proofs from Tests
Video
A Marriage of Rely/Guarantee and Separation Logic
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither…
Publication