Ruijie Fang

rjf |at| abstractpredicates.org

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.

Papers

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)

Activities

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