@inproceedings{memory-safety,
  author = {Arthur {Azevedo de Amorim} and
            C\u{a}t\u{a}lin Hri\c{t}cu and
            Benjamin C. Pierce},
  title = {The Meaning of Memory Safety},
  booktitle = {7th International Conference on
               Principles of Security and Trust ({POST})},
  pages     = {79--105},
  doi       = {10.1007/978-3-319-89722-6\_4},
  url = {https://arxiv.org/abs/1705.07354},
  year = {2018},
  month = apr,
  acceptance = {14/45=0.31},
  chcontrib = {minor},
}

{"_id":"kWZicSyjA7nXhxhcE","bibbaseid":"azevedodeamorim-hricu-pierce-themeaningofmemorysafety-2018","downloads":0,"creationDate":"2019-02-09T20:08:59.672Z","title":"The Meaning of Memory Safety","author_short":["Azevedo de Amorim, A.","Hriţcu, C.","Pierce, B. C."],"year":2018,"bibtype":"inproceedings","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Arthur"],"propositions":[],"lastnames":["Azevedo de Amorim"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]}],"title":"The Meaning of Memory Safety","booktitle":"7th International Conference on Principles of Security and Trust (POST)","pages":"79–105","doi":"10.1007/978-3-319-89722-6_4","url":"https://arxiv.org/abs/1705.07354","year":"2018","month":"April","acceptance":"14/45=0.31","chcontrib":"minor","bibtex":"@inproceedings{memory-safety,\n author = {Arthur {Azevedo de Amorim} and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Benjamin C. Pierce},\n title = {The Meaning of Memory Safety},\n booktitle = {7th International Conference on\n Principles of Security and Trust ({POST})},\n pages = {79--105},\n doi = {10.1007/978-3-319-89722-6\\_4},\n url = {https://arxiv.org/abs/1705.07354},\n year = {2018},\n month = apr,\n acceptance = {14/45=0.31},\n chcontrib = {minor},\n}\n\n","author_short":["Azevedo de Amorim, A.","Hriţcu, C.","Pierce, B. C."],"key":"memory-safety","id":"memory-safety","bibbaseid":"azevedodeamorim-hricu-pierce-themeaningofmemorysafety-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1705.07354"},"downloads":0,"html":""},"search_terms":["meaning","memory","safety","azevedo de amorim","hriţcu","pierce"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}