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. OOPSLA 2025 (Extended Version).
Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, Isil Dillig. Homomorphism Calculus for User-defined Aggregations. OOPSLA 2025 (Extended Version).
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 (Extended Version).
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)