{"id":"https://openalex.org/W2562060745","doi":"https://doi.org/10.1145/3009837.3009890","title":"A semantic account of metric preservation","display_name":"A semantic account of metric preservation","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2562060745","doi":"https://doi.org/10.1145/3009837.3009890","mag":"2562060745"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009890","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3009837.3009890","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3009890&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3009890&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086486652","display_name":"Arthur Azevedo de Amorim","orcid":"https://orcid.org/0000-0001-9916-6614"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Arthur Azevedo de Amorim","raw_affiliation_strings":["University of Pennsylvania, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021948795","display_name":"Marco Gaboardi","orcid":"https://orcid.org/0000-0002-5235-7066"},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Gaboardi","raw_affiliation_strings":["SUNY Buffalo, USA"],"affiliations":[{"raw_affiliation_string":"SUNY Buffalo, USA","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033286190","display_name":"Justin Hsu","orcid":"https://orcid.org/0000-0002-8953-7060"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin Hsu","raw_affiliation_strings":["University of Pennsylvania, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041431787","display_name":"Shin-ya Katsumata","orcid":"https://orcid.org/0000-0001-7529-5489"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shin-ya Katsumata","raw_affiliation_strings":["Kyoto University, Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto University, Japan","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008148565","display_name":"Ikram Cherigui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ikram Cherigui","raw_affiliation_strings":["ENS, France"],"affiliations":[{"raw_affiliation_string":"ENS, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5086486652"],"corresponding_institution_ids":["https://openalex.org/I36788626"],"apc_list":null,"apc_paid":null,"fwci":7.5093,"has_fulltext":true,"cited_by_count":40,"citation_normalized_percentile":{"value":0.97305391,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"545","last_page":"556"},"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.9995999932289124,"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.9995999932289124,"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/T10237","display_name":"Cryptography and Data Security","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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/soundness","display_name":"Soundness","score":0.7611914873123169},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6429365873336792},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.6197021007537842},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5565033555030823},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5404819250106812},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.5152597427368164},{"id":"https://openalex.org/keywords/metric-map","display_name":"Metric map","score":0.4997122287750244},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.47133350372314453},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.46132534742355347},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35760828852653503},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34806129336357117},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.28209245204925537},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23548215627670288},{"id":"https://openalex.org/keywords/convex-metric-space","display_name":"Convex metric space","score":0.21051958203315735},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12330889701843262}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7611914873123169},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6429365873336792},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.6197021007537842},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5565033555030823},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5404819250106812},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.5152597427368164},{"id":"https://openalex.org/C145084290","wikidata":"https://www.wikidata.org/wiki/Q2713824","display_name":"Metric map","level":4,"score":0.4997122287750244},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.47133350372314453},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.46132534742355347},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35760828852653503},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34806129336357117},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28209245204925537},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23548215627670288},{"id":"https://openalex.org/C196613150","wikidata":"https://www.wikidata.org/wiki/Q3966092","display_name":"Convex metric space","level":3,"score":0.21051958203315735},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12330889701843262},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3009837.3009890","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3009837.3009890","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3009890&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1702.00374","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1702.00374","pdf_url":"https://arxiv.org/pdf/1702.00374","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3009837.3009890","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3009837.3009890","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3009890&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1069223013","display_name":null,"funder_award_id":"JSPS KAKENHI","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2301351549","display_name":"\u8fb2\u696d\u5171\u540c\u7d4c\u55b6\u306e\u5c55\u958b\u306b\u95a2\u3059\u308b\u7814\u7a76-\u5c55\u958b\u624b\u6bb5\u3068\u7d4c\u55b6\u5f62\u614b\u5206\u5316\u306e\u5951\u6a5f\u3092\u4e2d\u5fc3\u3068\u3057\u3066-","funder_award_id":"65060","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2345517775","display_name":"\u751f\u4f53\u5185\u53cd\u5fdc\u306b\u95a2\u9023\u3057\u305f\u9178\u5316\u9084\u5143\u57fa\u3092\u3082\u3064\u9ad8\u5206\u5b50\u30fb\u4f4e\u5206\u5b50\u306e\u5408\u6210\u3068\u53cd\u5fdc","funder_award_id":"065060","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2595913501","display_name":null,"funder_award_id":"JSPS KAKENHI","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3459562248","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3726137570","display_name":"Mathematical Structures for Effect Systems","funder_award_id":"15K00014","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4127031992","display_name":"TC: Medium: Putting Differential Privacy To Work","funder_award_id":"1065060","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4227499671","display_name":null,"funder_award_id":"KAKENHI Grant","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4636223006","display_name":null,"funder_award_id":"JSPS KAK","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5040285935","display_name":null,"funder_award_id":"#360368","funder_id":"https://openalex.org/F4320306164","funder_display_name":"Simons Foundation"},{"id":"https://openalex.org/G5786340949","display_name":null,"funder_award_id":"KAKENHI Grant Number","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5900154129","display_name":"TWC: Medium: Distributed Differential Privacy","funder_award_id":"1513694","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6119122855","display_name":null,"funder_award_id":"1565365","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6172892333","display_name":null,"funder_award_id":"TC-1065060,TWC-1513694,TWC-1565365,TWC-1513854","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7570385945","display_name":null,"funder_award_id":"JP15K00014","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8430481527","display_name":null,"funder_award_id":"Number","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G902291276","display_name":null,"funder_award_id":"1513854","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"},{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2562060745.pdf","grobid_xml":"https://content.openalex.org/works/W2562060745.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W55681943","https://openalex.org/W79336753","https://openalex.org/W203992540","https://openalex.org/W586900136","https://openalex.org/W1529384059","https://openalex.org/W1531154744","https://openalex.org/W1608782706","https://openalex.org/W1873763122","https://openalex.org/W1972562904","https://openalex.org/W1984080619","https://openalex.org/W1991224384","https://openalex.org/W1992520783","https://openalex.org/W1995902462","https://openalex.org/W2002475773","https://openalex.org/W2012100616","https://openalex.org/W2019411264","https://openalex.org/W2020850587","https://openalex.org/W2020890916","https://openalex.org/W2023309117","https://openalex.org/W2024355065","https://openalex.org/W2024873396","https://openalex.org/W2027193703","https://openalex.org/W2030299533","https://openalex.org/W2055309977","https://openalex.org/W2060852846","https://openalex.org/W2071592032","https://openalex.org/W2072757019","https://openalex.org/W2086532405","https://openalex.org/W2097061283","https://openalex.org/W2101444617","https://openalex.org/W2107220315","https://openalex.org/W2107471150","https://openalex.org/W2121225040","https://openalex.org/W2123876422","https://openalex.org/W2131275552","https://openalex.org/W2132181573","https://openalex.org/W2143623703","https://openalex.org/W2146255646","https://openalex.org/W2158789193","https://openalex.org/W2163874796","https://openalex.org/W2350778671","https://openalex.org/W2561675875","https://openalex.org/W3106186972","https://openalex.org/W3145555275","https://openalex.org/W4291439952","https://openalex.org/W4293404332","https://openalex.org/W6602201320","https://openalex.org/W6603250414","https://openalex.org/W6631683609"],"related_works":["https://openalex.org/W3207873697","https://openalex.org/W2030335715","https://openalex.org/W136692922","https://openalex.org/W2951046662","https://openalex.org/W1587544905","https://openalex.org/W2897842840","https://openalex.org/W2059733456","https://openalex.org/W2081214830","https://openalex.org/W2767266061","https://openalex.org/W3024211597"],"abstract_inverted_index":{"Program":[0,69],"sensitivity":[1,34,70],"measures":[2],"how":[3],"robust":[4],"a":[5,16],"program":[6,33],"is":[7,15,35,71],"to":[8,25,31,58],"small":[9],"changes":[10],"in":[11,19,36],"its":[12],"input,":[13],"and":[14,43],"fundamental":[17],"notion":[18],"domains":[20],"ranging":[21],"from":[22],"differential":[23],"privacy":[24],"cyber-physical":[26],"systems.":[27],"A":[28],"natural":[29],"way":[30],"formalize":[32],"terms":[37],"of":[38,75],"metrics":[39],"on":[40],"the":[41],"input":[42],"output":[44],"spaces,":[45],"requiring":[46],"that":[47,53,60],"an":[48,73],"r-sensitive":[49],"function":[50],"map":[51],"inputs":[52],"are":[54,61],"at":[55,62,64],"distance":[56,63],"d":[57],"outputs":[59],"most":[65],"r":[66],"\u00b7":[67],"d.":[68],"thus":[72],"analogue":[74],"Lipschitz":[76],"continuity":[77],"for":[78],"programs.":[79]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":10},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}