Concepedia

Ruyi Ji

RJ

5

Publications

130

Citations

5

H-Index

2020

Active since

Affiliations

Peking University(Current)

Ruyi Ji is an author at Peking University specializing in formal methods, program analysis, and formal verification.

ORCID

Top concepts

Publications per year

2020–2021

5

Publications

5

Beyond Tests

Xiang Gao, Bo Wang, Gregory J. Duck et al. · ACM Transactions on Software Engineering and Methodology · 2021 · 54 citations · Full text

, , +20

Question selection for interactive program synthesis

Ruyi Ji, Jingjing Liang, Yingfei Xiong et al. · 2020 · 32 citations

, , +19

Interactive Patch Filtering as Debugging Aid

Jingjing Liang, Ruyi Ji, Jiajun Jiang et al. · 2021 · 18 citations

, , +18

Guiding dynamic programing via structural probability for accelerating programming by example

Ruyi Ji, Yican Sun, Yingfei Xiong et al. · Proceedings of the ACM on Programming Languages · 2020 · 13 citations · Full text

Generalizable synthesis through unification

Ruyi Ji, Jingtao Xia, Yingfei Xiong et al. · Proceedings of the ACM on Programming Languages · 2021 · 13 citations · Full text

, , +17

Rows per page

1–5 of 5