@inproceedings{TestingNI2013,
  author = {C\u{a}t\u{a}lin Hri\c{t}cu and
    John Hughes and
    Benjamin C. Pierce and
    Antal Spector-Zabusky and
    Dimitrios Vytiniotis and
    Arthur {Azevedo de Amorim} and
    Leonidas Lampropoulos},
  title = {Testing Noninterference, Quickly},
  booktitle = {18th ACM SIGPLAN International Conference on
                  Functional Programming (ICFP)},
  shortbooktitle = {ICFP},
  year = {2013},
  publisher = {ACM},
  pages     = {455-468},
  month = sep,
  url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/testing-noninterference-icfp2013.pdf},
  acceptance = {40/133=0.30},
  key = {Conference},
  chcontrib = {equalfive},
}

{"_id":"XGhArFfxxRcYroCdF","bibbaseid":"hricu-hughes-pierce-spectorzabusky-vytiniotis-azevedodeamorim-lampropoulos-testingnoninterferencequickly-2013","downloads":0,"creationDate":"2019-02-09T20:08:59.692Z","title":"Testing Noninterference, Quickly","author_short":["Hriţcu, C.","Hughes, J.","Pierce, B. C.","Spector-Zabusky, A.","Vytiniotis, D.","Azevedo de Amorim, A.","Lampropoulos, L."],"year":2013,"bibtype":"inproceedings","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Hughes"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Antal"],"propositions":[],"lastnames":["Spector-Zabusky"],"suffixes":[]},{"firstnames":["Dimitrios"],"propositions":[],"lastnames":["Vytiniotis"],"suffixes":[]},{"firstnames":["Arthur"],"propositions":[],"lastnames":["Azevedo de Amorim"],"suffixes":[]},{"firstnames":["Leonidas"],"propositions":[],"lastnames":["Lampropoulos"],"suffixes":[]}],"title":"Testing Noninterference, Quickly","booktitle":"18th ACM SIGPLAN International Conference on Functional Programming (ICFP)","shortbooktitle":"ICFP","year":"2013","publisher":"ACM","pages":"455-468","month":"September","url":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/testing-noninterference-icfp2013.pdf","acceptance":"40/133=0.30","key":"TestingNI2013","chcontrib":"equalfive","bibtex":"@inproceedings{TestingNI2013,\n author = {C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n John Hughes and\n Benjamin C. Pierce and\n Antal Spector-Zabusky and\n Dimitrios Vytiniotis and\n Arthur {Azevedo de Amorim} and\n Leonidas Lampropoulos},\n title = {Testing Noninterference, Quickly},\n booktitle = {18th ACM SIGPLAN International Conference on\n Functional Programming (ICFP)},\n shortbooktitle = {ICFP},\n year = {2013},\n publisher = {ACM},\n pages = {455-468},\n month = sep,\n url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/testing-noninterference-icfp2013.pdf},\n acceptance = {40/133=0.30},\n key = {Conference},\n chcontrib = {equalfive},\n}\n","author_short":["Hriţcu, C.","Hughes, J.","Pierce, B. C.","Spector-Zabusky, A.","Vytiniotis, D.","Azevedo de Amorim, A.","Lampropoulos, L."],"id":"TestingNI2013","bibbaseid":"hricu-hughes-pierce-spectorzabusky-vytiniotis-azevedodeamorim-lampropoulos-testingnoninterferencequickly-2013","role":"author","urls":{"Paper":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/testing-noninterference-icfp2013.pdf"},"downloads":0,"html":""},"search_terms":["testing","noninterference","quickly","hriţcu","hughes","pierce","spector-zabusky","vytiniotis","azevedo de amorim","lampropoulos"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}