文件名称：blaze:重新实现最小版本的STOKE
文件大小：18KB
文件格式：ZIP
更新时间：2024-03-30 09:26:29
JupyterNotebook
火焰 在Haskell中重新实现STOKE。 STOKE是一种超级优化程序，它通过使用MCMC方法探索大型搜索空间来找到执行特定任务的最佳指令序列。 高级算法 我们要做的是“ MCMC对可能的程序空间进行采样，并根据程序的等效性和性能使用评分功能”。 细分而言，步骤为： 从原始程序p 稍微扰动以获得程序q （添加一条指令，删除一些指令，更改一条指令） 通过发送p和q随机输入，并检查它们回答相同频率的频率，为q分配得分。 如果他们对所有随机输入的回答都相同，则很好地询问SMT求解器p和q是否相等。 如果她心情愉快并且宇宙很友善，答案是肯定的。 现在，根据以下因素对q评分： p和q语义上相等吗？ 关于多少个输入p和q具有相同的答案？ q比p快吗？ 现在，根据q的得分，选择q作为新的p或停留在p 。 重复约10,000次。 订购最好的q s。 结果是非常令人印象深刻的
【文件预览】：
blaze-master
----stack.yaml(2KB)
----Dockerfile(1KB)
----blaze.cabal(2KB)
----LICENSE(1KB)
----Setup.hs(46B)
----.gitignore(276B)
----CHANGELOG.md(112B)
----README.md(2KB)
----Main.hs(6KB)
----notebooks()
--------tutorial.ipynb(31KB)
--------.gitignore(19B)
----cabal.project(13B)