This project area includes our work on automated translation of software across programming languages. Also see related page on KISP lab’s website.