Toddler: Detecting performance problems via similar memory-access patterns von Nistor, Adrian, Linhai Song, Marinov, Darko, Shan Lu

Volltext

Understanding and detecting real-world performance bugs von Jin, Guoliang, Song, Linhai, Shi, Xiaoming, Scherpelz, Joel, Lu, Shan

Volltext

Fixing, preventing, and recovering from concurrency bugs von Deng, DongDong, Jin, GuoLiang, de Kruijf, Marc, Li, Ang, Liblit, Ben, Lu, Shan, Qi, ShanXiang, Ren, JingLei, Sankaralingam, Karthikeyan, Song, LinHai, Wu, YongWei, Zhang, MingXing, Zhang, Wei, Zheng, WeiMin

Volltext

Algorithmic Profiling for Real-World Complexity Problems von Qin, Boqin, Tu, Tengfei, Liu, Ziheng, Yu, Tingting, Song, Linhai

Volltext

Understanding and Detecting Real-World Safety Issues in Rust von Qin, Boqin, Chen, Yilun, Liu, Haopeng, Zhang, Hua, Wen, Qiaoyan, Song, Linhai, Zhang, Yiying

Volltext

Generic go to go: dictionary-passing, monomorphisation, and hybrid von Ellis, Stephen, Zhu, Shuofei, Yoshida, Nobuko, Song, Linhai

Volltext

Statistical debugging for real-world performance problems von Song, Linhai, Lu, Shan

Volltext

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing von Xia, Shihao, He, Mengting, Song, Linhai, Zhang, Yiying

Volltext bestellen

Fine-Grained Library Customization von Song, Linhai, Xing, Xinyu

Volltext bestellen

Toddler: detecting performance problems via similar memory-access patterns von Nistor, Adrian, Song, Linhai, Marinov, Darko, Lu, Shan

Volltext

Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid von Ellis, Stephen, Zhu, Shuofei, Yoshida, Nobuko, Song, Linhai

Volltext

AuditGPT: Auditing Smart Contracts with ChatGPT von Xia, Shihao, Shao, Shuai, He, Mengting, Yu, Tingting, Song, Linhai, Zhang, Yiying

Volltext bestellen

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs von He, Mengting, Xia, Shihao, Qin, Boqin, Yoshida, Nobuko, Yu, Tingting, Song, Linhai, Zhang, Yiying

Volltext bestellen

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing von Xia, Shihao, He, Mengting, Song, Linhai, Zhang, Yiying

Volltext

Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software von Yu, Zeming, Song, Linhai, Zhang, Yiying

Volltext bestellen

Adhesive tape viscosity testing device von YANG CHEN, SONG LINHAI

Volltext bestellen

ContentEx: A framework for automatic content extraction programs von Linhai Song, Xueqi Cheng, Yan Guo, Yue Liu, Guodong Ding

Volltext bestellen

Fine-Grained Library Customization von Song, Linhai, Xing, Xinyu

Volltext

AuditGPT: Auditing Smart Contracts with ChatGPT von Xia, Shihao, Shao, Shuai, He, Mengting, Yu, Tingting, Song, Linhai, Zhang, Yiying

Volltext

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs von He, Mengting, Xia, Shihao, Qin, Boqin, Yoshida, Nobuko, Yu, Tingting, Song, Linhai, Zhang, Yiying

Volltext