About Me

Hello, my name is Chahyun Kang. I am a PhD 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

• Chahyun Kang and Kimball Germane. 2026. Demand-on-Demand Control-Flow Analysis. Proc. ACM Program. Lang. 10, ICFP, Article 289 (August 2026), 34 pages. https://doi.org/10.1145/3828687

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