这门课是CMU CS major本科生五选一的system课的其中一门(其余四门是15410, 15418, 15440, 15411)。...
这门课是CMU CS major本科生五选一的system课的其中一门(其余四门是15410, 15418, 15440, 15411)。...
4、Static analysis。如果结合了15411 compiler这门课的内容一起做，我觉得效果会翻倍。5、Dynamic analys...
3. Fuzzing, 是一个好的方法,特别是AFL出来之后,引发了程序模糊测试方面的地震,结合ML/DL 是现在流行的趋势 4. Static analysis, 结合 compiler- 15411 一起搞,效果应该不一样。 我发誓我一定要啃下compiler这个硬骨头 5. Dynamic analysis 特别是symbolic execution, 处理path explosion已经是一个NP问题了,哈哈想...
About CMU 15411 Computer Networks Projects Resources Readme Activity Stars 29 stars Watchers 2 watching Forks 13 forks Report repository Releases No releases published Packages No packages published Languages C 87.9% Python 5.7% Perl 4.9% Other 1.5% ...
4、Static analysis。如果结合了15411 compiler这门课的内容一起做，我觉得效果会翻倍。5、Dynamic ...
System里相对简单的可能是15440 Distributed Systems和15445 Database Systems,但是system是不可能简单的;至于15411 Compiler和15410 OS要做好每周25+小时的准备。AI里面不好说,15281应该不算很难,但据说教的也就那样;10315 ML教得很差,而且说实话这些20年前的机器学习在这个年代意义很有限;16385 CV还行,不过比较偏...
4、Static analysis。如果结合了15411 compiler这门课的内容一起做,我觉得效果会翻倍。 5、Dynamic analysis。这个方法,特别是在symbolic execution上,能处理好path explosion就很NP了,如果想写自己的SMT solver,那就上15414吧! 6、Model checking。 第四章节Software Security Architecture主要介绍了两部分内容,第一部...
10-708Graphical Models东西有点太多太杂了，而且规律性不太强。当然我上的时候不是邢教授亲自教，所以...
如果结合了15411 compiler这门课的内容一起做,我觉得效果会翻倍。 5、Dynamic analysis。这个方法,特别是在symbolic execution上,能处理好path explosion就很NP了,如果想写自己的SMT solver,那就上15414吧! 6、Model checking。 第四章节Software Security Architecture主要介绍了两部分内容,第一部分是如何实现基本的s...