About
I am first-year Ph.D. student at The University of Texas at Austin. I am co-advised by Venkat Arun and Işil Dillig. My current interest lies on formal verification and automated synthesis of networked systems.
Previously, I graduated with major of Computer Science, Electrical Engineering, and Mathematics at Johns Hopkins University. I am fortunate to work with Ryan Huang at The University of Michigan - Ann Arbor on improving the reliability of large-scale distributed system.
Publications
- Synthesizing a Provably Performant Joint Controller for Low-Latency Video Streaming, Jia Pan, Anup Agarwal, Işil Dillig, Venkat Arun, Coming soon, 2025.
- Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection, Jia Pan, Haoze Wu, Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang, SOSP, 2024.
- Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States, Haoze Wu, Jia Pan, Peng Huang, NSDI, 2024.
Contact
Email: jia.pan@utexas.edu