Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
Synthesizing Efficient Memoization Algorithms
Yican Sun
,
Xuanyu Peng
,
Yingfei Xiong
October 2023
PDF
Type
Conference paper
Publication
Object-Oriented Programming, Systems, Languages, and Applications 2023 (OOPSLA'23, Round 2)
Related
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
TreeGen: A Tree-Based Transformer Architecture for Code Generation
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
Parameterized Inapproximability Hypothesis under ETH
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Cite
×