default search action
Linhai Song
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j4]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): 1306-1324 (2024) - [c25]Wenzhang Yang, Linhai Song, Yinxing Xue:
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation. ICSE 2024: 85:1-85:13 - [i5]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 abs/2403.02661 (2024) - [i4]Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang:
AuditGPT: Auditing Smart Contracts with ChatGPT. CoRR abs/2404.04306 (2024) - 2022
- [j3]Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song:
Generic go to go: dictionary-passing, monomorphisation, and hybrid. Proc. ACM Program. Lang. 6(OOPSLA2): 1207-1235 (2022) - [j2]Boqin Qin, Tengfei Tu, Ziheng Liu, Tingting Yu, Linhai Song:
Algorithmic Profiling for Real-World Complexity Problems. IEEE Trans. Software Eng. 48(7): 2680-2694 (2022) - [c24]Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu:
Who goes first? detecting go concurrency bugs via message reordering. ASPLOS 2022: 888-902 - [c23]Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, Linhai Song:
Learning and Programming Challenges of Rust: A Mixed-Methods Study. ICSE 2022: 1269-1281 - [c22]Ziyi Zhang, Shuofei Zhu, Jaron Mink, Aiping Xiong, Linhai Song, Gang Wang:
Beyond Bot Detection: Combating Fraudulent Online Survey Takers✱. WWW 2022: 699-709 - [i3]Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song:
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. CoRR abs/2208.06810 (2022) - 2021
- [c21]Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, Linhai Song:
Automatically detecting and fixing concurrency bugs in go software systems. ASPLOS 2021: 616-629 - 2020
- [c20]Shuofei Zhu, Ziyi Zhang, Limin Yang, Linhai Song, Gang Wang:
Benchmarking Label Dynamics of VirusTotal Engines. CCS 2020: 2081-2083 - [c19]Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang:
VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust. CCS 2020: 2085-2087 - [c18]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: 763-779 - [c17]Bangwen Deng, Wenfei Wu, Linhai Song:
Redundant Logic Elimination in Network Functions. SOSR 2020: 34-40 - [c16]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: 2361-2378
2010 – 2019
- 2019
- [c15]Tengfei Tu, Xiaoyu Liu, Linhai Song, Yiying Zhang:
Understanding Real-World Concurrency Bugs in Go. ASPLOS 2019: 865-878 - [c14]Peng Peng, Limin Yang, Linhai Song, Gang Wang:
Opening the Blackbox of VirusTotal: Analyzing Online Phishing Scan Engines. Internet Measurement Conference 2019: 478-485 - [i2]Zeming Yu, Linhai Song, Yiying Zhang:
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software. CoRR abs/1902.01906 (2019) - 2018
- [i1]Linhai Song, Xinyu Xing:
Fine-Grained Library Customization. CoRR abs/1810.11128 (2018) - 2017
- [c13]Linhai Song, Shan Lu:
Performance diagnosis for inefficient loops. ICSE 2017: 370-380 - 2016
- [c12]Linhai Song, Heqing Huang, Wu Zhou, Wenfei Wu, Yiying Zhang:
Learning from Big Malwares. APSys 2016: 12:1-12:8 - 2015
- [j1]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): 1-18 (2015) - [c11]Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, Shan Lu:
What change history tells us about thread synchronization. ESEC/SIGSOFT FSE 2015: 426-438 - 2014
- [c10]Linhai Song, Min Feng, Nishkam Ravi, Yi Yang, Srimat T. Chakradhar:
COMP: Compiler Optimizations for Manycore Processors. MICRO 2014: 659-671 - [c9]Linhai Song, Shan Lu:
Statistical debugging for real-world performance problems. OOPSLA 2014: 561-578 - 2013
- [c8]Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu:
Toddler: detecting performance problems via similar memory-access patterns. ICSE 2013: 562-571 - 2012
- [c7]Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu:
Understanding and detecting real-world performance bugs. PLDI 2012: 77-88 - 2011
- [c6]Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit:
Automated atomicity-violation fixing. PLDI 2011: 389-400 - 2010
- [c5]Yan Guo, Huifeng Tang, Linhai Song, Yu Wang, Guodong Ding:
ECON: An Approach to Extract Content from Web News Page. APWeb 2010: 314-320
2000 – 2009
- 2009
- [c4]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: 295-298 - [c3]Linhai Song, Xueqi Cheng, Yan Guo, Yue Liu, Guodong Ding:
ContentEx: A framework for automatic content extraction programs. ISI 2009: 188-190 - [c2]Feng Guan, Xiaoming Yu, Zeying Peng, Hongbo Xu, Yue Liu, Linhai Song, Xueqi Cheng:
ICTNET at Web Track 2009 Ad-hoc Task. TREC 2009 - [c1]Xueke Xu, Yue Liu, Hongbo Xu, Xiaoming Yu, Linhai Song, Feng Guan, Zeying Peng, Xueqi Cheng:
ICTNET at Blog Track TREC 2009. TREC 2009
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint