确定性全静态二进制翻译：无需启发式规则的新突破
计算机科学领域有一类问题，看起来不起眼，但一旦解决了就能撬动一个很大的产业。二进制翻译就是这样一个问题。简单解释一下二进制翻译是干什么的：它能把一个CPU架构上编译好的程序，自动转换成另一个CPU架构上能跑的程序。比如说，把一个x86架构的Windows应用转成ARM架构上能跑的应用。是不是听起来很有用？是的，但过去几十年里，这个问题一直没被很好地解决。传统的二进制翻译工具依赖"启发式规则"...
阅读全文 →
科技｜AI｜前言探索｜深度分析