Robustly Safe Compilation.

Marco Patrignani, Deepak Garg

Browse the full ESOP paper archive.