Follow
Yican Sun
Title
Cited by
Cited by
Year
Treegen: A tree-based transformer architecture for code generation
Z Sun, Q Zhu, Y Xiong, Y Sun, L Mou, L Zhang
Proceedings of the AAAI conference on artificial intelligence 34 (05), 8984-8991, 2020
1642020
Quantitative analysis of assertion violations in probabilistic programs
J Wang, Y Sun, H Fu, K Chatterjee, AK Goharshady
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
222021
Guiding dynamic programing via structural probability for accelerating programming by example
R Ji, Y Sun, Y Xiong, Z Hu
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
212020
On Lower Bounds of Approximating Parameterized -Clique
B Lin, X Ren, Y Sun, X Wang
arXiv preprint arXiv:2111.14033, 2021
92021
Constant Approximating Parameterized k-SETCOVER is W[2]-hard
B Lin, X Ren, Y Sun, X Wang
Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2023
62023
Improved hardness of approximating k-clique under ETH
B Lin, X Ren, Y Sun, X Wang
2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS …, 2023
22023
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Y Sun, H Fu, K Chatterjee, AK Goharshady
arXiv preprint arXiv:2305.15104, 2023
22023
Synthesizing Efficient Memoization Algorithms
Y Sun, X Peng, Y Xiong
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 89-115, 2023
12023
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
V Guruswami, B Lin, X Ren, Y Sun, K Wu
arXiv preprint arXiv:2404.08870, 2024
2024
Parameterized Inapproximability Hypothesis under ETH
V Guruswami, B Lin, X Ren, Y Sun, K Wu
arXiv preprint arXiv:2311.16587, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–10