摘要：
Abstract Task: 将自然语言转换为SQL query 方法: BERT style pre-training model增强到structual schema representation 实验: XSQL在wikiSQL上获得new state-of-art(???) results 阅读全文
摘要：
Abstract Task: Binary code similarity detection 传统: graph matching algo - 缺点： slow & inaccurate 新法（本文所属）: control-flow graph + （人工）筛选的特征 + GNN-> graph 阅读全文
摘要：
Abstract Learning based clone detection 优点: 某种程度上解决了传统dynamic search approach和static search approach存在的高time overhead的问题 缺点：精度受限，在工业使用中往往需要人工检查TopM se 阅读全文
摘要：
https://rust-lang.github.io/async-book Async Why Async Rust中的简单线程可以实现如下： fn get_two_sites() { // Spawn two threads to do work. let thread_one = thread 阅读全文
摘要：
Abstract Uncontrolled memory consumption可能导致拒绝服务攻击 本文贡献: MemLock 特点: 1. 生成能够占用大量内存的输入 2. 触发不受控制的内存消耗异常 效果: 无需领域知识 实验: 优于AFL, AFLfast, PerfFuzz, FairFu 阅读全文
摘要：
概述 (from w3cschool，会不定期添加新理解) Zookeeper作为Hadoop和Hbase的重要组件，可以为分布式应用程序协调服务，同时还能使用Java和C的接口。 ZooKeeper是一种分布式协调服务，用于管理大型主机。在分布式环境中协调和管理服务是一个复杂的过程。ZooKeep 阅读全文
摘要：
Abstract 目的: 使用Alloy tool set对DBMS做黑盒测试 步骤: 输入: a database schema & an SQL query formulate Alloy models for both inputs Q: 这里的both是什么意思？难道不是只有一个input 阅读全文
摘要：
Abstract 针对Logic bugs，本文提出： Query Partitioning 思路：从给定的原始query开始，构造更多复杂的queries，这些queries合起来的结果集与原来的结果集一致 作者认为由于逻辑复杂了，更有可能找到逻辑bug 提出TLP: Ternary Logic 阅读全文
摘要：
Abstract 复杂的数据库优化往往会导致逻辑bugs 本文提出NoREC（构造不优化的参照引擎）算法 主要方法: 将query返回值与不加优化的dbms返回值之间的差异做对比 困难：DBMS实现方式很多，难以直接获取不加优化的执行结果 Solution: 将原查询重写为一个无法进行优化必须每行查 阅读全文
摘要：
Abstract Background: Functional correctness很重要，但难测，传统人测，工具只测crash bugs 目的: 利用independent view properties，从种子测试中生成大量property-preserving tests，用来确保具体的ap 阅读全文