proposal contains the tex and bib files for the project proposal
thesis contains tex and bib files for the thesis
specification contains the TLA+ specification for a concurrent hashmap described by Shalev et.al 1
notes contains various notes on feedback and reading
presentation contains a presentation of the project, created for an interview in March 2022