Linhai Song

42 papers A* 15A 2C 2Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction.
CoRR
Shihao Xia, Mengting He, Haomin Jia, Linhai Song
2026 J jnl
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels.
CoRR
Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song
2025 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs.
IEEE Trans. Software Eng.
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, Linhai Song
2025 J jnl
MicroMoE: Fine-Grained Load Balancing for Mixture-of-Experts with Token Scheduling.
CoRR
Chenqi Zhao, Wenfei Wu, Linhai Song, Yuchen Xu
2025 — conf
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.
LLM4Code@ICSE
Shihao Xia, Mengting He, Linhai Song, Yiying Zhang
2025 J jnl
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.
CoRR
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Linhai Song
2024 J jnl
AuditGPT: Auditing Smart Contracts with ChatGPT.
CoRR
Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang
2024 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.
CoRR
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang
2024 A* conf
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation.
ICSE
Wenzhang Yang, Linhai Song, Yinxing Xue
2024 J jnl
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.
CoRR
Shihao Xia, Mengting He, Linhai Song, Yiying Zhang
2024 J jnl
Understanding and Detecting Real-World Safety Issues in Rust.
IEEE Trans. Software Eng.
Boqin Qin, Yilun Chen, Haopeng Liu, Hua Zhang, Qiaoyan Wen, Linhai Song, Yiying Zhang
2022 J jnl
Algorithmic Profiling for Real-World Complexity Problems.
IEEE Trans. Software Eng.
Boqin Qin, Tengfei Tu, Ziheng Liu, Tingting Yu, Linhai Song
2022 A* conf
Beyond Bot Detection: Combating Fraudulent Online Survey Takers✱.
WWW
Ziyi Zhang, Shuofei Zhu, Jaron Mink, Aiping Xiong, Linhai Song, Gang Wang
2022 J jnl
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid.
CoRR
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
2022 J jnl
Generic go to go: dictionary-passing, monomorphisation, and hybrid.
Proc. ACM Program. Lang.
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
2022 A* conf
Learning and Programming Challenges of Rust: A Mixed-Methods Study.
ICSE
Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, Linhai Song
2022 A* conf
Who goes first? detecting go concurrency bugs via message reordering.
ASPLOS
Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu
2021 A* conf
Automatically detecting and fixing concurrency bugs in go software systems.
ASPLOS
Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, Linhai Song
2020 A* conf
Benchmarking Label Dynamics of VirusTotal Engines.
CCS
Shuofei Zhu, Ziyi Zhang, Limin Yang, Linhai Song, Gang Wang
2020 A* conf
Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines.
USENIX Security Symposium
Shuofei Zhu, Jianjun Shi, Limin Yang, Boqin Qin, Ziyi Zhang, Linhai Song, Gang Wang
2020 — conf
Redundant Logic Elimination in Network Functions.
SOSR
Bangwen Deng, Wenfei Wu, Linhai Song
2020 A* conf
Understanding memory and thread safety practices and issues in real-world Rust programs.
PLDI
Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang
2020 A* conf
VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust.
CCS
Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang
2019 — conf
Automated Finite State Machine Extraction.
FEAST@CCS
Yongheng Chen, Linhai Song, Xinyu Xing, Fengyuan Xu, Wenfei Wu
2019 J jnl
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software.
CoRR
Zeming Yu, Linhai Song, Yiying Zhang
2019 A conf
Opening the Blackbox of VirusTotal: Analyzing Online Phishing Scan Engines.
Internet Measurement Conference
Peng Peng, Limin Yang, Linhai Song, Gang Wang
2019 A* conf
Understanding Real-World Concurrency Bugs in Go.
ASPLOS
Tengfei Tu, Xiaoyu Liu, Linhai Song, Yiying Zhang
2018 J jnl
Fine-Grained Library Customization.
CoRR
Linhai Song, Xinyu Xing
2017 A* conf
Performance diagnosis for inefficient loops.
ICSE
Linhai Song, Shan Lu
2016 — conf
Learning from Big Malwares.
APSys
Linhai Song, Heqing Huang, Wu Zhou, Wenfei Wu, Yiying Zhang
2015 J jnl
Fixing, preventing, and recovering from concurrency bugs.
Sci. China Inf. Sci.
Dongdong Deng, Guoliang Jin, Marc de Kruijf, Ang Li, Ben Liblit, Shan Lu, Shanxiang Qi, Jinglei Ren, Karthikeyan Sankaralingam, Linhai Song, Yongwei Wu, Mingxing Zhang, Wei Zhang, Weimin Zheng
2015 — conf
What change history tells us about thread synchronization.
ESEC/SIGSOFT FSE
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, Shan Lu
2014 A* conf
COMP: Compiler Optimizations for Manycore Processors.
MICRO
Linhai Song, Min Feng, Nishkam Ravi, Yi Yang, Srimat T. Chakradhar
2014 A conf
Statistical debugging for real-world performance problems.
OOPSLA
Linhai Song, Shan Lu
2013 A* conf
Toddler: detecting performance problems via similar memory-access patterns.
ICSE
Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu
2012 A* conf
Understanding and detecting real-world performance bugs.
PLDI
Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu
2011 A* conf
Automated atomicity-violation fixing.
PLDI
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2010 C conf
ECON: An Approach to Extract Content from Web News Page.
APWeb
Yan Guo, Huifeng Tang, Linhai Song, Yu Wang, Guodong Ding
2009 C conf
ContentEx: A framework for automatic content extraction programs.
ISI
Linhai Song, Xueqi Cheng, Yan Guo, Yue Liu, Guodong Ding
2009 — conf
ICTNET at Blog Track TREC 2009.
TREC
Xueke Xu, Yue Liu, Hongbo Xu, Xiaoming Yu, Linhai Song, Feng Guan, Zeying Peng, Xueqi Cheng
2009 — conf
ICTNET at Web Track 2009 Ad-hoc Task.
TREC
Feng Guan, Xiaoming Yu, Zeying Peng, Hongbo Xu, Yue Liu, Linhai Song, Xueqi Cheng
2009 — conf
Simultaneous Product Attribute Name and Value Extraction from Web Pages.
Web Intelligence/IAT Workshops
Bo Wu, Xueqi Cheng, Yu Wang, Yan Guo, Linhai Song