From Verified Compilation to Secure Compilation: a Semantic Approach.

Published in: PLAS@CCS (2020)

Keyphrases

semantic annotation
neural network
knowledge base
domain specific
semantic information
knowledge compilation
data model
code generation