ACM Principles of Programming Languages, POPL 2014


Article Details
Title: A verified information-flow architecture
Article URLs:
Alternative Article URLs: https://arxiv.org/abs/1509.06503v2
Authors: Arthur Azevedo de Amorim
  • University of Pennsylvania
Nathan Collins
  • Portland State University
André DeHon
  • University of Pennsylvania
Delphine Demange
  • University of Pennsylvania
Catalin Hritcu
  • University of Pennsylvania
  • INRIA
David Pichardie
  • INRIA
  • Harvard University
Benjamin C. Pierce
  • University of Pennsylvania
Randy Pollack
  • Harvard University
Andrew Tolmach
  • Portland State University
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/popl/AmorimCDDHPPPT14
Author Comments: This POPL paper was later expanded into a journal version, available here: https://arxiv.org/abs/1509.06503v2

Discuss this paper and its artifacts below