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
Proving Functional Program Equivalence via Directed Lemma Synthesis
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
Cite
×