Login / Signup

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine AbateRoberto BlancoStefan CiobacaAdrien DurierDeepak GargCatalin HritcuMarco PatrignaniÉric TanterJérémy Thibault
Published in: ACM Trans. Program. Lang. Syst. (2021)
Keyphrases
  • code generation
  • programming language
  • general purpose
  • highly efficient
  • real time
  • security mechanisms
  • programs written
  • distributed memory machines