Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
Synthesizing Efficient Memoization Algorithms
Yican Sun
,
Xuanyu Peng
,
Yingfei Xiong
October 2023
PDF
Cite
Slides
Type
Conference paper
Publication
Object-Oriented Programming, Systems, Languages, and Applications 2023 (OOPSLA'23, Round 2)
Related
ASAC: A Benchmark for Algorithm Synthesis
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
Cite
×