Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ruyi Ji
conf.researchr.org general profile
ESEC/FSE 2021 profile
FSE 2024 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2020 profile
PLDI 2024 profile
PLDI 2025 profile
PLDI 2026 profile
PLDI 2027 profile
POPL 2026 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Fri 3 Apr 2020
Name:
Ruyi Ji
Country:
United States
Affiliation:
University of Michigan
Contributions
2027
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2026
PLDI
Author of Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics within the PLDI Research Papers-track
POPL
Author of Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages within the POPL-track
2025
SPLASH
Author of Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis within the OOPSLA-track
EGRAPHS
Author of Equality Saturation Guided by Large Language Models within the EGRAPHS 2025-track
2024
ICFP
Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the Artifact Evaluation-track
Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the ICFP Papers and Events-track
ESEC/FSE
Author of ASAC: A Benchmark for Algorithm Synthesis within the Demonstrations-track
PLDI
Author of Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis within the PLDI Research Papers-track
Author of [TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms within the PLDI Research Papers-track
2023
SPLASH
Author of Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection within the OOPSLA-track
Author of Scaling up Program Synthesis to Efficient Algorithms within the Doctoral Symposium-track
Committee Member in Judges within the Student Research Competition-track
2021
SPLASH
Author of Generalizable Synthesis through Unification within the OOPSLA-track
ESEC/FSE
Author of Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction within the Journal First-track
2020
SPLASH
Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track
Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track
PLDI
Author of Question Selection for Interactive Program Synthesis within the PLDI Research Papers-track
Share
x
Sun 18 Oct 10:32