摘要：
https://github.com/mukobi/Minitorch-Self-Study-Guide-SAIA/blob/main/README.md#what-is-this https://minitorch.github.io/ srush/GPU-Puzzles: Solve puzzl 阅读全文
摘要：
Abstract 去中⼼化⾝份 去中⼼化访问控制 符合政策的去中⼼化计算((i) decentralized identity, (ii) decentralized access control (iii) policy-compliant decentralized computation) 1 阅读全文
摘要：
Paper https://arxiv.org/abs/2309.06615 Abstract 背景： 自动机A被称作查分隐私自动机：当对某些D，对任何隐私预算ε>0,该自动机是Dε-differentially private( A DiP automaton is a parametric au 阅读全文
摘要：
Abstract 阅读全文
摘要：
Abstract 背景：过去的快照是静态的，例如the one placed by a fork server at the program entry point or generalizations for annotated APIs, drivers, networked servers, 阅读全文
摘要：
Abstract 本文： PolyCruise Method: 跨编程语言的holistic dynamic information flow analysis(DIFA) use a light language-specific analysis和language-agnostic online 阅读全文
摘要：
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 阅读全文