Yumeng He

I am a second-year Ph.D. student in the Computer Science Department at the University of Utah, where I am fortunate to be advised by Prof. Pavel Panchekha.

Broadly, I enjoy building tools that make software with intensive arithmetic computations more reliable. My current research focuses on developing accurate and efficient numerical debuggers for floating-point programs.

Before my Ph.D., I completed my undergraduate studies at the University of Rochester, where I double majored in Computer Science and Mathematics. There, I had the opportunity to work with Prof. Sreepathi Pai and Dr. Chandrakana Nandi on differential testing to detect bugs in 3D printing software. I also explored more theoretical topics, such as proving mathematical properties of cache systems and studying voting theory.

Please refer to my CV for more details.

OOPSLA 2025

Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
Yumeng He, Chandrakana Nandi, Sreepathi Pai
[doi] [artifact] [talk] [code]

*: Equal Contribution

A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT"
Yumeng He*, Matan Kotler-Berkowitz*, Harry Liuson*, Zeyu Nie*
[arxiv]

Evaluating the Claims of "SAT Requires Exhaustive Search"
Michael C. Chavrimootoo*, Yumeng He*, Matan Kotler-Berkowitz*, Harry Liuson*, Zeyu Nie*
[arxiv]