Probabilistic verification of fairness properties via concentration. Bastani, O., Zhang, X., & Solar-Lezama, A. Proc. ACM Program. Lang., 3(OOPSLA):118:1–118:27, 2019. Paper doi bibtex @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}
}
Downloads: 0
{"_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}