Viaduct: an extensible, optimizing compiler for secure distributed programs.

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

Browse the full PLDI paper archive.