Skip to content

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.

Leave a Reply

Your email address will not be published. Required fields are marked *