{"id":"https://openalex.org/W3109067409","doi":"https://doi.org/10.1145/3428271","title":"Differentially-private software frequency profiling under linear constraints","display_name":"Differentially-private software frequency profiling under linear constraints","publication_year":2020,"publication_date":"2020-11-13","ids":{"openalex":"https://openalex.org/W3109067409","doi":"https://doi.org/10.1145/3428271","mag":"3109067409"},"language":"en","primary_location":{"id":"doi:10.1145/3428271","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428271","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3428271","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3428271","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100377420","display_name":"Hailong Zhang","orcid":"https://orcid.org/0000-0003-4101-3943"},"institutions":[{"id":"https://openalex.org/I164389053","display_name":"Fordham University","ror":"https://ror.org/03qnxaf80","country_code":"US","type":"education","lineage":["https://openalex.org/I164389053"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hailong Zhang","raw_affiliation_strings":["Fordham University, USA"],"affiliations":[{"raw_affiliation_string":"Fordham University, USA","institution_ids":["https://openalex.org/I164389053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111512416","display_name":"Yu Hao","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yu Hao","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086727768","display_name":"Sufian Latif","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sufian Latif","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009609755","display_name":"Raef Bassily","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raef Bassily","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039624297","display_name":"Atanas Rountev","orcid":"https://orcid.org/0000-0003-4556-4937"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Atanas Rountev","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100377420"],"corresponding_institution_ids":["https://openalex.org/I164389053"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16212085,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"4","issue":"OOPSLA","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9955999851226807,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9955999851226807,"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/T11045","display_name":"Privacy, Security, and Data Protection","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"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/T11704","display_name":"Mobile Crowdsensing and Crowdsourcing","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/differential-privacy","display_name":"Differential privacy","score":0.8785274028778076},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.6866040229797363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6680355072021484},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6012600064277649},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.5249385833740234},{"id":"https://openalex.org/keywords/crowdsourcing-software-development","display_name":"Crowdsourcing software development","score":0.49773696064949036},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.46525105834007263},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.4471226930618286},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3702545166015625},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2653237283229828},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.10833430290222168}],"concepts":[{"id":"https://openalex.org/C23130292","wikidata":"https://www.wikidata.org/wiki/Q5275358","display_name":"Differential privacy","level":2,"score":0.8785274028778076},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.6866040229797363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6680355072021484},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6012600064277649},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.5249385833740234},{"id":"https://openalex.org/C32810761","wikidata":"https://www.wikidata.org/wiki/Q17082146","display_name":"Crowdsourcing software development","level":5,"score":0.49773696064949036},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.46525105834007263},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.4471226930618286},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3702545166015625},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2653237283229828},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.10833430290222168},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3428271","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428271","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3428271","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/3428271","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428271","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3428271","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":[],"awards":[{"id":"https://openalex.org/G4131348201","display_name":null,"funder_award_id":"1907715","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7942142417","display_name":null,"funder_award_id":"CCF-1907715","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3109067409.pdf","grobid_xml":"https://content.openalex.org/works/W3109067409.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W106290589","https://openalex.org/W1873763122","https://openalex.org/W1965171928","https://openalex.org/W1976847241","https://openalex.org/W1981029888","https://openalex.org/W2013823004","https://openalex.org/W2022668546","https://openalex.org/W2027595342","https://openalex.org/W2053801139","https://openalex.org/W2061855803","https://openalex.org/W2062154010","https://openalex.org/W2084085041","https://openalex.org/W2123327468","https://openalex.org/W2129094623","https://openalex.org/W2130655713","https://openalex.org/W2135930857","https://openalex.org/W2149207009","https://openalex.org/W2155479707","https://openalex.org/W2155891645","https://openalex.org/W2159675343","https://openalex.org/W2161104175","https://openalex.org/W2164649341","https://openalex.org/W2165811181","https://openalex.org/W2171530146","https://openalex.org/W2245160765","https://openalex.org/W2507618760","https://openalex.org/W2565203757","https://openalex.org/W2596313079","https://openalex.org/W2608457654","https://openalex.org/W2625070311","https://openalex.org/W2736175436","https://openalex.org/W2742225091","https://openalex.org/W2753855453","https://openalex.org/W2911978475","https://openalex.org/W2925599298","https://openalex.org/W2946583368","https://openalex.org/W2963174403","https://openalex.org/W2963424903","https://openalex.org/W2980195532","https://openalex.org/W3102407811","https://openalex.org/W3140804348","https://openalex.org/W3151686641","https://openalex.org/W4233793161","https://openalex.org/W4234943353","https://openalex.org/W4242421104","https://openalex.org/W4250672041","https://openalex.org/W4293582152","https://openalex.org/W6651608069","https://openalex.org/W6665983359","https://openalex.org/W6683007535","https://openalex.org/W6683674071","https://openalex.org/W6724720443","https://openalex.org/W6738928577","https://openalex.org/W6740797600","https://openalex.org/W6744220956","https://openalex.org/W6745837462","https://openalex.org/W6948067646"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2949417504","https://openalex.org/W2047831585"],"abstract_inverted_index":{"Differential":[0,130],"privacy":[1,131,141,194,254,288],"has":[2,248],"emerged":[3],"as":[4],"a":[5,23,49,59,63,139,155,173,222,226,317],"leading":[6],"theoretical":[7],"framework":[8],"for":[9,22,84,135,210,242,320],"privacy-preserving":[10,60,321],"data":[11,44],"gathering":[12],"and":[13,56,77,157,255,286,294],"analysis.":[14],"It":[15],"allows":[16,42],"meaningful":[17,193],"statistics":[18],"to":[19,53,67,125,180,191,236,249,261,277],"be":[20,54,167,189,291],"collected":[21,55],"population":[24],"without":[25],"revealing":[26],"``too":[27],"much''":[28],"information":[29,94],"about":[30],"any":[31],"individual":[32],"member":[33],"of":[34,48,87,100,114,184,206,214,217,225,299,305,324],"the":[35,98,105,112,126,182,297,303,306],"population.":[36],"For":[37],"software":[38,51,71,73,91],"profiling,":[39],"this":[40,151,207,234],"machinery":[41,209],"profiling":[43,160,241,323],"from":[45,90,104],"many":[46,68],"users":[47],"deployed":[50,325],"system":[52],"analyzed":[57],"in":[58,302],"manner.":[61],"Such":[62],"solution":[64,220],"is":[65,95,117,143,316],"appealing":[66],"stakeholders,":[69],"including":[70],"users,":[72],"developers,":[74],"infrastructure":[75],"providers,":[76],"government":[78],"agencies.":[79],"We":[80],"propose":[81,154],"an":[82,203,211,230,258],"approach":[83,235,315],"differentially-private":[85,159,238,246],"collection":[86],"frequency":[88,240,322],"vectors":[89],"executions.":[92],"Frequency":[93],"reported":[96],"with":[97],"addition":[99],"random":[101,185],"noise":[102,186],"drawn":[103],"Laplace":[106],"distribution.":[107],"A":[108],"key":[109],"observation":[110],"behind":[111],"design":[113,304],"our":[115,219,269,314],"scheme":[116,161,247],"that":[118,187,268,283,313],"event":[119],"frequencies":[120,165],"are":[121],"closely":[122],"correlated":[123],"due":[124],"static":[127],"code":[128],"structure.":[129],"protections":[132,195],"must":[133],"account":[134],"such":[136,197],"relationships;":[137],"otherwise,":[138],"seemingly-strong":[140],"guarantee":[142],"actually":[144],"weaker":[145],"than":[146],"it":[147],"appears.":[148],"Motivated":[149],"by":[150],"observation,":[152],"we":[153,177,201,232,265],"novel":[156],"general":[158,208],"when":[162],"correlations":[163],"between":[164],"can":[166,290],"expressed":[168],"through":[169],"linear":[170,174,198,300],"inequalities.":[171],"Using":[172],"programming":[175],"formulation,":[176],"show":[178,267],"how":[179],"determine":[181],"magnitude":[183],"should":[188],"added":[190],"achieve":[192],"under":[196],"constraints.":[199,215],"Next,":[200],"develop":[202],"efficient":[204],"instance":[205],"important":[212],"subclass":[213],"Instead":[216],"LP,":[218],"uses":[221],"reachability":[223],"analysis":[224],"constraint":[227],"graph.":[228],"As":[229],"exemplar,":[231],"employ":[233],"implement":[237],"method":[239],"Android":[243],"apps.":[244],"Any":[245],"balance":[250],"two":[251],"competing":[252],"aspects:":[253],"accuracy.":[256],"Through":[257],"experimental":[259],"study":[260],"characterize":[262],"these":[263],"trade-offs,":[264],"(1)":[266],"proposed":[270],"randomization":[271],"achieves":[272],"much":[273],"higher":[274],"accuracy":[275,285],"compared":[276],"related":[278],"prior":[279],"work,":[280],"(2)":[281],"demonstrate":[282],"high":[284,287],"protection":[289],"achieved":[292],"simultaneously,":[293],"(3)":[295],"highlight":[296],"importance":[298],"constraints":[301],"randomization.":[307],"These":[308],"promising":[309],"results":[310],"provide":[311],"evidence":[312],"good":[318],"candidate":[319],"software.":[326]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}