Statistical methods for joint data mining of gene expression and DNA sequence database. - Marla D. Curran; Hong Liu; Fan Long; Nanxiang Ge (SIGKDD Explor., 2003)

Genome-wide prediction and analysis of function-specific transcription factor binding sites. - Fan Long; Hong Liu; Chang S. Hahn; Pavel Sumazin; Michael Q. Zhang; Asher Zilberstein (Silico Biol., 2004)

MODIST: Transparent Model Checking of Unmodified Distributed Systems. - Junfeng Yang; Tisheng Chen; Ming Wu 007; Zhilei Xu; Xuezheng Liu; Haoxiang Lin; Mao Yang 004; Fan Long; Lintao Zhang; Lidong Zhou (NSDI, 2009)

Api hyperlinking via structural overlap. - Fan Long; Xi Wang 005; Yang Cai 001 (ESEC/SIGSOFT FSE, 2009)

Language-based replay via data flow cut. - Ming Wu 007; Fan Long; Xi Wang 005; Zhilei Xu; Haoxiang Lin; Xuezheng Liu; Zhenyu Guo; Huayang Guo; Lidong Zhou; Zheng Zhang 001 (SIGSOFT FSE, 2010)

G2: A Graph Processing System for Diagnosing Distributed Systems. - Zhenyu Guo; Dong Zhou 006; Haoxiang Lin; Mao Yang 004; Fan Long; Chaoqiang Deng; Changshu Liu; Lidong Zhou (USENIX ATC, 2011)

Automatic input rectification. - Fan Long; Vijay Ganesh 001; Michael Carbin; Stelios Sidiroglou; Martin C. Rinard (ICSE, 2012)

From Natural Language Specifications to Program Input Parsers. - Tao Lei 001; Fan Long; Regina Barzilay; Martin C. Rinard (ACL (1), 2013)

Automatic runtime error repair and containment via recovery shepherding. - Fan Long; Stelios Sidiroglou-Douskos; Martin C. Rinard (PLDI, 2014)

Sound input filter generation for integer overflow errors. - Fan Long; Stelios Sidiroglou-Douskos; Deokhwan Kim; Martin C. Rinard (POPL, 2014)

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Nathan Rittenhouse; Paolo Piselli; Fan Long; Deokhwan Kim; Martin C. Rinard (ASPLOS, 2015)

Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. - Isaac Evans; Fan Long; Ulziibayar Otgonbaatar; Howard E. Shrobe; Martin C. Rinard; Hamed Okhravi; Stelios Sidiroglou-Douskos (CCS, 2015)

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. - Zichao Qi; Fan Long; Sara Achour; Martin C. Rinard (ISSTA, 2015)

Principled Sampling for Anomaly Detection. - Brendan Juba; Christopher Musco; Fan Long; Stelios Sidiroglou-Douskos; Martin C. Rinard (NDSS, 2015)

Automatic error elimination by horizontal code transfer across multiple applications. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Fan Long; Martin C. Rinard (PLDI, 2015)

Staged program repair with condition synthesis. - Fan Long; Martin C. Rinard (ESEC/SIGSOFT FSE, 2015)

An analysis of the search spaces for generate and validate patch generation systems. - Fan Long; Martin C. Rinard (ICSE, 2016)

Automatic patch generation by learning correct code. - Fan Long; Martin C. Rinard (POPL, 2016)

Automatic inference of code transforms for patch generation. - Fan Long; Peter Amidon; Martin C. Rinard (ESEC/SIGSOFT FSE, 2017)

CodeCarbonCopy. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Anthony Eden; Fan Long; Martin C. Rinard (ESEC/SIGSOFT FSE, 2017)

Scaling Nakamoto Consensus to Thousands of Transactions per Second. - Chenxing Li; Peilun Li; Wei Xu 005; Fan Long; Andrew Chi-Chih Yao (CoRR, 2018)

Detecting Standard Violation Errors in Smart Contracts. - Ao Li 009; Fan Long (CoRR, 2018)

Automatic patch generation via learning from successful human patches. - Fan Long (2018)

Securing Smart Contract On The Fly. - Ao Li 009; Jemin Andrew Choi; Fan Long (CoRR, 2019)

Engineering Economics in the Conflux Network. - Yuxi Cai; Fan Long; Andreas G. Park; Andreas G. Veneris (BRAINS, 2020)

Shrec: bandwidth-efficient transaction relay in high-throughput blockchain systems. - Yilin Han; Chenxing Li; Peilun Li; Ming Wu 007; Dong Zhou 006; Fan Long (SoCC, 2020)

Gosig: a scalable and high-performance byzantine consensus for consortium blockchains. - Peilun Li; Guosai Wang; Xiaoqi Chen; Fan Long; Wei Xu 005 (SoCC, 2020)

Securing smart contract with runtime validation. - Ao Li 009; Jemin Andrew Choi; Fan Long (PLDI, 2020)

A Decentralized Blockchain with High Throughput and Fast Confirmation. - Chenxing Li; Peilun Li; Dong Zhou 006; Zhe Yang; Ming Wu 007; Guang Yang 020; Wei Xu 005; Fan Long; Andrew Chi-Chih Yao (USENIX ATC, 2020)

GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks. - Chenxing Li; Fan Long; Guang Yang 020 (CoRR, 2020)

Smart Contracts Refinement for Gas Optimization. - Keerthi Nelaturu; Sidi Mohamed Beillahi; Fan Long; Andreas G. Veneris (BRAINS, 2021)

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture. - Ye Zhang; Shuo Wang 009; Xian Zhang 001; Jiangbin Dong; Xingzhong Mao; Fan Long; Cong Wang; Dong Zhou 006; Mingyu Gao 001; Guangyu Sun 003 (ISCA, 2021)

SigVM: Toward Fully Autonomous Smart Contracts. - Ryan Song; Zihan Zhao; Yuxi Cai; Andreas G. Veneris; Fan Long (CoRR, 2021)

Automatic Horizontal Fusion for GPU Kernels. - Ao Li 009; Bojian Zheng; Gennady Pekhimenko; Fan Long (CGO, 2022)

Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. - Sidi Mohamed Beillahi; Eric Keilty; Keerthi Nelaturu; Andreas G. Veneris; Fan Long (ICBC, 2022)

LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions. - Jemin Andrew Choi; Sidi Mohamed Beillahi; Peilun Li; Andreas G. Veneris; Fan Long (ICBC, 2022)

Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts. - Péter Garamvölgyi; Yuxi Liu; Dong Zhou 006; Fan Long; Ming Wu 007 (ICSE, 2022)

SigVM: enabling event-driven execution for truly decentralized smart contracts. - Zihan Zhao; Sidi Mohamed Beillahi; Ryan Song; Yuxi Cai; Andreas G. Veneris; Fan Long (Proc. ACM Program. Lang., 2022)

A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks. - Xun Deng; Zihan Zhao; Sidi Mohamed Beillahi; Han Du; Cyrus Minwalla; Keerthi Nelaturu; Andreas G. Veneris; Fan Long (DAPPS, 2023)

Möbius: an Atomic State Sharding Design for Account-Based Blockchains. - Srisht Fateh Singh; Panagiotis Michalopoulos; Sidi Mohamed Beillahi; Andreas G. Veneris; Fan Long (ICBC, 2023)

Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems. - Mingxun Zhou; Liyi Zeng; Yilin Han; Peilun Li; Fan Long; Dong Zhou 006; Ivan Beschastnikh; Ming Wu 007 (INFOCOM, 2023)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. - Zhiyang Chen 004; Sidi Mohamed Beillahi; Fan Long (ICSE, 2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations. - Xun Deng; Sidi Mohamed Beillahi; Cyrus Minwalla; Han Du; Andreas G. Veneris; Fan Long (ICSE, 2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (ASE, 2024)

Assessing Code Generation with Intermediate Languages. - Xun Deng; Sicheng Zhong; Honghua Dong; Jingyu Hu; Sidi Mohamed Beillahi; Xujie Si; Fan Long (CoRR, 2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (Proc. ACM Softw. Eng., 2024)

LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains. - Jemin Andrew Choi; Sidi Mohamed Beillahi; Srisht Fateh Singh; Panagiotis Michalopoulos; Peilun Li; Andreas G. Veneris; Fan Long (IEEE Trans. Netw. Serv. Manag., 2024)

LVMT: An Efficient Authenticated Storage for Blockchain. - Chenxing Li; Sidi Mohamed Beillahi; Guang Yang 020; Ming Wu 007; Wei Xu 005; Fan Long (ACM Trans. Storage, 2024)

Swin-MaskGNet: a robust robotic grasp pose detection model for densely occluded environments. - Aimin Wang; Jing Zhang; Li Hu; Rui Xia; Fan Long; Mingju Chen (J. Electronic Imaging, 2025)

Secure Smart Contract with Control Flow Integrity. - Zhiyang Chen; Sidi Mohamed Beillahi; Pasha Barahimi; Cyrus Minwalla; Han Du; Andreas G. Veneris; Fan Long (CoRR, 2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once. - Xun Deng; Sicheng Zhong; Andreas G. Veneris; Fan Long; Xujie Si (CoRR, 2025)

MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner. - Yichen Zhou; Chenxing Li; Fan Long (CoRR, 2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories. - Honghua Dong; Jiacheng Yang; Xun Deng; Yuhe Jiang; Gennady Pekhimenko; Fan Long; Xujie Si (CoRR, 2025)