Skip to content

Papers

Commutativity Reasoning for the Heap (MS Thesis)

The publication of my thesis is available at https://www.proquest.com/docview/2681771819. I am proud to report that I have completed my thesis for my master’s in computer science at Stevens! You can see my presentation and paper below. Here’s a PDF of the slides, with some bonus slides at the end.