Zeming Yu

Orcid: 0009-0005-5332-1400

According to our database¹, Zeming Yu authored at least 3 papers between 2019 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery.

[DOI]

Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 2026

2020

Understanding memory and thread safety practices and issues in real-world Rust programs.

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software.

[DOI]

CoRR, 2019