@article{DBLP:journals/pacmpl/Bastani0S19,
  author       = {Osbert Bastani and
                  Xin Zhang and
                  Armando Solar{-}Lezama},
  title        = {Probabilistic verification of fairness properties via concentration},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{OOPSLA}},
  pages        = {118:1--118:27},
  year         = {2019},
  url          = {https://doi.org/10.1145/3360544},
  doi          = {10.1145/3360544},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/Bastani0S19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tiQCEZBtokm6BLaRf","bibbaseid":"bastani-zhang-solarlezama-probabilisticverificationoffairnesspropertiesviaconcentration-2019","author_short":["Bastani, O.","Zhang, X.","Solar-Lezama, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Osbert"],"propositions":[],"lastnames":["Bastani"],"suffixes":[]},{"firstnames":["Xin"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Probabilistic verification of fairness properties via concentration","journal":"Proc. ACM Program. Lang.","volume":"3","number":"OOPSLA","pages":"118:1–118:27","year":"2019","url":"https://doi.org/10.1145/3360544","doi":"10.1145/3360544","timestamp":"Sun, 04 Aug 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/pacmpl/Bastani0S19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/pacmpl/Bastani0S19,\n author = {Osbert Bastani and\n Xin Zhang and\n Armando Solar{-}Lezama},\n title = {Probabilistic verification of fairness properties via concentration},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {3},\n number = {{OOPSLA}},\n pages = {118:1--118:27},\n year = {2019},\n url = {https://doi.org/10.1145/3360544},\n doi = {10.1145/3360544},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/pacmpl/Bastani0S19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bastani, O.","Zhang, X.","Solar-Lezama, A."],"key":"DBLP:journals/pacmpl/Bastani0S19","id":"DBLP:journals/pacmpl/Bastani0S19","bibbaseid":"bastani-zhang-solarlezama-probabilisticverificationoffairnesspropertiesviaconcentration-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3360544"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW"],"keywords":[],"search_terms":["probabilistic","verification","fairness","properties","via","concentration","bastani","zhang","solar-lezama"],"title":"Probabilistic verification of fairness properties via concentration","year":2019}