240 发简信
IP属地:北京
  • 忆一篇顶会的发表历程

    最近关于顶会的讨论一波接着一波,作为一个运气较好的人,有幸在17年的SC上发表了分布式文件系统LocoFS的论文。其发表历程亦是坎坷。 我硕士期间主要研究KVM虚拟机和Ope...

  • 学习 TLA+ - 介绍

    介绍 对于一套系统的设计,通常我都是想好了,然后直接捋起袖子写代码了。写完了,在开始加很多 test 来保证它的正确性。但其实,我并不能保证设计是完全正确的。也就是说,我的实...