Yican Sun

According to our database, Yican Sun authored at least 15 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

Electron. Colloquium Comput. Complex., 2024

Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis.

Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 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

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Proving Functional Program Equivalence via Directed Lemma Synthesis.

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Synthesizing Efficient Memoization Algorithms.

Yican Sun, Xuanyu Peng, Yingfei Xiong

Proc. ACM Program. Lang., October, 2023

Parameterized Inapproximability Hypothesis under ETH.

Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu

Electron. Colloquium Comput. Complex., 2023

Constant Approximating Parameterized <i>k</i>-SETCOVER is W[2]-hard.

Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Improved Hardness of Approximating k-Clique under ETH.

Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang

Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023

Automated Tail Bound Analysis for Probabilistic Recurrence Relations.

Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Constant Approximating Parameterized k-SetCover is W[2]-hard.

Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang

CoRR, 2022

On Lower Bounds of Approximating Parameterized k-Clique.

Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

Quantitative analysis of assertion violations in probabilistic programs.

Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Guiding dynamic programing via structural probability for accelerating programming by example.

Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., 2020

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.

Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee

CoRR, 2020

TreeGen: A Tree-Based Transformer Architecture for Code Generation.

Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020