Computer Science · University of Maryland
Hello! I’m Jiahao, a computer science undergraduate at the University of Maryland working on probabilistic program analysis and compiler validation, with interests in formal methods and ML systems.
Research projects
Research Experience
PSoufflé: Probabilistic Logic Inference for Program Analysis
Worked with Prof. Jingbo Wang at Purdue University on PSoufflé, a Soufflé-based system for scalable exact probabilistic inference in program analysis. The PSoufflé organization hosts the project.
Selected work
Publications
FMCAD 2026 Conference paper
PSOUFFLÉ: Scaling Exact Probabilistic Logic Inference for Program Analysis
Formal Methods in Computer-Aided Design (FMCAD), 2026
Under review CPP 2027
End-to-End Verified Polyhedral Compilation
∗ Equal contribution.
Academic community
Service
Artifact Evaluation Committee Member, TACAS 2027
Tools and Algorithms for the Construction and Analysis of Systems
Topics I care about
Research Interests
- ML Systems and ML Compilers
- Compiler Optimization and Program Analysis
- Formal Methods and Verification