Mohan Cui

Orcid: 0000-0001-5117-5829

According to our database1, Mohan Cui authored at least 3 papers in 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
ACM Trans. Softw. Eng. Methodol., July, 2023

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

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


  Loading...