Publications (20)
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
Fan Long, Martin Rinard
Automatic Horizontal Fusion for GPU Kernels
Ao Li, Bojian Zheng, Gennady Pekhimenko +1
Scam2Prompt: A Scalable Framework for Auditing Malicious Scam Endpoints in Production LLMs
Zhiyang Chen, Tara Saba, Xun Deng +2
Securing Smart Contract On The Fly
Ao Li, Jemin Andrew Choi, Fan Long
Safeguarding DeFi Smart Contracts against Oracle Deviations
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla +3
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
Péter Garamvölgyi, Yuxi Liu, Dong Zhou +2
GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks
Chenxing Li, Fan Long, Guang Yang
Detecting Standard Violation Errors in Smart Contracts
Ao Li, Fan Long
VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
Xun Deng, Sicheng Zhong, BarıŠBayazıt +3
Enforcing Control Flow Integrity on DeFi Smart Contracts
Zhiyang Chen, Sidi Mohamed Beillahi, Pasha Barahimi +4
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
Honghua Dong, Jiacheng Yang, Xun Deng +4
CuTeGen: An LLM-Based Agentic Framework for Generation and Optimization of High-Performance GPU Kernels using CuTe
Tara Saba, Zhiyang Chen, Jikai Jason Li +3
MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
Yichen Zhou, Chenxing Li, Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
Engineering Economics in the Conflux Network
Yuxi Cai, Fan Long, Andreas Park +1
Assessing Code Generation with Intermediate Languages
Xun Deng, Sicheng Zhong, Honghua Dong +4
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song +3
Scaling Nakamoto Consensus to Thousands of Transactions per Second
Chenxing Li, Peilun Li, Dong Zhou +3
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long