Yican Sun

According to our database, Yican Sun authored at least 11 papers between 2020 and 2023.

Collaborative distances:

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

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