【文件属性】：
文件名称：blaze:重新实现最小版本的STOKE
文件大小：18KB
文件格式：ZIP
更新时间：2021-03-10 15:39:49
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)