• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 32 matches

• 2025
• 
  Peiyu Zou, He Jiang, Xiaochen Li, Zhide Zhou, Shikai Guo, Xu Zhao:
  Logic Synthesis Tools' Testing via Configuration Diversification With Combinatorial Multiarmed Bandit. IEEE Trans. Instrum. Meas. 74: 1-17 (2025)
• 2024
• 
  Zhideng Zhou, Shilong Li, Guowei He, Xiaolei Yang:
  A data-driven distributed force model for wall-modeled large-eddy simulations of rough-wall turbulence. J. Comput. Phys. 514: 113241 (2024)
• 
  Yukai Ping, He Jiang, Xingxiang Liu, Zhenyang Zhao, Zhide Zhou, Xin Chen:
  Latency-Based Inter-Operator Scheduling for CNN Inference Acceleration on GPU. IEEE Trans. Serv. Comput. 17(1): 277-290 (2024)
• 
  Xin Chen, Tian Sun, Dongling Zhuang, Dongjin Yu, He Jiang, Zhide Zhou, Sicheng Li:
  HetFL: Heterogeneous Graph-Based Software Fault Localization. IEEE Trans. Software Eng. 50(11): 2884-2905 (2024)
• 
  He Jiang, Zun Wang, Zhide Zhou, Xiaochen Li, Shikai Guo, Weifeng Sun, Tao Zhang:
  A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection. IEEE Trans. Software Eng. 50(4): 937-955 (2024)
• 
  Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang:
  Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models. IEEE Trans. Software Eng. 50(7): 1768-1788 (2024)
• 
  Zhide Zhong, Jiakai Cao, Songen Gu, Sirui Xie, Liyi Luo, Hao Zhao, Guyue Zhou, Haoang Li, Zike Yan:
  Structured-NeRF: Hierarchical Scene Graph with Neural Representation. ECCV (35) 2024: 184-201
• 2023
• 
  Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang:
  Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing. IEEE Trans. Reliab. 72(1): 343-357 (2023)
• 
  Le Chen, Zhide Zhou, Xiaochen Li, He Jiang:
  Detecting JavaScript Transpiler Bugs with Grammar-guided Mutation. SANER 2023: 558-568
• 
  Yue Wang, Zhide Zhou, Zhilei Ren, Dong Liu, He Jiang:
  A Comprehensive Study of WebAssembly Runtime Bugs. SANER 2023: 355-366
• 
  Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang:
  LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation. CoRR abs/2307.00593 (2023)
• 
  Xinxin Yan, Zhideng Zhou, Xiaohan Cheng, Xiaolei Yang:
  Time integration schemes based on neural networks for solving partial differential equations on coarse grids. CoRR abs/2310.10308 (2023)
• 
  Zhide Zhong, Jiakai Cao, Songen Gu, Sirui Xie, Weibo Gao, Liyi Luo, Zike Yan, Hao Zhao, Guyue Zhou:
  ASSIST: Interactive Scene Nodes for Scalable and Realistic Indoor Simulation. CoRR abs/2311.06211 (2023)
• 2022
• 
  Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong:
  Detecting Compiler Bugs Via a Deep Learning-Based Framework. Int. J. Softw. Eng. Knowl. Eng. 32(5): 661-691 (2022)
• 
  He Jiang, Guojun Gao, Zhilei Ren, Xin Chen, Zhide Zhou:
  SMARTEST: A Surrogate-Assisted Memetic Algorithm for Code Size Reduction. IEEE Trans. Reliab. 71(1): 190-203 (2022)
• 
  Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao:
  LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. IEEE Trans. Reliab. 71(2): 896-910 (2022)
• 
  He Jiang, Zhide Zhou, Zhilei Ren, Jingxuan Zhang, Xiaochen Li:
  CTOS: Compiler Testing for Optimization Sequences of LLVM. IEEE Trans. Software Eng. 48(7): 2339-2358 (2022)
• 
  Yixuan Tang, He Jiang, Zhide Zhou, Xiaochen Li, Zhilei Ren, Weiqiang Kong:
  Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation. IEEE Trans. Software Eng. 48(11): 4411-4432 (2022)
• 
  Zhilei Ren, Shiwei Sun, Jifeng Xuan, Xiaochen Li, Zhide Zhou, He Jiang:
  Automated Patching for Unreproducible Builds. ICSE 2022: 200-211
• 
  Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou, Lingxiao Jiang:
  Remgen: Remanufacturing a Random Program Generator for Compiler Testing. ISSRE 2022: 529-540
• 
  Shikai Guo, He Jiang, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, Rong Chen:
  Detecting Simulink compiler bugs via controllable zombie blocks mutation. ESEC/SIGSOFT FSE 2022: 1061-1072
• 2021
• 
  Junyan Qian, Fuhao Mo, Hao Ding, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai:
  An improved algorithm for accelerating reconfiguration of VLSI array. Integr. 79: 124-132 (2021)
• 
  Zhide Zhou, Zhilei Ren, Guojun Gao, He Jiang:
  An empirical study of optimization bugs in GCC and LLVM. J. Syst. Softw. 174: 110884 (2021)
• 
  Zhilei Ren, Xiaofei Fan, Xiaochen Li, Zhide Zhou, He Jiang:
  Multi-objective Evolutionary Algorithm for String SMT Solver Testing. DSA 2021: 102-113
• 2020
• 
  Junyan Qian, Bisheng Huang, Hao Ding, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai:
  An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray. Integr. 75: 63-72 (2020)
• 
  Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai:
  Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1): 267-271 (2020)
• 
  Hao Chen, Zhilei Ren, Lei Qiao, Zhide Zhou, Guojun Gao, Yue Ma, He Jiang:
  AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances. DSA 2020: 78-89
• 2017
• 
  Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao:
  A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting. IEEE Access 5: 23912-23919 (2017)
• 2016
• 
  Junyan Qian, Wei Cao, Jia Hu, Jingwei Zhang, Zhoubo Xu, Zhide Zhou:
  Satisfiability-based method for reconfiguring power efficient VLSI array. IEICE Electron. Express 13(23): 20160930 (2016)
• 
  Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu, Liang Chang:
  An integer programming method for constructing tightly coupled VLSI subarrays. IEICE Electron. Express 13(11): 20160359 (2016)

skipping 2 more matches