This project area includes our work on automated translation of software across programming languages. Also see related page on KISP lab’s website.
Research Support
Memory Safety Through Abstracted Program Translation — Ministry of Education, Singapore, Tier 2 Grant (2026; Co-Principal Investigator).
Related Discussion
Ben Livshits discusses our work on program skeletons, interpreter translation, and adversarial-agent collaboration in Automating C to Safe Rust Translation (September 2026).