MOE Tier 2 grant for memory safety with Prateek Saxena

Prateek Saxena (PI) and Umang Mathur (co-PI) have been awarded a Ministry of Education Tier 2 grant for “Memory Safety Through Abstracted Program Translation”. The project investigates automatic translation from C to Rust to improve memory safety. Research support.