Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Niklas Mück, Aïna Linn Georges, Derek Dreyer, Deepak Garg 0001, Michael Sammler. Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation. Proceedings of the ACM on Programming Languages, 10(POPL):1153-1182, 2026. [doi]

This author has not been identified. Look up 'Niklas Mück' in GoogleThis author has not been identified. Look up 'Aïna Linn Georges' in GoogleThis author has not been identified. Look up 'Derek Dreyer' in GoogleThis author has not been identified. It may be one of the following persons:

Deepak Garg

Look up 'Deepak Garg 0001' in GoogleThis author has not been identified. Look up 'Michael Sammler' in Google

runs on WebDSL