Remote Procedure Call Protocal
RPC, 一种进程间通信方式。它允许程序调用另一个地址空间（通常是共享网络的另一台机器上）的过程或函数，而不用程序员显式编码这个远程调用的细节。即程序员无论是调用本地的还是远程的，本质上编写的调用代码...
Towards Understanding Google Titan
IntroductionRecently, much-privileged software (e.g., BIOS and UEFI firmware) attacks [3, 2] are ide...
Distributed Systems
------------ Distributed Systems -----------...
又是一年“十字路口”时
每到秋天这个季节，有人要入学，有人要入职，有人要升学，有人要求职，正所谓“人生路口”时。1，所谓的了解自己，都是“试错”的副产品。多去试试吧。2，参考他人成功的职业路线，这种“捷径”已经不够了。以前可...
Machine Learning
--------- Machine Learning -----------What is Machine Learning?Two definitions of Machine Learning a...
《深入分析GCC》已发现的小纰漏整理-09/27/2017
深入分析GCC作者：王亚刚 编著出版日期：2017年01月为方便读者在阅读时参考，使内容更准确，经本书作者王老师同意，创建小纰漏整理页，欢迎所有读者，在发现问题时，到页面底部留言自己发现的小纰漏，经与...
Z3 An Efficient Theorem Prover
1, Z3 Homepage Open2, Z3 API Open3, rise4fun Online Z3 Open4, Z3 - a Tutorial Open Microsoft Researc...
OpenTuner
1, OpenTuner- An Extensible Framework for Program Autotuning Open, IEEE, pp. 303-315, 2014.2, A Visu...
GCC Optimization
1, Plotnikov, D., Melnik, D., Vardanyan, M., Buchatskiy, R., & Zhuykov, R., An Automatic tool fo...
The Technique of Dynamic Binary Analysis
1, A similarity of Binaries through re-Optimization Open, PLDI Research Papers, pp. 79-94, 2017.2, S...