Brief introduction

Hello! I’m Jiahao Xia, a rising junior at the University of Maryland. (Updated by 2026/5)

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.

^* Equal contribution.

Research Interests

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