Yican Sun

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 22

Top Topics

Randomly Generated Problems

Quantitative Analysis

Competitive Ratio

Top Venues

Proc. ACM Program. Lang.

Electron. Colloquium Comput. Complex.

Publications

Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong
ASAC: A Benchmark for Algorithm Synthesis. SIGSOFT FSE Companion (2024)
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis. STOC (2024)
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
Proving Functional Program Equivalence via Directed Lemma Synthesis. CoRR (2024)
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH. CoRR (2024)
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH. Electron. Colloquium Comput. Complex. (2024)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CAV (3) (2023)
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
-SETCOVER is W[2]-hard. SODA (2023)
Yican Sun, Xuanyu Peng, Yingfei Xiong
Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
Improved Hardness of Approximating k-Clique under ETH. FOCS (2023)
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
Parameterized Inapproximability Hypothesis under ETH. Electron. Colloquium Comput. Complex. (2023)
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
Improved Hardness of Approximating k-Clique under ETH. CoRR (2023)
Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CoRR (2023)
Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
Parameterized Inapproximability Hypothesis under ETH. CoRR (2023)
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
Constant Approximating Parameterized k-SetCover is W[2]-hard. CoRR (2022)
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
On Lower Bounds of Approximating Parameterized k-Clique. ICALP (2022)
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Quantitative analysis of assertion violations in probabilistic programs. PLDI (2021)
Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang
On Lower Bounds of Approximating Parameterized k-Clique. CoRR (2021)
Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Quantitative Analysis of Assertion Violations in Probabilistic Programs. CoRR (2020)
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI (2020)
Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. CoRR (2020)
Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
TreeGen: A Tree-Based Transformer Architecture for Code Generation. CoRR (2019)