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
PLDI 2020 profile
PLDI 2024 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Fri 3 Apr 2020
Name:
Ruyi Ji
Country:
China
Affiliation:
Peking University
Contributions
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 1 Sep 08:20