Personal Homepage of Ruijie Fang

Mailing Address

Department of Computer Science
2317 Speedway, Stop D9500
University of Texas at Austin
Austin, TX 78712


rjf |at|


I am a PhD student at University of Texas at Austin co-advised by Ken McMillan and Isil Dillig. I work on formal methods and programming languages. Earlier, I received my undergraduate degree in computer science from Princeton University (June 2023), working with Zak Kincaid and Aarti Gupta. In summer 2022, I interned at the Automated Reasoning in Identity team at Amazon Web Services, where I worked on a variety of projects including property-based testing, fuzzing, and a project called typecart.


  • Ruijie Fang. Software Model Checking with Path and Procedure Summaries. Undergraduate Thesis, Princeton University, 2023. Advisor: Zachary Kincaid [PUL DataSpace]
  • Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta. CaT: A Solver-Aided Compiler for Packet Processing Pipelines. ASPLOS 2023. [arXiv preprint, artifact]
  • Presentations

  • Improving Hot/cold splitting in LLVM. LLVM-CGO Workshop 2021. (Joint work with A. Kumar and R. Rocha)

  • Copyright © Ruijie Fang.