Fan Long

Orcid: 0000-0001-7973-1188

According to our database1, Fan Long authored at least 48 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
CoRR, 2024

Assessing Code Generation with Intermediate Languages.
CoRR, 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
CodeCarbonCopy.
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


  Loading...