Yican Sun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus. | Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett |
| 2025 | STOC | Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH. | Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu |
| 2024 | FM | Proving Functional Program Equivalence via Directed Lemma Synthesis. | Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong |
| 2024 | STOC | Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis. | Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu |
| 2023 | CAV | Automated Tail Bound Analysis for Probabilistic Recurrence Relations. | Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2023 | FOCS | Improved Hardness of Approximating k-Clique under ETH. | Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang |
| 2023 | SODA | Constant Approximating Parameterized | Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang |
| 2022 | ICALP | On Lower Bounds of Approximating Parameterized k-Clique. | Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang |
| 2021 | PLDI | Quantitative analysis of assertion violations in probabilistic programs. | Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2020 | AAAI | TreeGen: A Tree-Based Transformer Architecture for Code Generation. | Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang |