Hamiltonian Path in Rectangle Grid Graphs with Triangular Holes
Establishes structural conditions for Hamiltonian paths in rectangular grid graphs with a triangular hole, extending classical grid-graph results.
Projects
A Multi-Strategy Framework for Classroom and Enrollment Scheduling
Built and analyzed an end-to-end course scheduling system that optimizes classroom assignments, timeslots, and student enrollments, combining algorithm design, theoretical runtime analysis, and real Registrar data.
Evaluating the Robustness of a 4D STEM Autoencoder to Noisy Inputs
Evaluated the robustness of multiple neural network models to different levels of noise at the inputs and enhanced the robustness.
The Evolutionary Dynamics of Machine Learning Techniques on Spam Filter
Analyzed the co-evolution of spam filters and spammers using evolutionary game theory, combining Nash/ESS analysis with spatial grid simulations to model attacker–defender dynamics.
Automated Exceptional Test Oracle Generation
Investigated how to automatically generate accurate test oracles for real-world exceptional bugs by combining traditional oracle-generation tools with LLM-based reasoning.
Use of Control Flow Graphs with Edge Consideration for Fault Localization
Developed an edge-augmented fault-localization framework that integrates CFG branch behavior into SBFL techniques, yielding substantial accuracy improvements on real-world bugs.
Evaluation of Test Generation Tools on Defects4J Bugs
Evaluated and improved automated test-generation techniques by analyzing how EvoSuite and EditAS2 perform on real Defects4J Time bugs, identifying coverage gaps and proposing domain-aware strategies to better detect semantic and time-dependent faults.
Predicting Online Shopping Purchasing Intention Using Random Forest and AdaBoost Classifier
Developed and evaluated supervised machine-learning classifiers with full preprocessing, tuning, and performance analysis to understand dataset behavior and improve predictive accuracy.
Blockchain-Based Framework for EV Charging Scheduling
Developed and evaluated a blockchain-based scheduling framework that assigns electric vehicles to charging stations using smart-contract coordination and geometric distance optimization.