Jiahao Xia

Hello! I’m Jiahao Xia, a junior at the University of Maryland.

Research Experience

May 2025 – Present
Focused on Scaling Probabilistic Logic Reasoning. Working with Souffle and Problog.

Publications

• Xuyang Li^*, Jiahao Xia^*, Ahmed Adnan, and Jingbo Wang.

  PSOUFFLÉ: Scaling Exact Probabilistic Logic Inference for Program Analysis.

  Formal Methods in Computer-Aided Design (FMCAD), 2026.
  [PDF] [Artifact]

^* Equal contribution.

Research Interests

• ML Systems and ML Compilers
• Compiler Optimization and Program Analysis
• Formal Methods and Verification