Yunbo Ni
Hi, I am Yunbo Ni, a first-year CS PhD student at The Chinese University of Hong Kong, advised by Prof. Shaohua Li. My research is code-centric with SE x PL (x AI).
As LLMs and agents evolve quickly, my focus has expanded toward correctness and optimization across the full code stack.
- Code Correctness in Practice: Leveraging LLMs' strong (yet incomplete) semantic understanding to go beyond traditional methods such as fuzzing and static analysis, and enabling correctness analysis for large software systems.
- Code Optimization Across Layers: Exploring new ways to execute code in the LLM era, with optimization strategies across source code, IR, and assembly.
Before joining CUHK, I was an undergraduate at Software Institute, Nanjing University, where I was fortunate to be advised by Prof. Minxue Pan and Prof. Yang Feng.
Projects in the Wild
Outside academic research, I enjoy exploring systems in practice. I hope to improve real-world reliability through research-informed engineering, and I strongly believe that good research comes from real industrial needs.