Homepage of Ruijie Fang



Mailing Address

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

Email

rjf |at| abstractpredicates dot org
ruijief |at| cs dot utexas dot edu

About

I am a 2nd-year 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.

Papers

  • Ruijie Fang, Zachary Kincaid, Thomas Reps. Software Model Checking via Summary-Guided Search. To Appear in OOPSLA 2025.
  • Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, Isil Dillig. Homomorphism Calculus for User-defined Aggregations. To Appear in OOPSLA 2025.
  • Aleks Chakarov et. al. [n-th author] Formally Verified Cloud-scale Authorization. ICSE 2025.
  • Yang He, Ruijie Fang, Yuepeng Wang, Isil Dillig. Graphiti: Bridging Graph and Relational Queries. PLDI 2025.
  • 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.
  • Workshop Presentations

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

  • Copyright © Ruijie Fang.