Retargeting static analyzers
A framework for retargeting static analyzers to new languages through partial evaluation of interpreters, with analyzer generation implemented using MetaOCaml staging.
Code and reproducible artifact
Gyuhyeok Oh 오규혁
I am a master's student in Computer Science and Engineering at Seoul National University, advised by Prof. Kwangkeun Yi in the Programming Research Laboratory (ROPAS).
My research focuses on static analysis and partial evaluation: making analyzers reusable across languages and enabling modular analysis of programs.
Research
Modular Sparrow
Applying partial evaluation to the Sparrow C analyzer to analyze translation units separately and link the residual computations, reusing Sparrow's abstract domains and transfer functions.
ReDemon UI
Program synthesis from demonstrations of web UI behavior. I implemented the synthesizer for inferring event-handler updates across multiple timelines.
UIST 2025 poster paperPublications & presentations
A Framework for Retargeting Static Program Analyzers to New Languages
Gyuhyeok Oh, Kwangkeun Yi
ReDemon UI: Reactive Synthesis by Demonstration for Web UI
Jay Lee, Gyuhyeok Oh, Joongwon Ahn, Xiaokang Qiu
PaperPartial Evaluation + Global Analyser = Separate Analyser
Extended abstract · PosterTalks and posters at SIGPL Summer and Winter Schools, 2025–2026.
Education & experience
Seoul National University · Advisor: Kwangkeun Yi
B.S., Computer Science and Engineering
Seoul National University
Teaching Assistant, Program Analysis
Seoul National University
Teaching Assistant, Programming Languages
Seoul National University · Lead TA in 2025
Undergraduate Research Intern
ROPAS, Seoul National University