9 citations · 30 across the 14 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms
Ruyi Ji, Tianran Zhu, Yingfei Xiong +1
Dynamic programming is an important optimization technique, but designing efficient dynamic programming algorithms can be difficult for even professional programmers. Thinning, a t…
cs.PL2022
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ruyi Ji, Yuwei Zhao, Yingfei Xiong +3
Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide developers in designing efficient algorithms, but it can still be difficult to apply algorithmic paradi…