Linhai Song

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 24

Top Topics

Software Systems

Finer Granularity

Top Venues

Publications

Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. CoRR (2024)
Boqin Qin, Yilun Chen, Haopeng Liu, Hua Zhang, Qiaoyan Wen, Linhai Song, Yiying Zhang
Understanding and Detecting Real-World Safety Issues in Rust. IEEE Trans. Software Eng. 50 (6) (2024)
Wenzhang Yang, Linhai Song, Yinxing Xue
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation. ICSE (2024)
Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang
AuditGPT: Auditing Smart Contracts with ChatGPT. CoRR (2024)
Boqin Qin, Tengfei Tu, Ziheng Liu, Tingting Yu, Linhai Song
Algorithmic Profiling for Real-World Complexity Problems. IEEE Trans. Software Eng. 48 (7) (2022)
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
Generic go to go: dictionary-passing, monomorphisation, and hybrid. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. CoRR (2022)
Ziyi Zhang, Shuofei Zhu, Jaron Mink, Aiping Xiong, Linhai Song, Gang Wang
Beyond Bot Detection: Combating Fraudulent Online Survey Takers✱. WWW (2022)
Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu
Who goes first? detecting go concurrency bugs via message reordering. ASPLOS (2022)
Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, Linhai Song
Learning and Programming Challenges of Rust: A Mixed-Methods Study. ICSE (2022)
Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, Linhai Song
Automatically detecting and fixing concurrency bugs in go software systems. ASPLOS (2021)
Shuofei Zhu, Ziyi Zhang, Limin Yang, Linhai Song, Gang Wang
Benchmarking Label Dynamics of VirusTotal Engines. CCS (2020)
Bangwen Deng, Wenfei Wu, Linhai Song
Redundant Logic Elimination in Network Functions. SOSR (2020)
Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang
Understanding memory and thread safety practices and issues in real-world Rust programs. PLDI (2020)
Shuofei Zhu, Jianjun Shi, Limin Yang, Boqin Qin, Ziyi Zhang, Linhai Song, Gang Wang
Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines. USENIX Security Symposium (2020)
Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang
VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust. CCS (2020)
Peng Peng, Limin Yang, Linhai Song, Gang Wang
Opening the Blackbox of VirusTotal: Analyzing Online Phishing Scan Engines. Internet Measurement Conference (2019)
Tengfei Tu, Xiaoyu Liu, Linhai Song, Yiying Zhang
Understanding Real-World Concurrency Bugs in Go. ASPLOS (2019)
Zeming Yu, Linhai Song, Yiying Zhang
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software. CoRR (2019)
Linhai Song, Xinyu Xing
Fine-Grained Library Customization. CoRR (2018)
Linhai Song, Shan Lu
Performance diagnosis for inefficient loops. ICSE (2017)
Linhai Song, Heqing Huang, Wu Zhou, Wenfei Wu, Yiying Zhang
Learning from Big Malwares. APSys (2016)
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
Fixing, preventing, and recovering from concurrency bugs. Sci. China Inf. Sci. 58 (5) (2015)
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, Shan Lu
What change history tells us about thread synchronization. ESEC/SIGSOFT FSE (2015)
Linhai Song, Min Feng, Nishkam Ravi, Yi Yang, Srimat T. Chakradhar
COMP: Compiler Optimizations for Manycore Processors. MICRO (2014)
Linhai Song, Shan Lu
Statistical debugging for real-world performance problems. OOPSLA (2014)
Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu
Toddler: detecting performance problems via similar memory-access patterns. ICSE (2013)
Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu
Understanding and detecting real-world performance bugs. PLDI (2012)
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
Automated atomicity-violation fixing. PLDI (2011)
Yan Guo, Huifeng Tang, Linhai Song, Yu Wang, Guodong Ding
ECON: An Approach to Extract Content from Web News Page. APWeb (2010)
Feng Guan, Xiaoming Yu, Zeying Peng, Hongbo Xu, Yue Liu, Linhai Song, Xueqi Cheng
ICTNET at Web Track 2009 Ad-hoc Task. TREC (2009)
Bo Wu, Xueqi Cheng, Yu Wang, Yan Guo, Linhai Song
Simultaneous Product Attribute Name and Value Extraction from Web Pages. Web Intelligence/IAT Workshops (2009)
Linhai Song, Xueqi Cheng, Yan Guo, Yue Liu, Guodong Ding
ContentEx: A framework for automatic content extraction programs. ISI (2009)
Xueke Xu, Yue Liu, Hongbo Xu, Xiaoming Yu, Linhai Song, Feng Guan, Zeying Peng, Xueqi Cheng
ICTNET at Blog Track TREC 2009. TREC (2009)