基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 报告日期：2022.11.25 复旦大学 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 Rust语言 ❑ 系统级安全编程语言 ▪ 内存安全 ▪ 并发安全 ▪ 效率 2006年 2011年 struct List{ val: u64, prev: Option>>, next: Option>>, } 方法一：智能指针 方法二：允许使用裸指针 Unsafe Rust ❑ Unsafe Rust功能： ▪ 解引用裸指针 ▪ 调用unsafe函数 ▪ 调用FFI（其它语言接口） ❑ 使用条件：必须标注unsafe Auto Memory Reclaim问题：示例2 创建未初始化的变量foo Panic将导致访问未初始化内存 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 研究挑战和思路 ❑ 研究挑战：指针分析是NP-hard问题 ▪ 准确性：应采用路径敏感的指针分析算法，避免过多误报 ▪ 分析效率：应基于Rust MIR的特点对算法进行优化，使其可行 ❑

Go语⾔言实现中的⼏几个研究课题 ⽑毛康⼒力 @舜⻜飞科技 关于我 • Go发布1.0时开始关注 • 最早接触是在2012年 • 喜欢研究底层实现 • http://www.zenlife.tk/ 有同事称我⼤大神或⼤大师(湿?) 其实，我只是⼀一个研究僧 ⼤大纲 • 并发 • 接⼝口 • 垃圾回收 • 调度 • 死锁检测 并发 • goroutine提供轻量的并发机制 每个goroutine必须有独⽴立的栈 • 如何让goroutine⾮非常轻量呢 goroutine • 分段栈 -> 连续栈 • 有没有代价？ • 已经解决的问题 or 有没有更好的⽅方法? channel • 如果⼀一个goroutine执⾏行channel操作阻塞，它会被挂 在这个channel的结构上⾯面，以便唤醒。 select • select如何实现？ • select其实是⼀一个整体 共享⼀一个全局锁？ select • 研究课题：能否实现lock-free channels？ • 使⽤用前获取select中的所有channel的锁 • 按channel结构体的地址顺序加锁 ⼤大纲 • 并发 • 接⼝口 • 垃圾回收 • 调度 • 死锁检测 接⼝口 • 接⼝口定义了⼀一系列⽅方法 • 如果类型实现了这些⽅方法，它就实现了这个接⼝口 • 接⼝口不依赖实现

一站式机器学习平台建设实践 77 美团搜索中 NER 技术的探索与实践 92 KDD Cup 2020 Debiasing 比赛冠军技术方案及在美团的实践 113 ICRA 2020 轨迹预测竞赛冠军的方法总结 132 KDD Cup 2020 AutoGraph 比赛冠军技术方案及在美团的实践 141 KDD Cup 2020 多模态召回比赛亚军方案与搜索业务应用 161 CIKM 2020 225 美团内部讲座｜清华大学莫一林：信息物理系统中的安全控制算法 235 KDD Cup 2020 多模态召回比赛季军方案与搜索业务应用 252 对话任务中的“语言 - 视觉”信息融合研究 267 ICDM 论文：探索跨会话信息感知的推荐模型 278 自然场景人脸检测技术实践 289 技术解析 | 横纵一体的无人车控制方案 304 目录 智能搜索模型预估框架 Augur 特征工程 在搜索排序系统中，特征工程的输入特征维度高但稀疏性很强，而准确的交叉特征对 模型的效果又至关重要。所以寻找一种高效的特征提取方式就变得十分重要，我们借 鉴 AutoInt[3] 的方法，采用 Transformer Layer 进行特征的高阶组合。 模型结构 我们的模型结构参考 AutoInt[3] 结构，但在实践中，根据美团搜索的数据特点，我们 对模型结构做了一些调整，如下图

美团搜索粗排优化的探索与实践 116 美团外卖推荐情境化智能流量分发的实践与探索 129 大众点评搜索相关性技术探索与实践 152 美团 SemEval2022 结构化情感分析跨语言赛道冠军方法总结 174 检索式对话系统在美团客服场景的探索与实践 188 端智能在大众点评搜索重排序的应用实践 216 对话摘要技术在美团的探索（SIGIR） 238 异构广告混排在美团到店业务的探索与实践 339 目录 iv > 2022年美团技术年货 美团获得小样本学习榜单 FewCLUE 第一！ Prompt Learning+ 自训练实战 353 DSTC10 开放领域对话评估比赛冠军方法总结 368 KDD 2022 | 美团技术团队精选论文解读 382 ACM SIGIR 2022 | 美团技术团队精选论文解读 391 CVPR 2022 | 美团技术团队精选论文解读 YOLO 检测框架，其中以 YOLOv5[1]、YOLOX[2] 和 PP-YOLOE[3] 最具代表性，但在实际使用中，我们发现上述框架在速度和精度方面 仍有很大的提升的空间。基于此，我们通过研究并借鉴了业界已有的先进技术，开发 了一套新的目标检测框架——YOLOv6。该框架支持模型训练、推理及多平台部署 等全链条的工业应用需求，并在网络结构、训练策略等算法层面进行了多项改进和优 化，在

量子计算及其潜在应用 吕定顺 华为中央研究院高级研究员 吕定顺 量子算法和软件研究 • 吕定顺博士，目前就职于华为2012实验室中 央研究院，毕业于清华大学交叉信息研究院 量子物理学专业，至今在量子计算、量子模 拟领域等已经有7年研究经验。博士期间，曾 在 Nature Physics，PRX，Nature Communication，PRL，PRA 等国际知名期刊 发表论文7篇，H index为7，论文累计引用 量子化学模拟：量子计算机的杀手级应用 量子化学是应用量子力学原理 来研究化学问题的一门学科， 包括分子结构、分子与分子之 间的相互作用、碰撞和化学反 应等问题。 1.经典化学计算中最重要的问题的是求解基态能量。传 统化学计算方法如CCSD,FCI等只能计算较小分子体 系。 2.目前流行的密度泛函理论(DFT)等方法，在超算上可 以计算10000个电子(耗时长)，但存在着“大而不 新药物 新能源 预测化学反应 1.分子系统本质是量子系统，使用量子计算 机模拟量子系统更加自然高效 2. 基于量子计算机的量子叠加、量子纠缠等 特性可以加速求解分子基态问题，化解FCI 等经典方法中的“指数墙”问题。 3. 可以预见，在50-100量子比特内，量子 计算机将率先在量子化学模拟中展现量子 优势。 ?? = ?? 华为HiQ Fermion: 一站式量子化学模拟计算解决方案

低了芯片产业门槛， 人才培养便捷，研发周期缩短，这些都使其后续发展具备强大生命力。 为了更好地顺应时代发展需求，我们希望更多的人了解并加入 RISC-V 开源队伍。 为此, 中国科学院计算技术研究所组织翻译了 David Patterson 和 Andrew Waterman 的这本著作。他们两人都是 RISC-V 架构的设计者，为本书注入了他们创作 RISC-V 的灵感和热情。本书是推广 了 RISC-V 的模块化、扩展性和先进性。 这本书非常适合刚开始学习 RISC-V 架构的学生，是一本非常浅显易懂的教材， 它可以作为计算机体系结构的学习用书之一。在《计算机体系结构：量化研究方法》 中，我们已经可以学习到 RISC-V 的流水线、微架构等知识，但本书对 RISC-V 架构 进行了全面的描述，更加完整地解释了指令架构、复杂功能和二进制编码等关键技术 内容，是 RISC-V 基础上，会有 更多的 RISC-V 的相关书籍、教程出现，为 RISC-V 最终走向生态繁荣作出贡献。我 相信，这是一本值得所有 RISC-V 人拥有的书籍。 同时也非常感谢中国科学院计算技术研究所包云岗老师带领的团队在 RISC-V 技 术创新和普及方面的所作出的贡献。正是有了这群坚信 RISC-V 技术前景的年轻人， 以及他们 “因为相信，所以看见” 的付出，才使得更多的人掌握 RISC-V

engineer，Google 的职位）。他还担任 了 RISC-V 基金会董事会副主席。过去，他曾被任命为伯克利计算机科学部（Computer Science Division）主席，并当选为计算机研究协会（Computing Research Association） 主席和计算机协会（ACM，Association for Computing Machinery）主席。在 20 世纪 80 年 Andrew Waterman 都是 RISC- V 四位架构师中的一员。除了 RISC 以外，他最著名的研究项目有廉价磁盘冗余阵列 （RAID，Redundant Arrays of Inexpensive Disks）和工作站网络（NOW，Networks of Workstations）。这项研究让他发表了许多论文，出版了 7 本书，获得了超过 35 个荣 誉，包括当选国家工程院和国家科学院院士，名列硅谷工程师名人堂，还成为了计算 誉，包括当选国家工程院和国家科学院院士，名列硅谷工程师名人堂，还成为了计算 机历史博物馆、ACM、IEEE 和两个 AAAS 组织的研究员。他的教学奖项包括杰出教 学奖（加州大学伯克利分校），Karstrom 杰出教育家奖（ACM），Mulligan 教育奖章 （IEEE）和本科教学奖（IEEE）。他还因为一本计算机体系结构方面的书和一本关于 软件工程的书被文本和学术作家协会（Text and Academic Authors Association）授予计

值得再次强调的是：它是一款免费工具。免费！免费！ ·安装方法 上面已经说过，Bito AI 适用于 AppCode、GoLand、IntelliJ、PyCharm、PhpStorm、 Rider、RubyMine 和 WebStorm，具有很好的兼容性。所有，它能满足绝大部分开发人员 的平台需求。 以 IntelliJ 为例，简要说明安装方法。 点击 file>settings>plugins，搜索“Bito” s，搜索“Bito”,安装即可。十分简单、方便，不是？！ ·使用方法 Bito 支持代码解释、生成注释、性能检查、安全检查、风格检查、可读性提升、单 元测试用例生成，以及自定义 prompt 等功能，如下图所示。 10 《51 测试天地》七十四 www.51testing.com 如何使用呢？ 1) 以“代码解释”为例 打开 IntelliJ 右侧工具栏，选择 Bito。然后选中代码，点击 上海 18 《51 测试天地》七十四 www.51testing.com - key: 331eab8f3481f37868378fcdc76cb7cd city: 北京 小编通过上述的方法，继续读取 yaml 文件，看看数据存在同一目录级别下，而且返 回的格式为字典，方便我们进行提取。 如果想要通过 yaml 的形式进行参数化，这里还需要用到 pytest 下的参数化模块 parametrize

票 的 查 询 接 口 ， 可 通 过v2.7.0控 制 台 的queryVotesOfThreshold和queryVotesOfMember使用 • 支持取消事件订阅 • 添加批量返回回执的方法getBatchReceiptsByBlockNumberAndRange和getBatchReceiptsByBlockHashAndRange • 添加getNodeInfo接口，返回节点订阅的topics信息 修复MacOS系统下CachedStorage清理缓存导致节点宕机的问题 • 修复MySQL存储模式下，CNS合约名过长导致区块提交异常的问题 兼容性 向前兼容，旧版本可以直接替换程序升级 兼容模式回滚至v2.6.x方法 当节点采用兼容模式从v2.6.x升级至v2.7.0后，可直接通过将节点二进制替换回v2.6.x完成回滚。 2.2.6 v2.6.0 标签：v2.6.0 版本特性 v2.5.x升级到v2.6 用户自己生成的错误证书导致coredump问题 • 在Solidity中使用汇编调用以太坊预编译合约0x1-0x9，对错误输入没有返回0的问题 兼容性 向前兼容，旧版本可以直接替换程序升级 兼容模式回滚至v2.5.x方法 当节点采用兼容模式从v2.5.x升级至v2.6.0后，可直接通过将节点二进制替换回v2.5.x完成回滚。 2.2.7 v2.5.0 标签：v2.5.0 版本特性 v2.4.x升级到v2.5