• 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 63 matches

• 2024
• 
  Chengpeng Jiang, Wencong Chen, Xingcan Chen, Sen Zhang, Wendong Xiao:
  Deep reinforcement learning approach with hybrid action space for mobile charging in wireless rechargeable sensor networks. Expert Syst. Appl. 249: 123752 (2024)
• 
  Siyu Wu, Chenguang Hao, Longsheng Xue, Zhangyu Ma, Hao Li, Ye Yuan, Yun Jiao, Chengpeng Wang, Keming Cheng:
  Dynamic characteristics of shock wave propagation in an expanded duct influenced by downstream throttling. J. Vis. 27(6): 1037-1047 (2024)
• 
  Lei Zhang, Longsheng Zhang, Chengpeng Song, Peng Zhang:
  Hyperspectral Image Compression Sensing Network With CNN-Transformer Mixture Architectures. IEEE Geosci. Remote. Sens. Lett. 21: 1-5 (2024)
• 
  Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang:
  DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. Proc. ACM Softw. Eng. 1(FSE): 2469-2492 (2024)
• 
  Jiongjiong Liu, Jinfen Zhang, Zaili Yang, Chengpeng Wan, Mingyang Zhang:
  A novel data-driven method of ship collision risk evolution evaluation during real encounter situations. Reliab. Eng. Syst. Saf. 249: 110228 (2024)
• 
  Jinfeng Zhang, Mei Jin, Chengpeng Wan, Zhijie Dong, Xiaohong Wu:
  A Bayesian network-based model for risk modeling and scenario deduction of collision accidents of inland intelligent ships. Reliab. Eng. Syst. Saf. 243: 109816 (2024)
• 
  Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang:
  Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. ACM Trans. Softw. Eng. Methodol. 33(3): 66:1-66:33 (2024)
• 
  Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang:
  GIANTSAN: Efficient Memory Sanitization with Segment Folding. ASPLOS (2) 2024: 433-449
• 
  Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang:
  SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. ASPLOS (3) 2024: 882-899
• 
  Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang:
  Sanitizing Large Language Models in Bug Detection with Data-Flow. EMNLP (Findings) 2024: 3790-3805
• 
  Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang:
  LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. ICSE 2024: 105:1-105:13
• 
  Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang:
  When Dataflow Analysis Meets Large Language Models. CoRR abs/2402.10754 (2024)
• 
  Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan:
  REPOFUSE: Repository-Level Code Completion with Fused Dual Context. CoRR abs/2402.14323 (2024)
• 
  An Yang, Baosong Yang, Binyuan Hui, Bo Zheng, Bowen Yu, Chang Zhou, Chengpeng Li, Chengyuan Li, Dayiheng Liu, Fei Huang, Guanting Dong, Haoran Wei, Huan Lin, Jialong Tang, Jialin Wang, Jian Yang, Jianhong Tu, Jianwei Zhang, Jianxin Ma, Jianxin Yang, Jin Xu, Jingren Zhou, Jinze Bai, Jinzheng He, Junyang Lin, Kai Dang, Keming Lu, Keqin Chen, Kexin Yang, Mei Li, Mingfeng Xue, Na Ni, Pei Zhang, Peng Wang, Ru Peng, Rui Men, Ruize Gao, Runji Lin, Shijie Wang, Shuai Bai, Sinan Tan, Tianhang Zhu, Tianhao Li, Tianyu Liu, Wenbin Ge, Xiaodong Deng, Xiaohuan Zhou, Xingzhang Ren, Xinyu Zhang, Xipin Wei, Xuancheng Ren, Xuejing Liu, Yang Fan, Yang Yao, Yichang Zhang, Yu Wan, Yunfei Chu, Yuqiong Liu, Zeyu Cui, Zhenru Zhang, Zhifang Guo, Zhihao Fan:
  Qwen2 Technical Report. CoRR abs/2407.10671 (2024)
• 
  An Yang, Beichen Zhang, Binyuan Hui, Bofei Gao, Bowen Yu, Chengpeng Li, Dayiheng Liu, Jianhong Tu, Jingren Zhou, Junyang Lin, Keming Lu, Mingfeng Xue, Runji Lin, Tianyu Liu, Xingzhang Ren, Zhenru Zhang:
  Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement. CoRR abs/2409.12122 (2024)
• 2023
• 
  Chengpeng Liu, Lin Zhang, Zhi Chen, Shaoqian Li:
  Power-time resource allocation for downlink SWIPT-assisted cooperative NOMA systems. Sci. China Inf. Sci. 66(5) (2023)
• 
  Chengpeng Xia, Yawen Chen, Haibo Zhang, Hao Zhang, Fei Dai, Jigang Wu:
  Efficient neural network accelerators with optical computing and communication. Comput. Sci. Inf. Syst. 20(1): 513-535 (2023)
• 
  Sudan Han, Yuxuan Zhang, Chengpeng Hao, Jun Liu, Alfonso Farina, Danilo Orlando:
  Sparsity-Based Classification Approaches for Radar Data in the Presence of Clutter Edges and Discretes. IEEE Trans. Aerosp. Electron. Syst. 59(3): 2141-2162 (2023)
• 
  Chengpeng Xia, Yawen Chen, Haibo Zhang, Jigang Wu:
  STADIA: Photonic Stochastic Gradient Descent for Neural Network Accelerators. ACM Trans. Embed. Comput. Syst. 22(5s): 126:1-126:23 (2023)
• 
  Fei Dai, Yawen Chen, Zhiyi Huang, Haibo Zhang, Hao Zhang, Chengpeng Xia:
  Comparing the performance of multi-layer perceptron training on electrical and optical network-on-chips. J. Supercomput. 79(10): 10725-10746 (2023)
• 
  Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang:
  Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. ACM Trans. Softw. Eng. Methodol. 32(3): 66:1-66:39 (2023)
• 
  Marcos V. Conde, Eduard Zamfir, Radu Timofte, Daniel Motilla, Cen Liu, Zexin Zhang, Yunbo Peng, Yue Lin, Jiaming Guo, Xueyi Zou, Yuyi Chen, Yi Liu, Jia Hao, Youliang Yan, Yuanfan Zhang, Gen Li, Lei Sun, Lingshun Kong, Haoran Bai, Jinshan Pan, Jiangxin Dong, Jinhui Tang, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Mingxi Li, Yuhang Zhang, Xianjun Fan, Yankai Sheng, Long Sun, Zibin Liu, Weiran Gou, Shaoqing Li, Ziyao Yi, Yan Xiang, Dehui Kong, Ke Xu, Ganzorig Gankhuyag, Kihwan Yoon, Jin Zhang, Gaocheng Yu, Feng Zhang, Hongbin Wang, Zhou Zhou, Jiahao Chao, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Chengpeng Chen, Zichao Guo, Anjin Park, Yuqing Liu, Qi Jia, Hongyuan Yu, Xuanwu Yin, Dongyang Zhang, Ting Fu, Zhengxue Cheng, Shiai Zhu, Dajiang Zhou, Weichen Yu, Lin Ge, Jiahua Dong, Yajun Zou, Zhuoyuan Wu, Binnan Han, Xiaolin Zhang, Heng Zhang, Ben Shao, Shaolong Zheng, Daheng Yin, Baijun Chen, Mengyang Liu, Marian-Sergiu Nistor, Yi-Chung Chen, Zhi-Kai Huang, Yuan-Chun Chiang, Wei-Ting Chen, Hao-Hsiang Yang, Hua-En Chang, I-Hsiang Chen, Chia-Hsuan Hsieh, Sy-Yen Kuo, Tu Vo, Qingsen Yan, Yun Zhu, Jinqiu Su, Yanning Zhang, Cheng Zhang, Jiaying Luo, Youngsun Cho, Nakyung Lee, Kunlong Zuo:
  Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report. CVPR Workshops 2023: 1495-1521
• 
  Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
  Synthesizing Conjunctive Queries for Code Search. ECOOP 2023: 36:1-36:30
• 
  Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang:
  Verifying Data Constraint Equivalence in FinTech Systems. ICSE 2023: 1329-1341
• 
  Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang:
  DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. ASE 2023: 914-925
• 
  Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang:
  Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. USENIX ATC 2023: 345-358
• 
  Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang:
  Verifying Data Constraint Equivalence in FinTech Systems. CoRR abs/2301.11011 (2023)
• 
  Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
  Synthesizing Conjunctive Queries for Code Search. CoRR abs/2305.04316 (2023)
• 
  Chengpeng Li, Zhengyi Yang, Jizhi Zhang, Jiancan Wu, Dingxian Wang, Xiangnan He, Xiang Wang:
  Model-enhanced Contrastive Reinforcement Learning for Sequential Recommendation. CoRR abs/2310.16566 (2023)
• 2022
• 
  Cheng-Peng Gui, Jia-Ying Li, Liang-Min Fu, Cheng-Gong Luo, Chi Zhang, Yi-Ming Tang, Li-zhen Zhang, Guan-nan Shu, Rong-Pei Wu, Jun-Hang Luo:
  Identification of mRNA vaccines and conserved ferroptosis related immune landscape for individual precision treatment in bladder cancer. J. Big Data 9(1): 88 (2022)

skipping 33 more matches