DOI,IST REx ID,Research Group,Title of publication
10.1145/3776682,21041,MiSa,Endangered by the language but saved by the compiler: Robust safety via semantic back-translation