Heming Cui

According to our database, Heming Cui authored at least 83 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

HE-Nav: A High-Performance and Efficient Navigation System for Aerial-Ground Robots in Cluttered Environments.

Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Dong Huang, Zongyuan Zhang, Tianyang Duan, Fangming Liu, Heming Cui

IEEE Robotics Autom. Lett., November, 2024

A survey on hybrid transactional and analytical processing.

Haoze Song, Wenchao Zhou, Heming Cui, Xiang Peng, Feifei Li

VLDB J., September, 2024

RelJoin: Relative-cost-based selection of distributed join methods for query plan optimization.

Feng Liang, Francis C. M. Lau, Heming Cui, Yupeng Li, Bing Lin, Chengming Li, Xiping Hu

Inf. Sci., February, 2024

Effi-Code: Unleashing Code Efficiency in Language Models.

Dong Huang, Guangtao Zeng, Jianbo Dai, Meng Luo, Han Weng, Yuhao Qing, Heming Cui, Zhijiang Guo, Jie M. Zhang

CoRR, 2024

Towards Synergistic, Generalized, and Efficient Dual-System for Robotic Manipulation.

Qingwen Bu, Hongyang Li, Li Chen, Jisong Cai, Jia Zeng, Heming Cui, Maoqing Yao, Yu Qiao

CoRR, 2024

Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing?

Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Peng DI, Shin Hwei Tan, Heming Cui, Yuqun Zhang

CoRR, 2024

Rethinking the Influence of Source Code on Test Case Generation.

Dong Huang, Jie M. Zhang, Mingzhe Du, Mark Harman, Heming Cui

CoRR, 2024

Closed-Loop Visuomotor Control with Generative Expectation for Robotic Manipulation.

Qingwen Bu, Jia Zeng, Li Chen, Yanchao Yang, Guyue Zhou, Junchi Yan, Ping Luo, Heming Cui, Yi Ma, Hongyang Li

CoRR, 2024

OMEGA: Efficient Occlusion-Aware Navigation for Air-Ground Robot in Dynamic Environments via State Space Model.

Junming Wang, Dong Huang, Xiuxian Guan, Zekai Sun, Tianxiang Shen, Fangming Liu, Heming Cui

CoRR, 2024

Learning Manipulation by Predicting Interaction.

Jia Zeng, Qingwen Bu, Bangjun Wang, Wenke Xia, Li Chen, Hao Dong, Haoming Song, Dong Wang, Di Hu, Ping Luo, Heming Cui, Bin Zhao, Xuelong Li, Yu Qiao, Hongyang Li

CoRR, 2024

Hybrid-Parallel: Achieving High Performance and Energy Efficient Distributed Inference on Robots.

Zekai Sun, Xiuxian Guan, Junming Wang, Haoze Song, Yuhao Qing, Tianxiang Shen, Dong Huang, Fangming Liu, Heming Cui

CoRR, 2024

SOAP: Enhancing Efficiency of Generated Code via Self-Optimization.

Dong Huang, Jianbo Dai, Han Weng, Puzhen Wu, Yuhao Qing, Jie M. Zhang, Heming Cui, Zhijiang Guo

CoRR, 2024

Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability.

Dong Huang, Xiaofei Xie, Heming Cui

CoRR, 2024

EffiBench: Benchmarking the Efficiency of Automatically Generated Code.

Dong Huang, Jie M. Zhang, Yuhao Qing, Heming Cui

CoRR, 2024

EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM.

Weimin Chen, Xiapu Luo, Haoyu Wang, Heming Cui, Shuyu Zheng, Xuanzhe Liu

Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, 2024

Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability.

Dong Huang, Tsz On Li, Xiaofei Xie, Heming Cui

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

AGRNav: Efficient and Energy-Saving Autonomous Navigation for Air-Ground Robots in Occlusion-Prone Environments.

Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Zongyuan Zhang, Tianyang Duan, Dong Huang, Shixiong Zhao, Heming Cui

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

High-Performance Confidentiality-Preserving Blockchain via GPU-Accelerated Fully Homomorphic Encryption.

Rongxin Guan, Tianxiang Shen, Sen Wang, Gong Zhang, Heming Cui, Ji Qi

Proceedings of the Advanced Information Systems Engineering Workshops, 2024

New Problems in Distributed Inference for DNN Models on Robotic IoT.

Zekai Sun, Xiuxian Guan, Junming Wang, Fangming Liu, Heming Cui

Proceedings of the 2024 Workshop on Advanced Tools, 2024

2023

Rethink Query Optimization in HTAP Databases.

Haoze Song, Wenchao Zhou, Feifei Li, Xiang Peng, Heming Cui

Proc. ACM Manag. Data, December, 2023

Fold3D: Rethinking and Parallelizing Computational and Communicational Tasks in the Training of Large DNN Models.

Fanxin Li, Shixiong Zhao, Yuhao Qing, Xusheng Chen, Xiuxian Guan, Sen Wang, Gong Zhang, Heming Cui

IEEE Trans. Parallel Distributed Syst., May, 2023

Coorp: Satisfying Low-Latency and High-Throughput Requirements of Wireless Network for Coordinated Robotic Learning.

Shengliang Deng, Xiuxian Guan, Zekai Sun, Shixiong Zhao, Tianxiang Shen, Xusheng Chen, Tianyang Duan, Yuexuan Wang, Jia Pan, Yanjun Wu, Libo Zhang, Heming Cui

IEEE Internet Things J., February, 2023

A Geography-Based P2P Overlay Network for Fast and Robust Blockchain Systems.

Haoran Qiu, Tao Ji, Shixiong Zhao, Xusheng Chen, Ji Qi, Heming Cui, Sen Wang

IEEE Trans. Serv. Comput., 2023

AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation.

Dong Huang, Qingwen Bu, Jie M. Zhang, Michael Luck, Heming Cui

CoRR, 2023

Bias Assessment and Mitigation in LLM-based Code Generation.

Dong Huang, Qingwen Bu, Jie Zhang, Xiaofei Xie, Junjie Chen, Heming Cui

CoRR, 2023

CodeCoT and Beyond: Learning to Program and Test like a Developer.

Dong Huang, Qingwen Bu, Heming Cui

CoRR, 2023

FMT: Removing Backdoor Feature Maps via Feature Map Testing in Deep Neural Networks.

Dong Huang, Qingwen Bu, Yahao Qing, Yichao Fu, Heming Cui

CoRR, 2023

Feature Map Testing for Deep Neural Networks.

Dong Huang, Qingwen Bu, Yahao Qing, Yichao Fu, Heming Cui

CoRR, 2023

Neuron Sensitivity Guided Test Case Selection for Deep Learning Testing.

Dong Huang, Qingwen Bu, Yichao Fu, Yuhao Qing, Bocheng Xiao, Heming Cui

CoRR, 2023

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.

Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Enhancing Coverage-Guided Fuzzing via Phantom Program.

Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi, Junjie Chen, Heming Cui, Yuqun Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers.

Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Towards Building More Robust Models with Frequency Bias.

Qingwen Bu, Dong Huang, Heming Cui

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

New Problems in Active Sampling for Mobile Robotic Online Learning.

Xiuxian Guan, Junming Wang, Zekai Sun, Zongyuan Zhang, Tianyang Duan, Shengliang Deng, Fangming Liu, Heming Cui

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

vPipe: A Virtualized Acceleration System for Achieving Efficient and Scalable Pipeline Parallel DNN Training.

Shixiong Zhao, Fanxin Li, Xusheng Chen, Xiuxian Guan, Jianyu Jiang, Dong Huang, Yuhao Qing, Sen Wang, Peng Wang, Gong Zhang, Cheng Li, Ping Luo, Heming Cui

IEEE Trans. Parallel Distributed Syst., 2022

DAENet: Making Strong Anonymity Scale in a Fully Decentralized Network.

Tianxiang Shen, Jianyu Jiang, Yunpeng Jiang, Xusheng Chen, Ji Qi, Shixiong Zhao, Fengwei Zhang, Xiapu Luo, Heming Cui

IEEE Trans. Dependable Secur. Comput., 2022

Securing Big Data Scientific Workflows via Trusted Heterogeneous Environments.

Saeid Mofrad, Ishtiaq Ahmed, Fengwei Zhang, Shiyong Lu, Ping Yang, Heming Cui

IEEE Trans. Dependable Secur. Comput., 2022

Efficient and DoS-resistant Consensus for Permissioned Blockchains.

Xusheng Chen, Shixiong Zhao, Ji Qi, Jianyu Jiang, Haoze Song, Cheng Wang, Tsz On Li, T.-H. Hubert Chan, Fengwei Zhang, Xiapu Luo, Sen Wang, Gong Zhang, Heming Cui

Perform. Evaluation, 2022

Two Heads are Better than One: Robust Learning Meets Multi-branch Models.

Dong Huang, Qingwen Bu, Yuhao Qing, Haowen Pi, Sen Wang, Heming Cui

CoRR, 2022

SOTER: Guarding Black-box Inference for General Neural Networks at the Edge.

Tianxiang Shen, Ji Qi, Jianyu Jiang, Xian Wang, Siyuan Wen, Xusheng Chen, Shixiong Zhao, Sen Wang, Li Chen, Xiapu Luo, Fengwei Zhang, Heming Cui

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

CRONUS: Fault-isolated, Secure and High-performance Heterogeneous Computing for Trusted Execution Environment.

Jianyu Jiang, Ji Qi, Tianxiang Shen, Xusheng Chen, Shixiong Zhao, Sen Wang, Li Chen, Gong Zhang, Xiapu Luo, Heming Cui

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

ROG: A High Performance and Robust Distributed Training System for Robotic IoT.

Xiuxian Guan, Zekai Sun, Shengliang Deng, Xusheng Chen, Shixiong Zhao, Zongyuan Zhang, Tianyang Duan, Yuexuan Wang, Chenshu Wu, Yong Cui, Libo Zhang, Yanjun Wu, Rui Wang, Heming Cui

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

Evaluating and Improving Neural Program-Smoothing-based Fuzzing.

Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yuqun Zhang, Guowei Yang, Huixin Ma, Sen Nie, Shi Wu, Heming Cui, Lingming Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

One Fuzzing Strategy to Rule Them All.

Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yanwei Huang, Heming Cui, Lingming Zhang, Yuqun Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

NASPipe: high performance and reproducible pipeline parallel supernet training via causal synchronous parallelism.

Shixiong Zhao, Fanxin Li, Xusheng Chen, Tianxiang Shen, Li Chen, Sen Wang, Nicholas Zhang, Cheng Li, Heming Cui

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks.

Ji Qi, Xusheng Chen, Yunpeng Jiang, Jianyu Jiang, Tianxiang Shen, Shixiong Zhao, Sen Wang, Gong Zhang, Li Chen, Man Ho Au, Heming Cui

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

A Novel Memory Management for RISC-V Enclaves.

Haonan Li, Weijie Huang, Mingde Ren, Hongyi Lu, Zhenyu Ning, Heming Cui, Fengwei Zhang

Proceedings of the HASP '21: Workshop on Hardware and Architectural Support for Security and Privacy, 2021

MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application.

Xiuxian Guan, Zekai Sun, Shengliang Deng, Shixiong Zhao, Tianxiang Shen, Tsz On Li, Yuexuan Wang, Rui Wang, Heming Cui

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Achieving low tail-latency and high scalability for serializable transactions in edge computing.

Xusheng Chen, Haoze Song, Jianyu Jiang, Chaoyi Ruan, Cheng Li, Sen Wang, Gong Zhang, Reynold Cheng, Heming Cui

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

vSMT-IO: Improving I/O Performance and Efficiency on SMT Processors in Virtualized Clouds.

Weiwei Jia, Jianchen Shan, Tsz On Li, Xiaowei Shang, Heming Cui, Xiaoning Ding

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

CTDMA: Color-aware TDMA Network System For Low latency and High Throughput in Dense D2D Wireless Network.

Xiuxian Guan, Yawei Li, Yuexuan Wang, Zekai Sun, Shengliang Deng, Heming Cui

Proceedings of the 17th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2020

HAMS: High Availability for Distributed Machine Learning Service Graphs.

Shixiong Zhao, Xusheng Chen, Cheng Wang, Fanxin Li, Qi Ji, Heming Cui, Cheng Li, Sen Wang

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System.

Tsz On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Jiacheng Ma, Xusheng Chen, Tianxiang Shen, Heming Cui, Yuexuan Wang, Peng Wang

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

Uranus: Simple, Efficient SGX Programming and its Applications.

Jianyu Jiang, Xusheng Chen, Tsz On Li, Cheng Wang, Tianxiang Shen, Shixiong Zhao, Heming Cui, Cho-Li Wang, Fengwei Zhang

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

NFVactor: A Resilient NFV System Using the Distributed Actor Model.

Jingpu Duan, Xiaodong Yi, Shixiong Zhao, Chuan Wu, Heming Cui, Franck Le

IEEE J. Sel. Areas Commun., 2019

Fulva: Efficient Live Migration for In-Memory Key-Value Stores with Zero Downtime.

Jiewen Hai, Cheng Wang, Xusheng Chen, Tsz On Li, Heming Cui, Sen Wang

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

SecDATAVIEW: a secure big data workflow management system for heterogeneous computing environments.

Saeid Mofrad, Ishtiaq Ahmed, Shiyong Lu, Ping Yang, Heming Cui, Fengwei Zhang

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning.

Feng Liang, Francis C. M. Lau, Heming Cui, Cho-Li Wang

IEEE Trans. Parallel Distributed Syst., 2018

GEEC: Scalable, Efficient, and Consistent Consensus for Blockchains.

Xusheng Chen, Shixiong Zhao, Cheng Wang, Senran Zhang, Heming Cui

CoRR, 2018

Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks.

Zhen Cao, Zhaoquan Gu, Yuexuan Wang, Heming Cui

Proceedings of the 2018 IEEE Wireless Communications and Networking Conference, 2018

Effectively Mitigating I/O Inactivity in vCPU Scheduling.

Weiwei Jia, Cheng Wang, Xusheng Chen, Jianchen Shan, Xiaowei Shang, Heming Cui, Xiaoning Ding, Luwei Cheng, Francis C. M. Lau, Yuexuan Wang, Yuangang Wang

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

How Local Information Improves Rendezvous in Cognitive Radio Networks.

Yongqin Fu, Yuexuan Wang, Zhaoquan Gu, Xiaolin Zheng, Tianhao Wei, Zhen Cao, Heming Cui, Francis C. M. Lau

Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018

PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance.

Cheng Wang, Xusheng Chen, Weiwei Jia, Boxuan Li, Haoran Qiu, Shixiong Zhao, Heming Cui

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Alano: An Efficient Neighbor Discovery Algorithm in an Energy-Restricted Large-Scale Network.

Tong Shen, Yuexuan Wang, Zhaoquan Gu, Dongda Li, Zhen Cao, Heming Cui, Francis C. M. Lau

Proceedings of the 15th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2018

OWL: Understanding and Detecting Concurrency Attacks.

Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

A Fast, General Storage Replication Protocol for Active-Active Virtual Machine Fault Tolerance.

Cheng Wang, Xusheng Chen, Zixu Wang, Youwei Zhu, Heming Cui

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Speeding up 3D Printing Using Multi-Head Slicing Algorithms.

Yuexuan Wang, Zhaoquan Gu, Lei Song, Tongyang Li, Heming Cui, Francis C. M. Lau

Proceedings of the 5th International Conference on Enterprise Systems, 2017

APUS: fast and scalable paxos on RDMA.

Cheng Wang, Jianyu Jiang, Xusheng Chen, Ning Yi, Heming Cui

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security.

Jianyu Jiang, Shixiong Zhao, Danish Alsayed, Yuexuan Wang, Heming Cui, Feng Liang, Zhaoquan Gu

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

TRIPOD: An Efficient, Highly-available Cluster Management System.

Cheng Wang, Jingyu Yang, Ning Yi, Heming Cui

Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015

Stable Multithreading: A New Paradigm for Reliable and Secure Threads.

Heming Cui

PhD thesis, 2015

Paxos made transparent.

Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis.

Heming Cui, Rui Gu, Cheng Liu, Junfeng Yang

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Making parallel programs reliable with stable multithreading.

Junfeng Yang, Heming Cui, Jingyue Wu, Yang Tang, Gang Hu

Commun. ACM, 2014

2013

Parrot: a practical runtime for deterministic, stable, and reliable threads.

Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It.

Junfeng Yang, Heming Cui, Jingyue Wu

Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Verifying systems rules using rule-directed symbolic execution.

Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Sound and precise analysis of parallel programs through schedule specialization.

Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Efficient deterministic multithreading through schedule relaxation.

Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

2010

Bypassing Races in Live Applications with Execution Filters.

Jingyue Wu, Heming Cui, Junfeng Yang

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Stable Deterministic Multithreading through Schedule Memoization.

Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2008

A multi-rate MAC protocol for mobile ad hoc networks and its cooperative extension.

Cong Lin, Yong Xiang, Heming Cui

Proceedings of the 4th Annual International Conference on Wireless Internet, 2008

EBEM: An Event-driven Bandwidth Estimation Method for Mobile Ad Hoc Network.

Heming Cui, Cong Lin, Yong Xiang

Proceedings of The 2008 IEEE International Conference on Networking, 2008