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