I'm a second year Ph.D. student in SSLab advised by Taesoo Kim (currently on-leave, working in Theori).
A computer program is compiled from human-written code to machine-understandable representation. Analyzing code in various programming languages may require linear implementation costs. My goal is to bring novel program analysis techniques onto the binary level, and also enable humans to understand the semantic of a program. Ideally, I want to make frameworks that researchers can do scalable, fine-grained analysis without language-specific, and repetitive implementations, which is the current status.