Mohan Cui

According to our database, Mohan Cui authored at least 6 papers between 2023 and 2024.

Collaborative distances:

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

2024

rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust.

Mohan Cui, Hui Xu, Hongliang Tian, Yangfan Zhou

IEEE Trans. Software Eng., September, 2024

SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach.

Yan Dong, Zhicong Zhang, Mohan Cui, Hui Xu

Softw. Test. Verification Reliab., August, 2024

Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.

Mohan Cui, Shuran Sun, Hui Xu, Yangfan Zhou

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.

Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou

ACM Trans. Softw. Eng. Methodol., July, 2023

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust.

Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou

CoRR, 2023

Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.

Mohan Cui, Suran Sun, Hui Xu, Yangfan Zhou

CoRR, 2023