大过年的,想写点东西
2016 年度报告
明天就能玩「2016年恍如昨日」的梗了!但是仔细想想,我并不是很敢仔细回忆这一年.. 😒
牛津通识读本:政治的历史与边界
出去玩的期间刷了几本书 🙄
Herd7 Code Learning & Extension Implementation Note
MY GOAL: Save generated executions from Herd7 against a specific memory model for further learning.
Lab - Experiencing Memory Models using Herd7
This is the Lab preparation for explaining relaxed memory models using herd7 simulator.
Reading Group - Automatically Comparing Memory Consistency Models
Here is my note for presenting this new paper Automatically Comparing Memory Consistency Models in our weekly paper reading group on 10/21/2016. See our reading group webpage in 16fall.
你一定爱读的极简欧洲史
这本书名好俗的.. 所以它在 kindle app 里的推荐栏展示了好久好久好久,但我都完全没有意愿点开 🙄。还是因为几周前在一位我认同的大V的书单里看到了它,趁这几天又有点拖延的时候翻了翻,果然还不错,对整个脉络的了解增进了很多呀!
Abstract Interpretation, Invariant Generation
This is my note for presentation in CS590 Computer-Aided Program Reasoning seminar on 09/27/2016. We are reading ξ12 of book The Calculus of Computation: Decision Procedures with Applications to Verification to elaborate the intuition and formalization of abstract interpretation, and how that can be used for invariant generation. This seems a relatively easy reading, the chapter is well written.
Please do not hesitate to correct me if I am wrong anywhere. 😁
Reading Group - Learning Syntactic Program Transformations from Examples
Here is my note for presenting this new paper Learning Syntactic Program Transformations from Examples (08/31/2016 version) in our weekly paper reading group on 09/09/2016. See our reading group webpage in 16fall.
牛津通识读本:佛学概论
今(zuó)日晚饭后突然好困好困,靠在椅子上眯了一会儿,醒来之后脑袋昏沉,像是记忆断片了,睡着前的几分钟几乎完全没有印象了..
于是看了本课外书。🙄