Worked on the p4lang/p4c repository to optimize the ProgramPoints::merge function within the def-use analysis, focusing on improving performance for large codebases. The approach involved avoiding unnecessary memory allocations and iterations when one set was a subset of the other, as well as introducing early exit conditions and iterating over the smaller set to minimize redundant computations. This change maintained the correctness and stability of the analysis while delivering measurable efficiency gains. The work was implemented in C++ and leveraged skills in code optimization, compiler development, and static analysis to enhance the scalability and maintainability of the analysis infrastructure.