Archive

Archive for January, 2016

PLDI 2016 Accepted Papers

January 25th, 2016 3 comments

看到上海交大 Yuting Chen 中了一篇, 恭喜恭喜 🙂

Coverage-Directed Differential Testing of JVM Implementations

PLDI’16 论文列表:

http://conf.researchr.org/track/pldi-2016/pldi-2016-papers#event-overview

大体上, 使用学习方法来死磕二进制级别的东西继续流行着, 还有很多坑可以挖; 形式化证明类和类型系统的论文继续占着稳定的比例; 测试/浮点/综合/调度/时序等方向都零零散散会有一两篇. 比较好玩的是 Google 发了一篇 GC 的文章, 介绍了在Chromium中的GC工作方式.

 

技巧: 合并多份Word文档的评注信息

January 13th, 2016 No comments

https://support.office.com/zh-cn/article/f8f07f09-4461-4376-b041-89ad67412cfe

自己摸索容易忽略的是第七步:

7. 在“修订的显示位置”下,单击“原文档”

我的2015年终总结

January 2nd, 2016 No comments

That's it嗯. 就是这样.