General CS

1. Database and Distributed System

1. MapReduce, Simplified Data Processing on Large Clusters
2. The Hadoop Distributed File System
3. Spark SQL: Relational Data Processing in Spark
4. Spark: Cluster Computing with Working Sets
5. Dremel: Interactive Analysis of Web-Scale Datasets

2. Compression Schemes

1. Near-optimal Sample Complexity Bounds for Robust Learning of Gaussians Mixtures via Compression Schemes

3. Logical Reasoning

1. SATNet: Bridging Deep Learning and Logical Reasoning using a Differentiable Satisfiability Solver