{"id":"https://openalex.org/W2762833920","doi":"https://doi.org/10.1145/3133904","title":"FairSquare: probabilistic verification of program fairness","display_name":"FairSquare: probabilistic verification of program fairness","publication_year":2017,"publication_date":"2017-10-12","ids":{"openalex":"https://openalex.org/W2762833920","doi":"https://doi.org/10.1145/3133904","mag":"2762833920"},"language":"en","primary_location":{"id":"doi:10.1145/3133904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133904","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3133904","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3133904","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050593520","display_name":"Aws Albarghouthi","orcid":"https://orcid.org/0000-0003-4577-175X"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Aws Albarghouthi","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089920000","display_name":"Loris D\u2019Antoni","orcid":"https://orcid.org/0000-0001-9625-4037"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Loris D'Antoni","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026703503","display_name":"Samuel Drews","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Drews","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111937381","display_name":"Aditya V. Nori","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Aditya V. Nori","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050593520"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":6.2362,"has_fulltext":true,"cited_by_count":99,"citation_normalized_percentile":{"value":0.97073294,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"1","issue":"OOPSLA","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9749000072479248,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8547496199607849},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8170470595359802},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.6073737144470215},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5581398010253906},{"id":"https://openalex.org/keywords/fairness-measure","display_name":"Fairness measure","score":0.4956880807876587},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.48015016317367554},{"id":"https://openalex.org/keywords/outcome","display_name":"Outcome (game theory)","score":0.4322609305381775},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.41244882345199585},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40475672483444214},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2318842113018036},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10424467921257019}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8547496199607849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8170470595359802},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6073737144470215},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5581398010253906},{"id":"https://openalex.org/C11867375","wikidata":"https://www.wikidata.org/wiki/Q5430671","display_name":"Fairness measure","level":4,"score":0.4956880807876587},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.48015016317367554},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.4322609305381775},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.41244882345199585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40475672483444214},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2318842113018036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10424467921257019},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3133904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133904","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3133904","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3133904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133904","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3133904","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8199999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2184340811","display_name":null,"funder_award_id":"1704117 and 1566015","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3738075459","display_name":null,"funder_award_id":"1704117","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2762833920.pdf","grobid_xml":"https://content.openalex.org/works/W2762833920.grobid-xml"},"referenced_works_count":77,"referenced_works":["https://openalex.org/W26017481","https://openalex.org/W780350140","https://openalex.org/W1480909796","https://openalex.org/W1489298643","https://openalex.org/W1499853177","https://openalex.org/W1504317179","https://openalex.org/W1507645993","https://openalex.org/W1511986666","https://openalex.org/W1528660673","https://openalex.org/W1551315579","https://openalex.org/W1589239973","https://openalex.org/W1595559231","https://openalex.org/W1648303880","https://openalex.org/W1665214252","https://openalex.org/W1809030594","https://openalex.org/W1819662813","https://openalex.org/W1890754682","https://openalex.org/W1928668274","https://openalex.org/W1975447428","https://openalex.org/W1982205631","https://openalex.org/W1987679122","https://openalex.org/W2011495999","https://openalex.org/W2014352947","https://openalex.org/W2014894062","https://openalex.org/W2024355065","https://openalex.org/W2026019770","https://openalex.org/W2026612342","https://openalex.org/W2026775511","https://openalex.org/W2047749307","https://openalex.org/W2048025009","https://openalex.org/W2060573639","https://openalex.org/W2063342497","https://openalex.org/W2095840868","https://openalex.org/W2095932468","https://openalex.org/W2097246321","https://openalex.org/W2100960835","https://openalex.org/W2105544671","https://openalex.org/W2107220315","https://openalex.org/W2107399212","https://openalex.org/W2108207895","https://openalex.org/W2129538349","https://openalex.org/W2130514924","https://openalex.org/W2133990480","https://openalex.org/W2152492994","https://openalex.org/W2155049725","https://openalex.org/W2162670686","https://openalex.org/W2169784622","https://openalex.org/W2184545618","https://openalex.org/W2252814878","https://openalex.org/W2295266283","https://openalex.org/W2296427110","https://openalex.org/W2297259217","https://openalex.org/W2395317528","https://openalex.org/W2494200839","https://openalex.org/W2520480402","https://openalex.org/W2524301210","https://openalex.org/W2596701210","https://openalex.org/W2600077159","https://openalex.org/W2613463286","https://openalex.org/W2616376319","https://openalex.org/W2735457297","https://openalex.org/W2791059564","https://openalex.org/W2802594920","https://openalex.org/W2808105152","https://openalex.org/W2911978475","https://openalex.org/W2950538796","https://openalex.org/W2962922665","https://openalex.org/W3014235357","https://openalex.org/W3083206818","https://openalex.org/W3101972507","https://openalex.org/W3121483320","https://openalex.org/W3126102191","https://openalex.org/W4233804448","https://openalex.org/W4236991443","https://openalex.org/W4246535868","https://openalex.org/W4299828299","https://openalex.org/W6630485915"],"related_works":["https://openalex.org/W2978999882","https://openalex.org/W3141031773","https://openalex.org/W1595686156","https://openalex.org/W2181392282","https://openalex.org/W2361713743","https://openalex.org/W2136050782","https://openalex.org/W2119369480","https://openalex.org/W148937441","https://openalex.org/W2048777860","https://openalex.org/W2153369162"],"abstract_inverted_index":{"With":[0],"the":[1,48,77],"range":[2,97,111],"and":[3,21],"sensitivity":[4],"of":[5,32,37,50,70,98,112],"algorithmic":[6],"decisions":[7],"expanding":[8],"at":[9],"a":[10,30,58,67,85,88,96,110],"break-neck":[11],"speed,":[12],"it":[13],"is":[14],"imperative":[15],"that":[16,29,65,84],"we":[17,27,56,74,116],"aggressively":[18],"investigate":[19],"fairness":[20,38,90,108],"bias":[22],"in":[23],"decision-making":[24,71,99],"programs.":[25,72,100],"First,":[26],"show":[28,117],"number":[31],"recently":[33],"proposed":[34],"formal":[35],"definitions":[36],"can":[39],"be":[40],"encoded":[41],"as":[42],"probabilistic":[43,63],"program":[44,86,122],"properties.":[45],"Second,":[46],"with":[47],"goal":[49],"enabling":[51],"rigorous":[52],"reasoning":[53],"about":[54],"fairness,":[55],"design":[57],"novel":[59],"technique":[60],"for":[61,81,109,120],"verifying":[62],"properties":[64],"admits":[66],"wide":[68],"class":[69],"Third,":[73],"present":[75],"FairSquare,":[76],"first":[78],"verification":[79],"tool":[80],"automatically":[82],"certifying":[83],"meets":[87],"given":[89],"property.":[91],"We":[92],"evaluate":[93],"FairSquare":[94],"on":[95],"Our":[101],"evaluation":[102],"demonstrates":[103],"FairSquare\u2019s":[104],"ability":[105],"to":[106],"verify":[107],"different":[113],"programs,":[114],"which":[115],"are":[118],"out-of-reach":[119],"state-of-the-art":[121],"analysis":[123],"techniques.":[124]},"counts_by_year":[{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":20},{"year":2022,"cited_by_count":15},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":10},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}