@inproceedings{AmorimCDDHPPPT14,
  title = {A Verified Information-Flow Architecture},
  author = {
    Arthur {Azevedo de Amorim} and
    Nathan Collins and
    Andr\'e DeHon and
    Delphine Demange and
    C\u{a}t\u{a}lin Hri\c{t}cu and
    David Pichardie and
    Benjamin C. Pierce and
    Randy Pollack and
    Andrew Tolmach
  },
  booktitle = {41st ACM SIGPLAN-SIGACT Symposium on Principles
               of Programming Languages (POPL)},
  shortbooktitle = {POPL},
  month = jan,
  year      = {2014},
  publisher = {ACM},
  pages     = {165-178},
  isbn      = {978-1-4503-2544-8},
  ee        = {http://doi.acm.org/10.1145/2535838.2535839},
  url = {http://www.crash-safe.org/node/29},
  chcontrib = {equalall},
  acceptance = {51/220=0.23},
}

{"_id":"P8oiJpx3uabTWqeqw","bibbaseid":"azevedodeamorim-collins-dehon-demange-hricu-pichardie-pierce-pollack-etal-averifiedinformationflowarchitecture-2014","downloads":0,"creationDate":"2019-02-09T20:08:59.690Z","title":"A Verified Information-Flow Architecture","author_short":["Azevedo de Amorim, A.","Collins, N.","DeHon, A.","Demange, D.","Hriţcu, C.","Pichardie, D.","Pierce, B. C.","Pollack, R.","Tolmach, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Verified Information-Flow Architecture","author":[{"firstnames":["Arthur"],"propositions":[],"lastnames":["Azevedo de Amorim"],"suffixes":[]},{"firstnames":["Nathan"],"propositions":[],"lastnames":["Collins"],"suffixes":[]},{"firstnames":["André"],"propositions":[],"lastnames":["DeHon"],"suffixes":[]},{"firstnames":["Delphine"],"propositions":[],"lastnames":["Demange"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Pichardie"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Randy"],"propositions":[],"lastnames":["Pollack"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Tolmach"],"suffixes":[]}],"booktitle":"41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","shortbooktitle":"POPL","month":"January","year":"2014","publisher":"ACM","pages":"165-178","isbn":"978-1-4503-2544-8","ee":"http://doi.acm.org/10.1145/2535838.2535839","url":"http://www.crash-safe.org/node/29","chcontrib":"equalall","acceptance":"51/220=0.23","bibtex":"@inproceedings{AmorimCDDHPPPT14,\n title = {A Verified Information-Flow Architecture},\n author = {\n Arthur {Azevedo de Amorim} and\n Nathan Collins and\n Andr\\'e DeHon and\n Delphine Demange and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n David Pichardie and\n Benjamin C. Pierce and\n Randy Pollack and\n Andrew Tolmach\n },\n booktitle = {41st ACM SIGPLAN-SIGACT Symposium on Principles\n of Programming Languages (POPL)},\n shortbooktitle = {POPL},\n month = jan,\n year = {2014},\n publisher = {ACM},\n pages = {165-178},\n isbn = {978-1-4503-2544-8},\n ee = {http://doi.acm.org/10.1145/2535838.2535839},\n url = {http://www.crash-safe.org/node/29},\n chcontrib = {equalall},\n acceptance = {51/220=0.23},\n}\n\n","author_short":["Azevedo de Amorim, A.","Collins, N.","DeHon, A.","Demange, D.","Hriţcu, C.","Pichardie, D.","Pierce, B. C.","Pollack, R.","Tolmach, A."],"key":"AmorimCDDHPPPT14","id":"AmorimCDDHPPPT14","bibbaseid":"azevedodeamorim-collins-dehon-demange-hricu-pichardie-pierce-pollack-etal-averifiedinformationflowarchitecture-2014","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2535838.2535839","Paper":"http://www.crash-safe.org/node/29"},"downloads":0,"html":""},"search_terms":["verified","information","flow","architecture","azevedo de amorim","collins","dehon","demange","hriţcu","pichardie","pierce","pollack","tolmach"],"keywords":[],"authorIDs":[],"dataSources":["hAMnRsgiC28iyFDSa"]}