A verified information-flow architecture - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew P. Tolmach. A verified information-flow architecture. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 165-178, ACM, 2014. [doi]

This author has not been identified. Look up 'Arthur Azevedo de Amorim' in GoogleThis author has not been identified. Look up 'Nathan Collins' in GoogleThis author has not been identified. Look up 'André DeHon' in GoogleThis author has not been identified. Look up 'Delphine Demange' in GoogleThis author has not been identified. Look up 'Catalin Hritcu' in GoogleThis author has not been identified. Look up 'David Pichardie' in GoogleIdentified as Benjamin C. Pierce This author has not been identified. Look up 'Randy Pollack' in GoogleIdentified as Andrew P. Tolmach

runs on WebDSL