Linhai Song
Penn State University
H-index: 16
North America-United States
Top articles of Linhai Song
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation
2024/4/12
Linhai Song
H-Index: 12
Yinxing Xue
H-Index: 17
AuditGPT: Auditing Smart Contracts with ChatGPT
arXiv preprint arXiv:2404.04306
2024/4/5
Understanding and Detecting Real-World Safety Issues in Rust
IEEE Transactions on Software Engineering
2024/3/25
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
arXiv preprint arXiv:2403.02661
2024/3/5
Generic go to go: dictionary-passing, monomorphisation, and hybrid
Proceedings of the ACM on Programming Languages
2022/10/31
Learning and programming challenges of rust: A mixed-methods study
Proceedings of the 44th International Conference on Software Engineering
2022/5/21
Shuofei Zhu
H-Index: 2
Ziyi Zhang
H-Index: 0
Boqin Qin
H-Index: 2
Aiping Xiong
H-Index: 8
Linhai Song
H-Index: 12
Beyond bot detection: combating fraudulent online survey takers✱
2022/4/25
Who goes first? detecting go concurrency bugs via message reordering
2022/2/28
Automatically detecting and fixing concurrency bugs in go software systems
2021/4/19
Algorithmic profiling for real-world complexity problems
IEEE Transactions on Software Engineering
2021/3/22
Benchmarking label dynamics of virustotal engines
2020/10/30
Shuofei Zhu
H-Index: 2
Ziyi Zhang
H-Index: 0
Limin Yang
H-Index: 6
Linhai Song
H-Index: 12
Gang Wang
H-Index: 28
VRLifeTime--An IDE Tool to Avoid Concurrency and Memory Bugs in Rust
2020/10/30
Ziyi Zhang
H-Index: 0
Boqin Qin
H-Index: 2
Yilun Chen
H-Index: 22
Linhai Song
H-Index: 12
Yiying Zhang
H-Index: 12
Understanding memory and thread safety practices and issues in real-world Rust programs
2020/6/11
Redundant logic elimination in network functions
2020/3/3
Measuring and modeling the label dynamics of online {Anti-Malware} engines
2020