Heming Cui

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 67

Top Topics

High Scalability

Differentially Private

Automatically Generate

Code Generation

Top Venues

USENIX Annual Technical Conference

IEEE Trans. Parallel Distributed Syst.

Publications

Haoze Song, Wenchao Zhou, Heming Cui, Xiang Peng, Feifei Li
A survey on hybrid transactional and analytical processing. VLDB J. 33 (5) (2024)
Dong Huang, Xiaofei Xie, Heming Cui
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability. CoRR (2024)
Rongxin Guan, Tianxiang Shen, Sen Wang, Gong Zhang, Heming Cui, Ji Qi
High-Performance Confidentiality-Preserving Blockchain via GPU-Accelerated Fully Homomorphic Encryption. CAiSE Workshops (2024)
Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Zongyuan Zhang, Tianyang Duan, Dong Huang, Shixiong Zhao, Heming Cui
AGRNav: Efficient and Energy-Saving Autonomous Navigation for Air-Ground Robots in Occlusion-Prone Environments. ICRA (2024)
Dong Huang, Jianbo Dai, Han Weng, Puzhen Wu, Yuhao Qing, Jie M. Zhang, Heming Cui, Zhijiang Guo
SOAP: Enhancing Efficiency of Generated Code via Self-Optimization. CoRR (2024)
Weimin Chen, Xiapu Luo, Haoyu Wang, Heming Cui, Shuyu Zheng, Xuanzhe Liu
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM. LCTES (2024)
Feng Liang, Francis C. M. Lau, Heming Cui, Yupeng Li, Bing Lin, Chengming Li, Xiping Hu
RelJoin: Relative-cost-based selection of distributed join methods for query plan optimization. Inf. Sci. 658 (2024)
Dong Huang, Jie M. Zhang, Yuhao Qing, Heming Cui
EffiBench: Benchmarking the Efficiency of Automatically Generated Code. CoRR (2024)
Zekai Sun, Xiuxian Guan, Junming Wang, Fangming Liu, Heming Cui
New Problems in Distributed Inference for DNN Models on Robotic IoT. ApPLIED@PODC (2024)
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
Learning Manipulation by Predicting Interaction. CoRR (2024)
Zekai Sun, Xiuxian Guan, Junming Wang, Haoze Song, Yuhao Qing, Tianxiang Shen, Dong Huang, Fangming Liu, Heming Cui
Hybrid-Parallel: Achieving High Performance and Energy Efficient Distributed Inference on Robots. CoRR (2024)
Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Zongyuan Zhang, Tianyang Duan, Dong Huang, Shixiong Zhao, Heming Cui
AGRNav: Efficient and Energy-Saving Autonomous Navigation for Air-Ground Robots in Occlusion-Prone Environments. CoRR (2024)
Fanxin Li, Shixiong Zhao, Yuhao Qing, Xusheng Chen, Xiuxian Guan, Sen Wang, Gong Zhang, Heming Cui
Fold3D: Rethinking and Parallelizing Computational and Communicational Tasks in the Training of Large DNN Models. IEEE Trans. Parallel Distributed Syst. 34 (5) (2023)
Shengliang Deng, Xiuxian Guan, Zekai Sun, Shixiong Zhao, Tianxiang Shen, Xusheng Chen, Tianyang Duan, Yuexuan Wang, Jia Pan, Yanjun Wu, Libo Zhang, Heming Cui
Coorp: Satisfying Low-Latency and High-Throughput Requirements of Wireless Network for Coordinated Robotic Learning. IEEE Internet Things J. 10 (3) (2023)
Feng Liang, Francis C. M. Lau, Heming Cui, Yupeng Li, Bing Lin, Chengming Li, Xiping Hu
RelJoin: Relative-cost-based Selection of Distributed Join Methods for Query Plan Optimization. CoRR (2023)
Dong Huang, Qingwen Bu, Yahao Qing, Yichao Fu, Heming Cui
FMT: Removing Backdoor Feature Maps via Feature Map Testing in Deep Neural Networks. CoRR (2023)
Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. ESEC/SIGSOFT FSE (2023)
Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi, Junjie Chen, Heming Cui, Yuqun Zhang
Enhancing Coverage-Guided Fuzzing via Phantom Program. ESEC/SIGSOFT FSE (2023)
Qingwen Bu, Dong Huang, Heming Cui
Towards Building More Robust Models with Frequency Bias. CoRR (2023)
Dong Huang, Qingwen Bu, Yichao Fu, Yuhao Qing, Bocheng Xiao, Heming Cui
Neuron Sensitivity Guided Test Case Selection for Deep Learning Testing. CoRR (2023)
Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers. ICSE (2023)
Xiuxian Guan, Junming Wang, Zekai Sun, Zongyuan Zhang, Tianyang Duan, Shengliang Deng, Fangming Liu, Heming Cui
New Problems in Active Sampling for Mobile Robotic Online Learning. COMPSAC (2023)
Haoze Song, Wenchao Zhou, Feifei Li, Xiang Peng, Heming Cui
Rethink Query Optimization in HTAP Databases. Proc. ACM Manag. Data 1 (4) (2023)
Dong Huang, Qingwen Bu, Heming Cui
CodeCoT and Beyond: Learning to Program and Test like a Developer. CoRR (2023)
Qingwen Bu, Dong Huang, Heming Cui
Towards Building More Robust Models with Frequency Bias. ICCV (2023)
Dong Huang, Qingwen Bu, Jie Zhang, Xiaofei Xie, Junjie Chen, Heming Cui
Bias Assessment and Mitigation in LLM-based Code Generation. CoRR (2023)
Dong Huang, Qingwen Bu, Yahao Qing, Yichao Fu, Heming Cui
Feature Map Testing for Deep Neural Networks. CoRR (2023)
Haoran Qiu, Tao Ji, Shixiong Zhao, Xusheng Chen, Ji Qi, Heming Cui, Sen Wang
A Geography-Based P2P Overlay Network for Fast and Robust Blockchain Systems. IEEE Trans. Serv. Comput. 16 (3) (2023)
Dong Huang, Qingwen Bu, Jie M. Zhang, Michael Luck, Heming Cui
AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation. CoRR (2023)
Saeid Mofrad, Ishtiaq Ahmed, Fengwei Zhang, Shiyong Lu, Ping Yang, Heming Cui
Securing Big Data Scientific Workflows via Trusted Heterogeneous Environments. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
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
ROG: A High Performance and Robust Distributed Training System for Robotic IoT. MICRO (2022)
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
Efficient and DoS-resistant Consensus for Permissioned Blockchains. SIGMETRICS Perform. Evaluation Rev. 49 (3) (2022)
Tianxiang Shen, Ji Qi, Jianyu Jiang, Xian Wang, Siyuan Wen, Xusheng Chen, Shixiong Zhao, Sen Wang, Li Chen, Xiapu Luo, Fengwei Zhang, Heming Cui
SOTER: Guarding Black-box Inference for General Neural Networks at the Edge. USENIX Annual Technical Conference (2022)
Jianyu Jiang, Ji Qi, Tianxiang Shen, Xusheng Chen, Shixiong Zhao, Sen Wang, Li Chen, Gong Zhang, Xiapu Luo, Heming Cui
CRONUS: Fault-isolated, Secure and High-performance Heterogeneous Computing for Trusted Execution Environment. MICRO (2022)
Tianxiang Shen, Jianyu Jiang, Yunpeng Jiang, Xusheng Chen, Ji Qi, Shixiong Zhao, Fengwei Zhang, Xiapu Luo, Heming Cui
DAENet: Making Strong Anonymity Scale in a Fully Decentralized Network. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yanwei Huang, Heming Cui, Lingming Zhang, Yuqun Zhang
One Fuzzing Strategy to Rule Them All. ICSE (2022)
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
Efficient and DoS-resistant Consensus for Permissioned Blockchains. Perform. Evaluation 153 (2022)
Shixiong Zhao, Fanxin Li, Xusheng Chen, Tianxiang Shen, Li Chen, Sen Wang, Nicholas Zhang, Cheng Li, Heming Cui
NASPipe: high performance and reproducible pipeline parallel supernet training via causal synchronous parallelism. ASPLOS (2022)
Dong Huang, Qingwen Bu, Yuhao Qing, Haowen Pi, Sen Wang, Heming Cui
Two Heads are Better than One: Robust Learning Meets Multi-branch Models. CoRR (2022)
Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yuqun Zhang, Guowei Yang, Huixin Ma, Sen Nie, Shi Wu, Heming Cui, Lingming Zhang
Evaluating and Improving Neural Program-Smoothing-based Fuzzing. ICSE (2022)
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
vPipe: A Virtualized Acceleration System for Achieving Efficient and Scalable Pipeline Parallel DNN Training. IEEE Trans. Parallel Distributed Syst. 33 (3) (2022)
Haonan Li, Weijie Huang, Mingde Ren, Hongyi Lu, Zhenyu Ning, Heming Cui, Fengwei Zhang
A Novel Memory Management for RISC-V Enclaves. HASP@MICRO (2021)
Xiuxian Guan, Zekai Sun, Shengliang Deng, Shixiong Zhao, Tianxiang Shen, Tsz On Li, Yuexuan Wang, Rui Wang, Heming Cui
MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application. ICPADS (2021)
Xusheng Chen, Haoze Song, Jianyu Jiang, Chaoyi Ruan, Cheng Li, Sen Wang, Gong Zhang, Reynold Cheng, Heming Cui
Achieving low tail-latency and high scalability for serializable transactions in edge computing. EuroSys (2021)
Ji Qi, Xusheng Chen, Yunpeng Jiang, Jianyu Jiang, Tianxiang Shen, Shixiong Zhao, Sen Wang, Gong Zhang, Li Chen, Man Ho Au, Heming Cui
Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks. SOSP (2021)
Tsz On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Jiacheng Ma, Xusheng Chen, Tianxiang Shen, Heming Cui, Yuexuan Wang, Peng Wang
UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System. DSN (2020)
Weiwei Jia, Jianchen Shan, Tsz On Li, Xiaowei Shang, Heming Cui, Xiaoning Ding
vSMT-IO: Improving I/O Performance and Efficiency on SMT Processors in Virtualized Clouds. USENIX Annual Technical Conference (2020)
Xiuxian Guan, Yawei Li, Yuexuan Wang, Zekai Sun, Shengliang Deng, Heming Cui
CTDMA: Color-aware TDMA Network System For Low latency and High Throughput in Dense D2D Wireless Network. MASS (2020)
Jianyu Jiang, Xusheng Chen, Tsz On Li, Cheng Wang, Tianxiang Shen, Shixiong Zhao, Heming Cui, Cho-Li Wang, Fengwei Zhang
Uranus: Simple, Efficient SGX Programming and its Applications. AsiaCCS (2020)
Shixiong Zhao, Xusheng Chen, Cheng Wang, Fanxin Li, Qi Ji, Heming Cui, Cheng Li, Sen Wang
HAMS: High Availability for Distributed Machine Learning Service Graphs. DSN (2020)
Jiewen Hai, Cheng Wang, Xusheng Chen, Tsz On Li, Heming Cui, Sen Wang
Fulva: Efficient Live Migration for In-Memory Key-Value Stores with Zero Downtime. SRDS (2019)
Jingpu Duan, Xiaodong Yi, Shixiong Zhao, Chuan Wu, Heming Cui, Franck Le
NFVactor: A Resilient NFV System Using the Distributed Actor Model. IEEE J. Sel. Areas Commun. 37 (3) (2019)
Saeid Mofrad, Ishtiaq Ahmed, Shiyong Lu, Ping Yang, Heming Cui, Fengwei Zhang
SecDATAVIEW: a secure big data workflow management system for heterogeneous computing environments. ACSAC (2019)
Feng Liang, Francis C. M. Lau, Heming Cui, Cho-Li Wang
Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning. IEEE Trans. Parallel Distributed Syst. 29 (2) (2018)
Tong Shen, Yuexuan Wang, Zhaoquan Gu, Dongda Li, Zhen Cao, Heming Cui, Francis C. M. Lau
Alano: An Efficient Neighbor Discovery Algorithm in an Energy-Restricted Large-Scale Network. MASS (2018)
Zhen Cao, Zhaoquan Gu, Yuexuan Wang, Heming Cui
Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks. WCNC (2018)
Jingpu Duan, Xiaodong Yi, Shixiong Zhao, Chuan Wu, Heming Cui, Franck Le
NFVactor: A Resilient NFV System using the Distributed Actor Model. CoRR (2018)
Weiwei Jia, Cheng Wang, Xusheng Chen, Jianchen Shan, Xiaowei Shang, Heming Cui, Xiaoning Ding, Luwei Cheng, Francis C. M. Lau, Yuexuan Wang, Yuangang Wang
Effectively Mitigating I/O Inactivity in vCPU Scheduling. USENIX Annual Technical Conference (2018)
Xusheng Chen, Shixiong Zhao, Cheng Wang, Senran Zhang, Heming Cui
GEEC: Scalable, Efficient, and Consistent Consensus for Blockchains. CoRR (2018)
Yongqin Fu, Yuexuan Wang, Zhaoquan Gu, Xiaolin Zheng, Tianhao Wei, Zhen Cao, Heming Cui, Francis C. M. Lau
How Local Information Improves Rendezvous in Cognitive Radio Networks. SECON (2018)
Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang
OWL: Understanding and Detecting Concurrency Attacks. DSN (2018)
Cheng Wang, Xusheng Chen, Weiwei Jia, Boxuan Li, Haoran Qiu, Shixiong Zhao, Heming Cui
PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance. NSDI (2018)
Cheng Wang, Jianyu Jiang, Xusheng Chen, Ning Yi, Heming Cui
APUS: fast and scalable paxos on RDMA. SoCC (2017)
Yuexuan Wang, Zhaoquan Gu, Lei Song, Tongyang Li, Heming Cui, Francis C. M. Lau
Speeding up 3D Printing Using Multi-Head Slicing Algorithms. ES (2017)
Jianyu Jiang, Shixiong Zhao, Danish Alsayed, Yuexuan Wang, Heming Cui, Feng Liang, Zhaoquan Gu
Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security. ACSAC (2017)
Cheng Wang, Xusheng Chen, Zixu Wang, Youwei Zhu, Heming Cui
A Fast, General Storage Replication Protocol for Active-Active Virtual Machine Fault Tolerance. ICPADS (2017)
Cheng Wang, Jingyu Yang, Ning Yi, Heming Cui
TRIPOD: An Efficient, Highly-available Cluster Management System. APSys (2016)
Heming Cui, Rui Gu, Cheng Liu, Junfeng Yang
RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis. APSys (2015)
Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang
Paxos made transparent. SOSP (2015)
Junfeng Yang, Heming Cui, Jingyue Wu, Yang Tang, Gang Hu
Making parallel programs reliable with stable multithreading. Commun. ACM 57 (3) (2014)
Junfeng Yang, Heming Cui, Jingyue Wu
Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It. HotPar (2013)
Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang
Verifying systems rules using rule-directed symbolic execution. ASPLOS (2013)
Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant
Parrot: a practical runtime for deterministic, stable, and reliable threads. SOSP (2013)
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
Sound and precise analysis of parallel programs through schedule specialization. PLDI (2012)
Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
Efficient deterministic multithreading through schedule relaxation. SOSP (2011)
Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang
Stable Deterministic Multithreading through Schedule Memoization. OSDI (2010)
Jingyue Wu, Heming Cui, Junfeng Yang
Bypassing Races in Live Applications with Execution Filters. OSDI (2010)
Cong Lin, Yong Xiang, Heming Cui
A multi-rate MAC protocol for mobile ad hoc networks and its cooperative extension. WICON (2008)
Heming Cui, Cong Lin, Yong Xiang
EBEM: An Event-driven Bandwidth Estimation Method for Mobile Ad Hoc Network. NAS (2008)