About
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.
Papers
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)