default search action
Heming Cui
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j15]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: 120022 (2024) - [j14]Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Dong Huang, Zongyuan Zhang, Tianyang Duan, Fangming Liu, Heming Cui:
HE-Nav: A High-Performance and Efficient Navigation System for Aerial-Ground Robots in Cluttered Environments. IEEE Robotics Autom. Lett. 9(11): 10383-10390 (2024) - [j13]Haoze Song
A survey on hybrid transactional and analytical processing. VLDB J. 33(5): 1485-1515 (2024) - [c48]Zekai Sun
New Problems in Distributed Inference for DNN Models on Robotic IoT. ApPLIED@PODC 2024: 1-9 - [c47]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: 25-36 - [c46]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: 11133-11139 - [c45]Weimin Chen
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM. LCTES 2024: 131-142 - [i23]Dong Huang, Jie M. Zhang, Yuhao Qing, Heming Cui:
EffiBench: Benchmarking the Efficiency of Automatically Generated Code. CoRR abs/2402.02037 (2024) - [i22]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 abs/2403.11607 (2024) - [i21]Dong Huang, Xiaofei Xie, Heming Cui:
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability. CoRR abs/2405.09314 (2024) - [i20]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 abs/2405.15189 (2024) - [i19]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 abs/2405.19257 (2024) - [i18]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 abs/2406.00439 (2024) - [i17]Junming Wang, Dong Huang, Xiuxian Guan, Zekai Sun, Tianxiang Shen, Fangming Liu, Heming Cui:
OMEGA: Efficient Occlusion-Aware Navigation for Air-Ground Robot in Dynamic Environments via State Space Model. CoRR abs/2408.10618 (2024) - [i16]Qingwen Bu, Jia Zeng, Li Chen, Yanchao Yang, Guyue Zhou, Junchi Yan, Ping Luo, Heming Cui, Yi Ma, Hongyang Li:
Closed-Loop Visuomotor Control with Generative Expectation for Robotic Manipulation. CoRR abs/2409.09016 (2024) - [i15]Dong Huang, Jie M. Zhang, Mingzhe Du, Mark Harman, Heming Cui:
Rethinking the Influence of Source Code on Test Case Generation. CoRR abs/2409.09464 (2024) - [i14]Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Peng DI, Shin Hwei Tan, Heming Cui, Yuqun Zhang:
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing? CoRR abs/2409.14541 (2024) - [i13]Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Dong Huang, Zongyuan Zhang, Tianyang Duan, Fangming Liu, Heming Cui:
HE-Nav: A High-Performance and Efficient Navigation System for Aerial-Ground Robots in Cluttered Environments. CoRR abs/2410.05079 (2024) - [i12]Qingwen Bu, Hongyang Li, Li Chen, Jisong Cai, Jia Zeng, Heming Cui, Maoqing Yao, Yu Qiao:
Towards Synergistic, Generalized, and Efficient Dual-System for Robotic Manipulation. CoRR abs/2410.08001 (2024) - 2023
- [j12]Shengliang Deng
Coorp: Satisfying Low-Latency and High-Throughput Requirements of Wireless Network for Coordinated Robotic Learning. IEEE Internet Things J. 10(3): 1946-1960 (2023) - [j11]Haoze Song
Rethink Query Optimization in HTAP Databases. Proc. ACM Manag. Data 1(4): 256:1-256:27 (2023) - [j10]Fanxin Li
Fold3D: Rethinking and Parallelizing Computational and Communicational Tasks in the Training of Large DNN Models. IEEE Trans. Parallel Distributed Syst. 34(5): 1432-1449 (2023) - [j9]Haoran Qiu
A Geography-Based P2P Overlay Network for Fast and Robust Blockchain Systems. IEEE Trans. Serv. Comput. 16(3): 1572-1588 (2023) - [c44]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: 1155-1160 - [c43]Qingwen Bu, Dong Huang, Heming Cui:
Towards Building More Robust Models with Frequency Bias. ICCV 2023: 4379-4388 - [c42]Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang:
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers. ICSE 2023: 56-68 - [c41]Mingyuan Wu
Enhancing Coverage-Guided Fuzzing via Phantom Program. ESEC/SIGSOFT FSE 2023: 1037-1049 - [c40]Mingyuan Wu
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. ESEC/SIGSOFT FSE 2023: 1062-1074 - [i11]Qingwen Bu, Dong Huang, Heming Cui:
Towards Building More Robust Models with Frequency Bias. CoRR abs/2307.09763 (2023) - [i10]Dong Huang, Qingwen Bu, Yichao Fu, Yuhao Qing, Bocheng Xiao, Heming Cui:
Neuron Sensitivity Guided Test Case Selection for Deep Learning Testing. CoRR abs/2307.11011 (2023) - [i9]Dong Huang, Qingwen Bu, Yahao Qing, Yichao Fu, Heming Cui:
Feature Map Testing for Deep Neural Networks. CoRR abs/2307.11563 (2023) - [i8]Dong Huang, Qingwen Bu, Yahao Qing, Yichao Fu, Heming Cui:
FMT: Removing Backdoor Feature Maps via Feature Map Testing in Deep Neural Networks. CoRR abs/2307.11565 (2023) - [i7]Dong Huang, Qingwen Bu, Heming Cui:
CodeCoT and Beyond: Learning to Program and Test like a Developer. CoRR abs/2308.08784 (2023) - [i6]Dong Huang, Qingwen Bu, Jie Zhang, Xiaofei Xie, Junjie Chen, Heming Cui:
Bias Assessment and Mitigation in LLM-based Code Generation. CoRR abs/2309.14345 (2023) - [i5]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 abs/2311.14311 (2023) - [i4]Dong Huang, Qingwen Bu, Jie M. Zhang, Michael Luck, Heming Cui:
AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation. CoRR abs/2312.13010 (2023) - 2022
- [j8]Xusheng Chen, Shixiong Zhao
Efficient and DoS-resistant Consensus for Permissioned Blockchains. Perform. Evaluation 153: 102244 (2022) - [j7]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): 61-62 (2022) - [j6]Tianxiang Shen
DAENet: Making Strong Anonymity Scale in a Fully Decentralized Network. IEEE Trans. Dependable Secur. Comput. 19(4): 2286-2303 (2022) - [j5]Saeid Mofrad
Securing Big Data Scientific Workflows via Trusted Heterogeneous Environments. IEEE Trans. Dependable Secur. Comput. 19(6): 4187-4203 (2022) - [j4]Shixiong Zhao
vPipe: A Virtualized Acceleration System for Achieving Efficient and Scalable Pipeline Parallel DNN Training. IEEE Trans. Parallel Distributed Syst. 33(3): 489-506 (2022) - [c39]Shixiong Zhao
NASPipe: high performance and reproducible pipeline parallel supernet training via causal synchronous parallelism. ASPLOS 2022: 374-387 - [c38]Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yuqun Zhang, Guowei Yang
Evaluating and Improving Neural Program-Smoothing-based Fuzzing. ICSE 2022: 847-858 - [c37]Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yanwei Huang
One Fuzzing Strategy to Rule Them All. ICSE 2022: 1634-1645 - [c36]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: 124-143 - [c35]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: 336-353 - [c34]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 ATC 2022: 723-738 - [i3]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 abs/2208.08083 (2022) - 2021
- [c33]Xusheng Chen, Haoze Song, Jianyu Jiang, Chaoyi Ruan, Cheng Li, Sen Wang, Gong Zhang, Reynold Cheng
Achieving low tail-latency and high scalability for serializable transactions in edge computing. EuroSys 2021: 210-227 - [c32]Xiuxian Guan
MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application. ICPADS 2021: 266-273 - [c31]Haonan Li, Weijie Huang
A Novel Memory Management for RISC-V Enclaves. HASP@MICRO 2021: 3:1-3:9 - [c30]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: 18-34 - 2020
- [c29]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: 826-840 - [c28]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: 184-196 - [c27]Tsz On Li, Jianyu Jiang, Ji Qi, Chi Chiu So
UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System. DSN 2020: 515-527 - [c26]Xiuxian Guan
CTDMA: Color-aware TDMA Network System For Low latency and High Throughput in Dense D2D Wireless Network. MASS 2020: 318-328 - [c25]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 ATC 2020: 449-463
2010 – 2019
- 2019
- [j3]Jingpu Duan
NFVactor: A Resilient NFV System Using the Distributed Actor Model. IEEE J. Sel. Areas Commun. 37(3): 586-599 (2019) - [c24]Saeid Mofrad
SecDATAVIEW: a secure big data workflow management system for heterogeneous computing environments. ACSAC 2019: 390-403 - [c23]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: 83-92 - 2018
- [j2]Feng Liang
Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning. IEEE Trans. Parallel Distributed Syst. 29(2): 351-364 (2018) - [c22]Shixiong Zhao, Rui Gu, Haoran Qiu
OWL: Understanding and Detecting Concurrency Attacks. DSN 2018: 219-230 - [c21]Tong Shen, Yuexuan Wang, Zhaoquan Gu, Dongda Li
Alano: An Efficient Neighbor Discovery Algorithm in an Energy-Restricted Large-Scale Network. MASS 2018: 353-361 - [c20]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: 483-489 - [c19]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: 352-360 - [c18]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 ATC 2018: 267-280 - [c17]Zhen Cao, Zhaoquan Gu, Yuexuan Wang, Heming Cui:
Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks. WCNC 2018: 1-6 - [i2]Jingpu Duan, Xiaodong Yi, Shixiong Zhao, Chuan Wu, Heming Cui, Franck Le:
NFVactor: A Resilient NFV System using the Distributed Actor Model. CoRR abs/1805.06160 (2018) - [i1]Xusheng Chen, Shixiong Zhao, Cheng Wang, Senran Zhang, Heming Cui:
GEEC: Scalable, Efficient, and Consistent Consensus for Blockchains. CoRR abs/1808.02252 (2018) - 2017
- [c16]Jianyu Jiang, Shixiong Zhao, Danish Alsayed, Yuexuan Wang, Heming Cui, Feng Liang
Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security. ACSAC 2017: 79-90 - [c15]Cheng Wang, Jianyu Jiang, Xusheng Chen, Ning Yi, Heming Cui:
APUS: fast and scalable paxos on RDMA. SoCC 2017: 94-107 - [c14]Yuexuan Wang, Zhaoquan Gu, Lei Song, Tongyang Li
Speeding up 3D Printing Using Multi-Head Slicing Algorithms. ES 2017: 99-106 - [c13]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: 151-160 - 2016
- [c12]Cheng Wang, Jingyu Yang, Ning Yi, Heming Cui:
TRIPOD: An Efficient, Highly-available Cluster Management System. APSys 2016: 9:1-9:9 - [e1]Heming Cui, Francis C. M. Lau, Sorav Bansal, Lin Zhong:
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys '16, Hong Kong, China, August 4-5, 2016. ACM 2016, ISBN 978-1-4503-4265-0 [contents] - 2015
- [b1]Heming Cui:
Stable Multithreading: A New Paradigm for Reliable and Secure Threads. Columbia University, USA, 2015 - [c11]Heming Cui, Rui Gu, Cheng Liu, Junfeng Yang:
RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis. APSys 2015: 13:1-13:9 - [c10]Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen
Paxos made transparent. SOSP 2015: 105-120 - 2014
- [j1]Junfeng Yang, Heming Cui, Jingyue Wu, Yang Tang, Gang Hu:
Making parallel programs reliable with stable multithreading. Commun. ACM 57(3): 58-69 (2014) - 2013
- [c9]Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang:
Verifying systems rules using rule-directed symbolic execution. ASPLOS 2013: 329-342 - [c8]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 - [c7]Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson
Parrot: a practical runtime for deterministic, stable, and reliable threads. SOSP 2013: 388-405 - 2012
- [c6]Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang:
Sound and precise analysis of parallel programs through schedule specialization. PLDI 2012: 205-216 - 2011
- [c5]Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang:
Efficient deterministic multithreading through schedule relaxation. SOSP 2011: 337-351 - 2010
- [c4]Jingyue Wu, Heming Cui, Junfeng Yang:
Bypassing Races in Live Applications with Execution Filters. OSDI 2010: 135-149 - [c3]Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang:
Stable Deterministic Multithreading through Schedule Memoization. OSDI 2010: 207-221
2000 – 2009
- 2008
- [c2]Heming Cui, Cong Lin, Yong Xiang:
EBEM: An Event-driven Bandwidth Estimation Method for Mobile Ad Hoc Network. NAS 2008: 47-52 - [c1]Cong Lin, Yong Xiang, Heming Cui:
A multi-rate MAC protocol for mobile ad hoc networks and its cooperative extension. WICON 2008: 17
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-19 21:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: