2025
Swin-MaskGNet: a robust robotic grasp pose detection model for densely occluded environments.
J. Electronic Imaging, 2025
2024
LVMT: An Efficient Authenticated Storage for Blockchain.
ACM Trans. Storage, August, 2024
LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains.
IEEE Trans. Netw. Serv. Manag., April, 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts.
Proc. ACM Softw. Eng., 2024
Assessing Code Generation with Intermediate Languages.
CoRR, 2024
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Safeguarding DeFi Smart Contracts against Oracle Deviations.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems.
Proceedings of the IEEE INFOCOM 2023, 2023
Möbius: an Atomic State Sharding Design for Account-Based Blockchains.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks.
Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023
2022
SigVM: enabling event-driven execution for truly decentralized smart contracts.
Proc. ACM Program. Lang., 2022
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022
Automatic Horizontal Fusion for GPU Kernels.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
2021
SigVM: Toward Fully Autonomous Smart Contracts.
CoRR, 2021
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture.
Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021
Smart Contracts Refinement for Gas Optimization.
Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021
2020
GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks.
CoRR, 2020
A Decentralized Blockchain with High Throughput and Fast Confirmation.
Proceedings of the 2020 USENIX Annual Technical Conference, 2020
Securing smart contract with runtime validation.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Gosig: a scalable and high-performance byzantine consensus for consortium blockchains.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020
Shrec: bandwidth-efficient transaction relay in high-throughput blockchain systems.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020
Engineering Economics in the Conflux Network.
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020
2019
Securing Smart Contract On The Fly.
CoRR, 2019
2018
Automatic patch generation via learning from successful human patches.
PhD thesis, 2018
Detecting Standard Violation Errors in Smart Contracts.
CoRR, 2018
Scaling Nakamoto Consensus to Thousands of Transactions per Second.
CoRR, 2018
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Automatic inference of code transforms for patch generation.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
2016
Automatic patch generation by learning correct code.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
An analysis of the search spaces for generate and validate patch generation systems.
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Staged program repair with condition synthesis.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Automatic error elimination by horizontal code transfer across multiple applications.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Principled Sampling for Anomaly Detection.
Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015
2014
Sound input filter generation for integer overflow errors.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Automatic runtime error repair and containment via recovery shepherding.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
2013
From Natural Language Specifications to Program Input Parsers.
Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, 2013
2012
Automatic input rectification.
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
G2: A Graph Processing System for Diagnosing Distributed Systems.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011
2010
Language-based replay via data flow cut.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
2009
Api hyperlinking via structural overlap.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
MODIST: Transparent Model Checking of Unmodified Distributed Systems.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
2004
Genome-wide prediction and analysis of function-specific transcription factor binding sites.
Silico Biol., 2004
2003
Statistical methods for joint data mining of gene expression and DNA sequence database.
SIGKDD Explor., 2003