Papers & Reports
Research publications and technical reports.
Publications
A sigmoid-based invertible fitness-landscape transformation for search-based software testing (SBST), enabling hill climbing to escape plateaus. Applies compiler techniques (AST-based instrumentation, constant folding, SSA-like variable-shading) to Python source transformation, with parallel time-budgeted evaluation infrastructure.
A bi-level RL framework that learns interpretable linear/quadratic value estimators as potential-based reward shaping functions, improving DQN convergence stability in Taxi-v3. Includes reward transfer experiments and α-scheduling trials.
Technical Reports
A multi-channel 1-D nuclear system code implemented from scratch in MATLAB, modeling coupled fluid dynamics, point kinetics with delayed neutrons, fuel heat conduction (FVM), and steam generator primary–secondary coupling. Steady-state and transient analyses validated against the industry-standard MARS code across 10 physical quantities.
Multi-channel steady-state analysis of a PWR core implementing finite-difference and finite-volume methods for coupled heat conduction and fluid flow. Covers constitutive relations (HTC, friction factor, CHF), channel mass flux distribution, and thermal margin evaluation with 2-D core map visualization.