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.