Zhuo Cheng

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 52

Top Topics

Dependency Graph

Human Language Technology

Top Venues

Proc. VLDB Endow.

Future Gener. Comput. Syst.

Publications

Zhuo Cheng, Bradley Denby, Kyle McCleary, Brandon Lucia
EagleEye: Nanosatellite constellation design for high-coverage, high-resolution sensing. ASPLOS (1) (2024)
Yinyuan Wang, Haowen Du, Zhuo Cheng, Changxin Gao, Longsheng Wei, Bin Fang, Fei Xiao, Dapeng Luo
KRRNet: Keypoint Relational Regression Network for Bottom-Up Anchor-Free Object Detection. IEEE Trans. Circuits Syst. Video Technol. 34 (4) (2024)
Shuangling Liu, Ming Zhu, Meng Deng, Zesheng Hu, Zhuo Cheng, Xingshun He
Simultaneous Reconstruction of Gas Concentration and Temperature Using Acoustic Tomography. Sensors 24 (10) (2024)
Yuanzhang Wang, Fengkui Yang, Ke Zhou, Chunhua Li, Chong Liu, Ji Zhang, Zhuo Cheng
An optimized learning-based directory placement policy with two-rounds selection in distributed file systems. Future Gener. Comput. Syst. 154 (2024)
Yu Liu, Yunchuan Guan, Tianming Jiang, Ke Zhou, Hua Wang, Guangxing Hu, Ji Zhang, Wei Fang, Zhuo Cheng, Ping Huang
SPAE: Lifelong disk failure prediction via end-to-end GAN-based anomaly detection with ensemble update. Future Gener. Comput. Syst. 148 (2023)
Dehu Xiao, Yong Wang, Zhuo Cheng, Tianye Huang, Jun Yan
Optimized neural network based path planning for searching indoor pollution source. J. Ambient Intell. Humaniz. Comput. 14 (1) (2023)
Junru Li, Youyou Lu, Yiming Zhang, Qing Wang, Zhuo Cheng, Keji Huang, Jiwu Shu
SwitchTx: Scalable In-Network Coordination for Distributed Transaction Processing. Proc. VLDB Endow. 15 (11) (2022)
Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li
LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems. CoRR (2022)
Antonis Manousis, Zhuo Cheng, Ran Ben Basat, Zaoxing Liu, Vyas Sekar
Enabling Efficient and General Subpopulation Analytics in Multidimensional Data Streams. CoRR (2022)
Yuanzhang Wang, Fengkui Yang, Ji Zhang, Chunhua Li, Ke Zhou, Chong Liu, Zhuo Cheng, Wei Fang, Jinhu Liu
LDPP: A Learned Directory Placement Policy in Distributed File Systems. ICPP (2022)
Zhuo Cheng, Samira Shaikh
A Comparative Study of China's Foreign Ministry Spokesperson's Use of Weibo and Twitter. ASONAM (2022)
Yibin Gu, Yifan Li, Hua Wang, Li Liu, Ke Zhou, Wei Fang, Gang Hu, Jinhu Liu, Zhuo Cheng
LPCA: learned MRC profiling based cache allocation for file storage systems. DAC (2022)
Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li
L-QoCo: learning to optimize cache capacity overloading in storage systems. DAC (2022)
Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. SOFL+MSVL (2022)
Antonis Manousis, Zhuo Cheng, Ran Ben Basat, Zaoxing Liu, Vyas Sekar
Enabling Efficient and General Subpopulation Analytics in Multidimensional Data Streams. Proc. VLDB Endow. 15 (11) (2022)
Zhuo Cheng, Zhenxing Liu, Guili Yang
Diagnosis of Arrhythmia Based on Multi-scale Feature Fusion and Imbalanced Data. ICMLT (2022)
Rongshang Li, Yingtian Tang, Qiquan Shi, Hui Mao, Lei Chen, Jikun Jin, Peng Lu, Zhuo Cheng
Accurate Probabilistic Miss Ratio Curve Approximation for Adaptive Cache Allocation in Block Storage Systems. DATE (2022)
Yingying Cheng, Fan Zhang, Gang Hu, Yiwen Wang, Hanhui Yang, Gong Zhang, Zhuo Cheng
Block Popularity Prediction for Multimedia Storage Systems Using Spatial-Temporal-Sequential Neural Networks. ACM Multimedia (2021)
Dehu Xiao, Yong Wang, Zhuo Cheng
Agent-based autonomous pollution source localization for complex environment. J. Ambient Intell. Humaniz. Comput. 12 (10) (2021)
Zhuo Cheng, Hongjian Li, Xiaolin Duan, Xiangyan Zeng, Mingxuan He, Hao Luo
Attention cutting and padding learning for fine-grained image recognition. Multim. Tools Appl. 80 (21) (2021)
Jun Chen, Kangle Wu, Zhuo Cheng, Linbo Luo
A saliency-based multiscale approach for infrared and visible image fusion. Signal Process. 182 (2021)
Xing Li, Qiquan Shi, Gang Hu, Lei Chen, Hui Mao, Yiyuan Yang, Mingxuan Yuan, Jia Zeng, Zhuo Cheng
Block Access Pattern Discovery via Compressed Full Tensor Transformer. CIKM (2021)
Zhuo Cheng, Hongjian Li, Xiangyan Zeng, Meiqi Wang, Xiaolin Duan
Hierarchical saliency mapping for weakly supervised object localization based on class activation mapping. Multim. Tools Appl. 79 (41-42) (2020)
Adam Dalton, Ehsan Aghaei, Ehab Al-Shaer, Archna Bhatia, Esteban Castillo, Zhuo Cheng, Sreekar Dhaduvai, Qi Duan, Md. Mazharul Islam, Younes Karimi, Amir Masoumzadeh, Brodie Mather, Sashank Santhanam, Samira Shaikh, Tomek Strzalkowski, Bonnie J. Dorr
The Panacea Threat Intelligence and Active Defense Platform. CoRR (2020)
Bonnie J. Dorr, Archna Bhatia, Adam Dalton, Brodie Mather, Bryanna Hebenstreit, Sashank Santhanam, Zhuo Cheng, Samira Shaikh, Alan Zemel, Tomek Strzalkowski
Detecting Asks in SE attacks: Impact of Linguistic and Structural Knowledge. CoRR (2020)
Sashank Santhanam, Zhuo Cheng, Brodie Mather, Bonnie J. Dorr, Archna Bhatia, Bryanna Hebenstreit, Alan Zemel, Adam Dalton, Tomek Strzalkowski, Samira Shaikh
Learning to Plan and Realize Separately for Open-Ended Dialogue Systems. CoRR (2020)
Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim
Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. SOSE (2020)
Sashank Santhanam, Zhuo Cheng, Brodie Mather, Bonnie J. Dorr, Archna Bhatia, Bryanna Hebenstreit, Alan Zemel, Adam Dalton, Tomek Strzalkowski, Samira Shaikh
Learning to Plan and Realize Separately for Open-Ended Dialogue Systems. EMNLP (Findings) (2020)
Adam Dalton, Ehsan Aghaei, Ehab Al-Shaer, Archna Bhatia, Esteban Castillo, Zhuo Cheng, Sreekar Dhaduvai, Qi Duan, Bryanna Hebenstreit, Md. Mazharul Islam, Younes Karimi, Amir Masoumzadeh, Brodie Mather, Sashank Santhanam, Samira Shaikh, Alan Zemel, Tomek Strzalkowski, Bonnie J. Dorr
Active Defense Against Social Engineering: The Case for Human Language Technology. STOC@LREC (2020)
Bonnie J. Dorr, Archna Bhatia, Adam Dalton, Brodie Mather, Bryanna Hebenstreit, Sashank Santhanam, Zhuo Cheng, Samira Shaikh, Alan Zemel, Tomek Strzalkowski
Detecting Asks in Social Engineering Attacks: Impact of Linguistic and Structural Knowledge. AAAI (2020)
Yuxing Qian, Bingjia Li, Zhizhen Yao, Huakui Lv, Mengnan Che, Zhuo Cheng
Mining User-Generated Content to Identify Social Support in Chinese Online Smoking Cessation Community. ICMHI (2019)
Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL (2019)
Jing Wang, Yufan Zheng, Yunzhe Ni, Chenren Xu, Feng Qian, Wangyang Li, Wantong Jiang, Yihua Cheng, Zhuo Cheng, Yuanjie Li, Xiufeng Xie, Yi Sun, Zhongfeng Wang
An Active-Passive Measurement Study of TCP Performance over LTE on High-speed Rails. MobiCom (2019)
Kalvik Jakkala, Arupjyoti Bhuyan, Zhi Sun, Pu Wang, Zhuo Cheng
Deep CSI Learning for Gait Biometric Sensing and Recognition. CoRR (2019)
Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu
An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) (2018)
Mengmeng Liu, Xuming Zeng, Mengyao Tao, Zhuo Cheng
A New Clustering Protocol for Vehicular Networks in ITS. ChinaCom (2018)
Haitao Zhang, Guoqiang Li, Zhuo Cheng, Jinyun Xue
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. Softw. Test. Verification Reliab. 28 (3) (2018)
Jing Wang, Yufan Zheng, Yunzhe Ni, Chenren Xu, Feng Qian, Wangyang Li, Wantong Jiang, Yihua Cheng, Zhuo Cheng, Yuanjie Li, Xiufeng Xie, Yi Sun, Zhongfeng Wang
An Active-Passive Measurement Study of TCP Performance over LTE on High-speed Rails. CoRR (2018)
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM (2018)
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL (2018)
Xiang Zhao, Tianye Huang, Perry Ping Shum, Xu Wu, Pan Huang, Jianxing Pan, Yiheng Wu, Zhuo Cheng
Sensitivity Enhancement in Surface Plasmon Resonance Biochemical Sensor Based on Transition Metal Dichalcogenides/Graphene Heterostructure. Sensors 18 (7) (2018)
Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li
Evaluation of redundancy-based system: a model checking approach. Sci. China Inf. Sci. 61 (6) (2018)
Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Sci. China Inf. Sci. 61 (5) (2018)
Wei Yang, Yuan Wang, Zhixiang Lai, Yadong Wan, Zhuo Cheng
Security Vulnerabilities and Countermeasures in the RPL-Based Internet of Things. CyberC (2018)
Wenbin Wu, Chenyang Li, Zhuo Cheng, Xin Zhang, Lianwen Jin
YOLSE: Egocentric Fingertip Detection from Single RGB Images. ICCV Workshops (2017)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
SMT-Based Scheduling for Overloaded Real-Time Systems. IEICE Trans. Inf. Syst. (5) (2017)
Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. SOFL+MSVL (2017)
Zhuo Cheng, Yasuo Tan, Yuto Lim
Design and evaluation of hybrid temperature control for cyber-physical home systems. Int. J. Model. Identif. Control. 26 (3) (2016)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
Scheduling overload for real-time systems using SMT solver. SNPD (2016)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
SOFL-based dependency graph generation for scheduling. SoSE (2016)
Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS (2016)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
SMT-based scheduling for multiprocessor real-time systems. ICIS (2016)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
A Case Study: SOFL + Model Checking for OSEK/VDX Application. SOFL+MSVL (2015)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Azman Osman Lim
Greedy scheduling with feedback control for overloaded real-time systems. IM (2015)
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Azman Osman Lim
DPSC: A Novel Scheduling Strategy for Overloaded Real-Time Systems. CSE (2014)
Wai Wai Shein, Zhuo Cheng, Yasuo Tan, Azman Osman Lim
Study of temperature control using cyber-physical system approach in home environment. CPSNA (2013)
Zhuo Cheng, Wai Wai Shein, Yasuo Tan, Azman Osman Lim
Energy efficient thermal comfort control for cyber-physical home system. SmartGridComm (2013)
Lingfang Zeng, Dan Feng, Fang Wang, Zhuo Cheng, Qiang Zou
Creation of a Java-based Interactive Modeling Environment with Tape Library Model Example. IWNAS (2006)