Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ruijie Fang
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2025 profile
PLDI 2025 profile
Registered user since Fri 28 Mar 2025
Name:
Ruijie Fang
Country:
United States
Affiliation:
University of Texas at Austin
Contributions
2025
SPLASH
Author of Homomorphism Calculus for User-Defined Aggregations within the OOPSLA-track
Author of Software Model Checking via Summary-Guided Search within the OOPSLA-track
PLDI
Author of Graphiti: Bridging Graph and Relational Database Queries within the PLDI Research Papers-track
ICSE
Author of Formally Verified Cloud-Scale Authorization within the Research Track-track
2023
ASPLOS -
External
Author of CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
Share
x
Tue 28 Oct 04:35
