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
1812020
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
272021
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
222020
On Lower Bounds of Approximating Parameterized -Clique
B Lin, X Ren, Y Sun, X Wang
arXiv preprint arXiv:2111.14033, 2021
112021
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
92023
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
62023
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Y Sun, H Fu, K Chatterjee, AK Goharshady
arXiv preprint arXiv:2305.15104, 2023
52023
Synthesizing Efficient Memoization Algorithms
Y Sun, X Peng, Y Xiong
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 89-115, 2023
42023
Parameterized Inapproximability Hypothesis under ETH
V Guruswami, B Lin, X Ren, Y Sun, K Wu
arXiv preprint arXiv:2311.16587, 2023
32023
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
12024
ASAC: A Benchmark for Algorithm Synthesis
Z Zhang, Y Sun, R Ji, S Li, X Peng, Z Huang, S Li, T Zhu, Y Xiong
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–11