Yican Sun

29 papers A* 7Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
TACAS (2)
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2025 A* conf
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH.
STOC
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2025 J jnl
GramTrans: A Better Code Representation Approach in Code Generation.
CoRR
Zhao Zhang, Qingyuan Liang, Zeyu Sun, Yizhou Chen, Guoqing Wang, Yican Sun, Lu Zhang, Ge Li, Yingfei Xiong
2025 J jnl
Parameterized Inapproximability Hypothesis under ETH.
J. ACM
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2025 J jnl
Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers.
CoRR
Jian Fang, Yican Sun, Yingfei Xiong
2025 J jnl
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
CoRR
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2024 — conf
ASAC: A Benchmark for Algorithm Synthesis.
SIGSOFT FSE Companion
Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong
2024 J jnl
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH.
CoRR
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2024 J jnl
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH.
Electron. Colloquium Comput. Complex.
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2024 A* conf
Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis.
STOC
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2024 — conf
Proving Functional Program Equivalence via Directed Lemma Synthesis.
FM (1)
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024 J jnl
Proving Functional Program Equivalence via Directed Lemma Synthesis.
CoRR
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2023 — conf
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.
CAV (3)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023 J jnl
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.
CoRR
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2023 A* conf
Constant Approximating Parameterized
SODA
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
2023 A* conf
Improved Hardness of Approximating k-Clique under ETH.
FOCS
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
2023 J jnl
Improved Hardness of Approximating k-Clique under ETH.
CoRR
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
2023 J jnl
Parameterized Inapproximability Hypothesis under ETH.
CoRR
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2023 J jnl
Parameterized Inapproximability Hypothesis under ETH.
Electron. Colloquium Comput. Complex.
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
2023 J jnl
Synthesizing Efficient Memoization Algorithms.
Proc. ACM Program. Lang.
Yican Sun, Xuanyu Peng, Yingfei Xiong
2022 J jnl
Constant Approximating Parameterized k-SetCover is W[2]-hard.
CoRR
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
2022 A* conf
On Lower Bounds of Approximating Parameterized k-Clique.
ICALP
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
2021 J jnl
On Lower Bounds of Approximating Parameterized k-Clique.
CoRR
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
2021 A* conf
Quantitative analysis of assertion violations in probabilistic programs.
PLDI
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
2020 J jnl
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.
CoRR
Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020 J jnl
Guiding dynamic programing via structural probability for accelerating programming by example.
Proc. ACM Program. Lang.
Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
2020 J jnl
Quantitative Analysis of Assertion Violations in Probabilistic Programs.
CoRR
Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
2020 A* conf
TreeGen: A Tree-Based Transformer Architecture for Code Generation.
AAAI
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
2019 J jnl
TreeGen: A Tree-Based Transformer Architecture for Code Generation.
CoRR
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang