2025
EffiBench-X: A Multi-Language Benchmark for Measuring Efficiency of LLM-Generated Code.
,
,
,
,
,
,
,
,
,
,
,
CoRR, May, 2025
GraspVLA: a Grasping Foundation Model Pre-trained on Billion-scale Synthetic Action Data.
,
,
,
,
,
,
,
,
,
,
,
CoRR, May, 2025
K2: On Optimizing Distributed Transactions in a Multi-region Data Store with TrueTime Clocks (Extended Version).
CoRR, April, 2025
Robust Deep Reinforcement Learning in Robotics via Adaptive Gradient-Masked Adversarial Attacks.
,
,
,
,
,
,
,
,
,
,
CoRR, March, 2025
State-Aware Perturbation Optimization for Robust Deep Reinforcement Learning.
CoRR, March, 2025
OMEGA: Efficient Occlusion-Aware Navigation for Air-Ground Robots in Dynamic Environments via State Space Model.
IEEE Robotics Autom. Lett., February, 2025
Hecate: Unlocking Efficient Sparse Model Training via Fully Sharded Sparse Data Parallelism.
,
,
,
,
,
,
,
,
,
,
CoRR, February, 2025
Opera: Achieving Secure and High-Performance OLAP with Parallelized Homomorphic Comparisons.
Proceedings of the IEEE Symposium on Security and Privacy, 2025
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025
Rethinking Adversarial Attacks in Reinforcement Learning from Policy Distribution Perspective.
Proceedings of the 2025 IEEE International Conference on Acoustics, 2025
2024
HE-Nav: A High-Performance and Efficient Navigation System for Aerial-Ground Robots in Cluttered Environments.
IEEE Robotics Autom. Lett., November, 2024
A survey on hybrid transactional and analytical processing.
VLDB J., September, 2024
Neuron Sensitivity-Guided Test Case Selection.
ACM Trans. Softw. Eng. Methodol., September, 2024
RelJoin: Relative-cost-based selection of distributed join methods for query plan optimization.
Inf. Sci., February, 2024
Effi-Code: Unleashing Code Efficiency in Language Models.
CoRR, 2024
Towards Synergistic, Generalized, and Efficient Dual-System for Robotic Manipulation.
CoRR, 2024
Rethinking the Influence of Source Code on Test Case Generation.
CoRR, 2024
OMEGA: Efficient Occlusion-Aware Navigation for Air-Ground Robot in Dynamic Environments via State Space Model.
CoRR, 2024
Hybrid-Parallel: Achieving High Performance and Energy Efficient Distributed Inference on Robots.
CoRR, 2024
SOAP: Enhancing Efficiency of Generated Code via Self-Optimization.
CoRR, 2024
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability.
CoRR, 2024
EffiBench: Benchmarking the Efficiency of Automatically Generated Code.
CoRR, 2024
Learning Manipulation by Predicting Interaction.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Robotics: Science and Systems XX, 2024
Closed-Loop Visuomotor Control with Generative Expectation for Robotic Manipulation.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
EffiBench: Benchmarking the Efficiency of Automatically Generated Code.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
EffiLearner: Enhancing Efficiency of Generated Code via Self-Optimization.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM.
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.
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.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
HEDAS: Secure and Efficient Distributed OLAP Using Fully Homomorphic Encryption.
Proceedings of the Computer Security. ESORICS 2024 International Workshops, 2024
High-Performance Confidentiality-Preserving Blockchain via GPU-Accelerated Fully Homomorphic Encryption.
Proceedings of the Advanced Information Systems Engineering Workshops, 2024
New Problems in Distributed Inference for DNN Models on Robotic IoT.
Proceedings of the 2024 Workshop on Advanced Tools, 2024
2023
Rethink Query Optimization in HTAP Databases.
Proc. ACM Manag. Data, December, 2023
Fold3D: Rethinking and Parallelizing Computational and Communicational Tasks in the Training of Large DNN Models.
IEEE Trans. Parallel Distributed Syst., May, 2023
Coorp: Satisfying Low-Latency and High-Throughput Requirements of Wireless Network for Coordinated Robotic Learning.
,
,
,
,
,
,
,
,
,
,
,
IEEE Internet Things J., February, 2023
A Geography-Based P2P Overlay Network for Fast and Robust Blockchain Systems.
IEEE Trans. Serv. Comput., 2023
AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation.
CoRR, 2023
Bias Assessment and Mitigation in LLM-based Code Generation.
CoRR, 2023
CodeCoT and Beyond: Learning to Program and Test like a Developer.
CoRR, 2023
FMT: Removing Backdoor Feature Maps via Feature Map Testing in Deep Neural Networks.
CoRR, 2023
Feature Map Testing for Deep Neural Networks.
CoRR, 2023
Neuron Sensitivity Guided Test Case Selection for Deep Learning Testing.
CoRR, 2023
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.
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.
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.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Towards Building More Robust Models with Frequency Bias.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
New Problems in Active Sampling for Mobile Robotic Online Learning.
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.
,
,
,
,
,
,
,
,
,
,
,
,
IEEE Trans. Parallel Distributed Syst., 2022
DAENet: Making Strong Anonymity Scale in a Fully Decentralized Network.
IEEE Trans. Dependable Secur. Comput., 2022
Securing Big Data Scientific Workflows via Trusted Heterogeneous Environments.
IEEE Trans. Dependable Secur. Comput., 2022
Efficient and DoS-resistant Consensus for Permissioned Blockchains.
,
,
,
,
,
,
,
,
,
,
,
,
Perform. Evaluation, 2022
Two Heads are Better than One: Robust Learning Meets Multi-branch Models.
CoRR, 2022
SOTER: Guarding Black-box Inference for General Neural Networks at the Edge.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2022 USENIX Annual Technical Conference, 2022
CRONUS: Fault-isolated, Secure and High-performance Heterogeneous Computing for Trusted Execution Environment.
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
ROG: A High Performance and Robust Distributed Training System for Robotic IoT.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
Evaluating and Improving Neural Program-Smoothing-based Fuzzing.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
One Fuzzing Strategy to Rule Them All.
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.
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.
,
,
,
,
,
,
,
,
,
,
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021
A Novel Memory Management for RISC-V Enclaves.
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.
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.
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.
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.
Proceedings of the 17th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2020
HAMS: High Availability for Distributed Machine Learning Service Graphs.
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.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020
Uranus: Simple, Efficient SGX Programming and its Applications.
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.
IEEE J. Sel. Areas Commun., 2019
Fulva: Efficient Live Migration for In-Memory Key-Value Stores with Zero Downtime.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019
SecDATAVIEW: a secure big data workflow management system for heterogeneous computing environments.
Proceedings of the 35th Annual Computer Security Applications Conference, 2019
2018
Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning.
IEEE Trans. Parallel Distributed Syst., 2018
GEEC: Scalable, Efficient, and Consistent Consensus for Blockchains.
CoRR, 2018
Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks.
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference, 2018
Effectively Mitigating I/O Inactivity in vCPU Scheduling.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2018 USENIX Annual Technical Conference, 2018
How Local Information Improves Rendezvous in Cognitive Radio Networks.
Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018
PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance.
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.
Proceedings of the 15th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2018
OWL: Understanding and Detecting Concurrency Attacks.
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.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017
Speeding up 3D Printing Using Multi-Head Slicing Algorithms.
Proceedings of the 5th International Conference on Enterprise Systems, 2017
APUS: fast and scalable paxos on RDMA.
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.
Proceedings of the 33rd Annual Computer Security Applications Conference, 2017
2016
TRIPOD: An Efficient, Highly-available Cluster Management System.
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016
2015
Stable Multithreading: A New Paradigm for Reliable and Secure Threads.
PhD thesis, 2015
Proceedings of the 25th Symposium on Operating Systems Principles, 2015
RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015
2014
Making parallel programs reliable with stable multithreading.
Commun. ACM, 2014
2013
Parrot: a practical runtime for deterministic, stable, and reliable threads.
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.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013
Verifying systems rules using rule-directed symbolic execution.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
2012
Sound and precise analysis of parallel programs through schedule specialization.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
2011
Efficient deterministic multithreading through schedule relaxation.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
2010
Bypassing Races in Live Applications with Execution Filters.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Stable Deterministic Multithreading through Schedule Memoization.
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.
Proceedings of the 4th Annual International Conference on Wireless Internet, 2008
EBEM: An Event-driven Bandwidth Estimation Method for Mobile Ad Hoc Network.
Proceedings of The 2008 IEEE International Conference on Networking, 2008