My Bachelor thesis is complete!
I recently finished my Bachelor thesis “Refining heap-shape information for Java programs using reachable types”. It describes a static analysis that can be used to improve heap-shape data using conclusions drawn from types. It is available at https://kane.cx/downloads/dkr_thesis_final.pdf.
My current anticipated degree is a M.Sc. in Computer Science in 2019.