Yude Lin

According to our database, Yude Lin authored at least 5 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Symbolic execution with over-approximation.

Yude Lin

PhD thesis, 2017

2016

Compositional Symbolic Execution: Incremental Solving Revisited.

Yude Lin, Tim Miller, Harald Søndergaard

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Compositional Symbolic Execution Using Fine-Grained Summaries.

Yude Lin, Tim Miller, Harald Søndergaard

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Looking Closer at Compositional Symbolic Execution.

Yude Lin, Tim Miller

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

Fairness-aware shared relay assignment for cooperative communications.

Hongli Xu, Liusheng Huang, Hou Deng, Chunming Qiao, Yude Lin

Proceedings of the IEEE International Conference on Communications, 2014