2020年11月，程序设计语言领域顶级会议、面向对象程序设计语言大会OOPSLA'20在线召开。程序设计语言研究室在该会议上发表研究论文Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example。尽管目前样例编程（Programming by Example）技术已经被应用到了众多领域，在样例编程求解器的求解效率和实际的需求之间仍然存在不小的距离。为了进一步加速样例编程的求解过程，本文结合了结构概率与动态规划两大技术，提出了求解框架 MaxFlash。实验表明，相比于已有的求解器，MaxFlash在244个实际问题中达到了4.107倍至2080倍的平均加速比。