文章目录[隐藏]
上周、上上上周和上上上上周，我们迎来了组里的讲座，一个是新加坡国立做Software Analysis的Prof Visit。一个是用DTMC来解释音频的项目。The author XIAONING DU is now in Sydney Tech。另一个是在交大读的研究生，NTU 读的两面本和博。 The author Hongxu Chen
我对前者的直观感受就是，可能这个方向的博士不是很难拿吧，但deepstellar当时还是热点，现在有点凉，但证明能干一些事情了，她趁火拿了好几篇adv和benign。我对后者的感受，很强，我到博士不一定有其水平的一半。
RNN to DTMC
就是一坨统计堆出来的可解释性。
进一步抽象
这里用的公式\(\operatorname{Dist}\left(\hat{s}, \hat{s}^{\prime}\right)=\Sigma_{d=1}^{k}\left|I^{d}(\hat{s})-I^{d}\left(\hat{s}^{\prime}\right)\right|\)
最终的结果
最后用统计做了一堆相似性的bound “证明”，就说RNN聚类抽象出来的state 和DTMC 一一对应。想法很新颖，但其实回头想没什么内涵。
MUZZ
这里 Thread-aware 就很厉害。
相当于独自开个领域
可我事后问了他scalable的问题，他的回答：
go channel不行 java lock 有几个坑 lock threading 不能很准 java分析 fuzzing oracle 异常 jlang 方舟编译器。 scala native不靠谱 动态 gc llvm 不会做 jvm 抽象等级 z一致性 印度 chenhao 学术界。llvm uiuc
爷 工业界 fuzzing ok2。他还有几篇
坚定了我去美国找个工位的目标，加油～