12 2022 档案

摘要:Abstract 背景: 假设: 搜索经常会经历一系列plateus平台期 合成时间的分布经常是heavy-tailed(越在后期,进展越慢) 方法 提出了一种能加快合成速度的算法 效果 能加快一个数量级 实验: 从生产代码中提取了新benchmark 1. Intro Program synthe 阅读全文
posted @ 2022-12-23 04:52 雪溯 阅读(49) 评论(0) 推荐(0) 编辑
摘要:Abstract 背景:快照可能是在含有bug的指令之后很久才发生的 本文: 任务:在end-host monitor标记的执行上执行root cause analysis,以提供更加简洁的报告 方法:testing "what if" questions来检测脆弱状态,定位错误原因时找到额外的可执 阅读全文
posted @ 2022-12-08 22:01 雪溯 阅读(22) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示