1. Preface

   • Tao Xie
   • Shengchao Qin
   • Wenhui Zhang

   Regular Paper 30 November 2021 Pages: 1229 - 1230

2. A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems

   • Jingwen Xu
   • Yanhong Huang
   • Shengchao Qin

   Regular Paper 30 November 2021 Pages: 1231 - 1247

3. MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels

   • Gen Zhang
   • Peng-Fei Wang
   • Kai Lu

   Regular Paper 30 November 2021 Pages: 1248 - 1268

4. Trace Semantics and Algebraic Laws for Total Store Order Memory Model

   • Li-Li Xiao
   • Hui-Biao Zhu
   • Qi-Wen Xu

   Regular Paper 30 November 2021 Pages: 1269 - 1290

5. Symbolic Reasoning About Quantum Circuits in Coq

   • Wen-Jun Shi
   • Qin-Xiang Cao
   • Yuan Feng

   Regular Paper 30 November 2021 Pages: 1291 - 1306

6. HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller

   • Ke Liu
   • Jing-Yi Wang
   • Rui-Long Deng

   Regular Paper 30 November 2021 Pages: 1307 - 1324

7. AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel

   • Ying-Jie Wang
   • Liang-Ze Yin
   • Wei Dong

   Regular Paper 30 November 2021 Pages: 1325 - 1341

8. Verifying Contextual Refinement with Ownership Transfer

   • Zhao-Hui Li
   • Xin-Yu Feng

   Regular Paper 30 November 2021 Pages: 1342 - 1366

9. Verification of Real Time Operating System Exception Management Based on SPARCv8

   • Zhi Ma
   • Lei Qiao
   • Jin-Kun Zhang

   Regular Paper 30 November 2021 Pages: 1367 - 1387

10. Activity Diagram Synthesis Using Labelled Graphs and the Genetic Algorithm

    • Chun-Hui Wang
    • Zhi Jin
    • Wen-Pin Jiao

    Regular Paper 30 November 2021 Pages: 1388 - 1406

11. A Unified Shared-Private Network with Denoising for Dialogue State Tracking

    • Qing-Bin Liu
    • Shi-Zhu He
    • Jun Zhao

    Regular Paper 30 November 2021 Pages: 1407 - 1419

12. Pre-Train and Learn: Preserving Global Information for Graph Neural Networks

    • Dan-Hao Zhu
    • Xin-Yu Dai
    • Jia-Jun Chen

    Regular Paper 30 November 2021 Pages: 1420 - 1430

13. CDM: Content Diffusion Model for Information-Centric Networks

    • Bo Chen
    • Liang Liu
    • Hua-Dong Ma

    Regular Paper 30 November 2021 Pages: 1431 - 1451

14. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY

    News 30 November 2021 Pages: 1452 - 1455

15. 2021 Author Index

    News 30 November 2021 Pages: 1456 - 1460