TreeGen: A Tree-Based Transformer Architecture for Code Generation. - Zeyu Sun 004; Qihao Zhu; Yingfei Xiong 001; Yican Sun; Lili Mou; Lu Zhang 023 (AAAI, 2020)

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. - Jinyi Wang; Yican Sun; Hongfei Fu 001; Mingzhang Huang; Amir Kafshdar Goharshady; Krishnendu Chatterjee (CoRR, 2020)

Guiding dynamic programing via structural probability for accelerating programming by example. - Ruyi Ji; Yican Sun; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2020)

Quantitative analysis of assertion violations in probabilistic programs. - Jinyi Wang; Yican Sun; Hongfei Fu 001; Krishnendu Chatterjee; Amir Kafshdar Goharshady (PLDI, 2021)

On Lower Bounds of Approximating Parameterized k-Clique. - Bingkai Lin; Xuandi Ren; Yican Sun; Xiuhan Wang (ICALP, 2022)

Constant Approximating Parameterized k-SetCover is W[2]-hard. - Bingkai Lin; Xuandi Ren; Yican Sun; Xiuhan Wang (CoRR, 2022)

Automated Tail Bound Analysis for Probabilistic Recurrence Relations. - Yican Sun; Hongfei Fu 001; Krishnendu Chatterjee; Amir Kafshdar Goharshady (CAV (3), 2023)

Improved Hardness of Approximating k-Clique under ETH. - Bingkai Lin; Xuandi Ren; Yican Sun; Xiuhan Wang (FOCS, 2023)

Constant Approximating Parameterized k-SETCOVER is W[2]-hard. - Bingkai Lin; Xuandi Ren; Yican Sun; Xiuhan Wang (SODA, 2023)

Parameterized Inapproximability Hypothesis under ETH. - Venkatesan Guruswami; Bingkai Lin; Xuandi Ren; Yican Sun; Kewen Wu 001 (Electron. Colloquium Comput. Complex., 2023)

Synthesizing Efficient Memoization Algorithms. - Yican Sun; Xuanyu Peng; Yingfei Xiong 001 (Proc. ACM Program. Lang., 2023)

Proving Functional Program Equivalence via Directed Lemma Synthesis. - Yican Sun; Ruyi Ji; Jian Fang; Xuanlin Jiang; Mingshuai Chen; Yingfei Xiong 001 (FM (1), 2024)

ASAC: A Benchmark for Algorithm Synthesis. - Zhao Zhang; Yican Sun; Ruyi Ji; Siyuan Li; Xuanyu Peng; Zhechong Huang; Sizhe Li; Tianran Zhu; Yingfei Xiong 001 (SIGSOFT FSE Companion, 2024)

Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis. - Venkatesan Guruswami; Bingkai Lin; Xuandi Ren; Yican Sun; Kewen Wu 001 (STOC, 2024)

Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH. - Venkatesan Guruswami; Bingkai Lin; Xuandi Ren; Yican Sun; Kewen Wu 001 (Electron. Colloquium Comput. Complex., 2024)