Fairness-aware shared relay assignment for cooperative communications. - Hongli Xu; Liusheng Huang; Hou Deng; Chunming Qiao; Yude Lin (ICC, 2014)

Looking Closer at Compositional Symbolic Execution. - Yude Lin; Tim Miller 001 (ASWEC (2), 2015)

Compositional Symbolic Execution Using Fine-Grained Summaries. - Yude Lin; Tim Miller 001; Harald Søndergaard (ASWEC, 2015)

Compositional Symbolic Execution: Incremental Solving Revisited. - Yude Lin; Tim Miller 001; Harald Søndergaard (APSEC, 2016)

Symbolic execution with over-approximation. - Yude Lin (2017)

Jade: A High-throughput Concurrent Copying Garbage Collector. - Mingyu Wu 001; Liang Mao; Yude Lin; Yifeng Jin; Zhe Li 037; Hongtao Lyu; Jiawei Tang; Xiaowei Lu; Hao Tang; Denghui Dong; Haibo Chen 001; Binyu Zang (EuroSys, 2024)