火焰 在Haskell中重新实现STOKE。 STOKE是一种超级优化程序，它通过使用MCMC方法探索大型搜索空间来找到执行特定任务的最佳指令序列。 高级算法 我们要做的是“ MCMC对可能的程序空间进行采样，并根据程序的等效性和性能使用评分功能”。 细分而言，步骤为： 从原始程序p 稍微扰动以获得程序q （添加一条指令，删除一些指令，更改一条指令） 通过发送p和q随机输入，并检查它们回答相同频率的频率，为q分配得分。 如果他们对所有随机输入的回答都相同，则很好地询问SMT求解器p和