About Me

Hello, my name is Chahyun Kang. I am a graduate student at BYU. My primary research interest is in Programming Language Theory. Currently, I am researching static analysis methods, emphasizing in control-flow analysis for higher-order languages.

My Works

Publications

Projects

• AAM implementation (0CFA, 1CFA) k-CFA
• P4F
• Small-step m-CFA
• Big-step control-flow analysis (ADI)
• Demand CFA
• Quick and dirty environment analysis via Demand CFA
• Fixpoint Algorithm
• Monad implementations and uses
• Must-alias techniques (abstract counting)

Contact

Feel free to contact me:

• email: chi2eut@byu.edu
• Github: https://github.com/chi2eut
• LinkedIn: https://www.linkedin.com/in/chahyun-kang-18b515250