Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yican Sun
conf.researchr.org general profile
ATVA 2025 profile
FSE 2024 profile
PLDI 2021 profile
SPLASH 2020 profile
SPLASH 2023 profile
Registered user since Thu 13 Jul 2023
Name:
Yican Sun
Country:
China
Affiliation:
Peking University
Contributions
2025
ATVA
Committee Member in Artifact Evaluation Committee
2024
ESEC/FSE
Author of ASAC: A Benchmark for Algorithm Synthesis within the Demonstrations-track
2023
SPLASH
Author of Synthesizing Efficient Memoization Algorithms within the OOPSLA-track
2021
PLDI
Author of Quantitative Analysis of Assertion Violations in Probabilistic Programs within the PLDI-track
2020
SPLASH
Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track
Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track
Share
x
Fri 2 May 18:02
