摘要：
Abstract 背景：hypervisor(virtual machine monitor, VMM) 保障了不同虚拟机之间的安全隔离(security boundaries) 用户：攻击场景：在云服务上运行自身的VM instances, 提升权限 本文：Nyx 目的：coverage guid 阅读全文
posted @ 2023-10-04 22:57
雪溯
阅读(217)
评论(0)
推荐(0)
摘要：
Title Adaptive restart for stochastic synthesis PLDI 2021 Task Distribute the power between multiple runs in stochastic program synthesis to accelerat 阅读全文
posted @ 2023-09-11 19:19
雪溯
阅读(34)
评论(0)
推荐(0)
摘要：
## Abstract 背景：Compiling DNN models into high-efficiency executables is not easy: the compilation procedure often involves converting high-level model 阅读全文
posted @ 2023-09-08 23:22
雪溯
阅读(24)
评论(0)
推荐(0)
摘要：
## Abstract 背景：深度学习编译器处理的深度学习模型与命令式程序有根本的不同，因为深度学习模型中的程序逻辑是隐式的。（the DL models processed by DL compilers differ fundamentally from imperative programs 阅读全文
posted @ 2023-09-08 04:17
雪溯
阅读(46)
评论(0)
推荐(0)
摘要：
## Abstract 本文：DeepMutation Github: https://github.com/berkuva/mutation-testing-for-DNNs Task: mutation testing framework specialized for DL systems t 阅读全文
posted @ 2023-09-08 04:08
雪溯
阅读(10)
评论(0)
推荐(0)
摘要：
## Abstract 本文： Task: Testing the classification accuracy of a deep learning framework that includes a CNN Method: 1. classifier built with SVM 2. met 阅读全文
posted @ 2023-09-08 03:49
雪溯
阅读(15)
评论(0)
推荐(0)
摘要：
## Abstract 本文： Task: Fuzzing Machine Learning Libraries Method: 1. optimized mutation strategies 2. prioritize the seed 3. optimal mutation strategy 阅读全文
posted @ 2023-09-08 03:17
雪溯
阅读(7)
评论(0)
推荐(0)
摘要：
## Abstract 本文:DeepCover Github: https://github.com/TrustAI/DeepCover Task: propose 4 novel test criteria to test DNNs Method: inspired by MC/DC cover 阅读全文
posted @ 2023-09-08 02:14
雪溯
阅读(17)
评论(0)
推荐(0)
摘要：
## Abstract 本文：SparseProp Github: https://github.com/IST-DASLab/sparseprop Task: a back-propagation algo for sparse training data, a fast vectorized i 阅读全文
posted @ 2023-09-07 23:57
雪溯
阅读(14)
评论(0)
推荐(0)
摘要：
## Abstract 本文： PyTorch Task: detail the implementation and architecture of PyTorch Github: https://github.com/pytorch/pytorch 特点： 1. PyTorch同时关注可用性和速 阅读全文
posted @ 2023-09-07 22:53
雪溯
阅读(63)
评论(0)
推荐(0)
浙公网安备 33010602011771号