Ruijie Fang

Personal Homepage

Mailing Address

c/o Ruijie Fang
3579 Frist Center
Princeton University
Princeton, NJ 08544


rjf |at|




An anagram of my name.

I am an undergraduate in the computer science department at Princeton University. I work on formal methods and programming languages, mentored by Aarti Gupta and Zak Kincaid. In summer 2022, I interned at the Automated Reasoning in Identity team at AWS, where I worked on a variety of projects including property-based testing, fuzzing, and a project called typecart. For people with name pronounciation difficulties, my name rhymes with ray-jay. My pronouns are he/him.


  • 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)


  • I'm a student volunteer at POPL 2023 from Jan 18 to Jan 21.
  • For AY 2022-23, I'm serving as the vice chair of Princeton ACM student chapter.
  • Jan-May 2022: Grader/Lab TA for Prof. Zak Kincaid, COS 320: Compiling Techniques
  • November 2021: Problem setter, Princeton COSCON.
  • May 2021: Participant, Oregon Programming Languages Summer School, 2021.
  • Jan-May 2021: TA for Prof. Aarti Gupta, COS IW05: Programs Generating Programs
  • Jan-May 2021: Grader for Prof. Robert Tarjan, COS 423 Theory of Algorithms

  • Copyright © Ruijie Fang.