此本书大一时就被宋老师隆重推荐，当时还有decision procedure、software foundation和熊英飞老师的程序分析部分。
PLDI22 Attendency
讲的东西比较散。
Continue reading "PLDI22 Attendency"Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction @PLDI'21
Debugging for Execution Reconstruction(ER), is literally a balance of static and dynamic analysis to reproduce failures. For the result of how to get the site for