https://pranav083.github.io/series/research/Recent content in Research on Pranav KumarHugo -- gohugo.ioenCopyright © 2016–2030, Pranav KumarMon, 04 May 2026 00:00:00 -0400https://pranav083.github.io/post/project/fuse-thesis/Mon, 04 May 2026 00:00:00 -0400https://pranav083.github.io/post/project/fuse-thesis/ <p><strong>MS thesis · Virginia Tech · defended May 4, 2026</strong> Systems Software Research Group, advised by Prof. Binoy Ravindran and Prof. Freek Verbeek Committee: Binoy Ravindran (Chair), Freek Verbeek, Kendall Giles Part of the <a href="https://llrm-project.org/">LLRM project</a> — the Low-Level Reasoning Machine</p> <hr> <h2 id="research-question">Research question</h2> <p>Compilers can detect memory-safety errors at build time using AddressSanitizer. Binary software shipped <strong>without source code</strong> gets none of that protection — and commercial, legacy, and third-party binaries are exactly the code most likely to go unaudited.</p>