Login / Signup

PKRU-safe: automatically locking down the heap between safe and unsafe languages.

Paul KirthMitchel DickersonStephen CranePer LarsenAdrian DabrowskiDavid GensYeoul NaStijn VolckaertMichael Franz
Published in: EuroSys (2022)
Keyphrases
  • data structure
  • expressive power
  • automatically generated
  • case study
  • database systems
  • evolutionary algorithm
  • fine granularity