{"id":"https://openalex.org/W4390605291","doi":"https://doi.org/10.1145/3632903","title":"Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets","display_name":"Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390605291","doi":"https://doi.org/10.1145/3632903"},"language":"en","primary_location":{"id":"doi:10.1145/3632903","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632903","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632903","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/3632903","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036237896","display_name":"Nathanael Ackerman","orcid":"https://orcid.org/0000-0002-8059-7497"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nate Ackerman","raw_affiliation_strings":["Harvard University, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-8059-7497","affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I2801851002"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037836079","display_name":"Cameron E. Freer","orcid":"https://orcid.org/0000-0003-1791-6843"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cameron E. Freer","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0003-1791-6843","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048509913","display_name":"Younesse Kaddar","orcid":"https://orcid.org/0000-0001-7366-9889"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Younesse Kaddar","raw_affiliation_strings":["University of Oxford, Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0001-7366-9889","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103249019","display_name":"Jacek Karwowski","orcid":"https://orcid.org/0000-0002-8361-2912"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jacek Karwowski","raw_affiliation_strings":["University of Oxford, Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0002-8361-2912","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033995077","display_name":"Sean Moss","orcid":"https://orcid.org/0009-0005-3930-5340"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sean Moss","raw_affiliation_strings":["University of Birmingham, Birmingham, UK"],"raw_orcid":"https://orcid.org/0009-0005-3930-5340","affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103120022","display_name":"Daniel Roy","orcid":"https://orcid.org/0000-0001-8930-0058"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Daniel Roy","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":"https://orcid.org/0000-0001-8930-0058","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068183682","display_name":"Sam Staton","orcid":"https://orcid.org/0000-0002-0141-8922"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sam Staton","raw_affiliation_strings":["University of Oxford, Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0002-0141-8922","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101612744","display_name":"Hongseok Yang","orcid":"https://orcid.org/0000-0003-1502-2942"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hongseok Yang","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0000-0003-1502-2942","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8335,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74882367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"8","issue":"POPL","first_page":"1819","last_page":"1849"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9947999715805054,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9947999715805054,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9851999878883362,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.6812125444412231},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5562823414802551},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4758308231830597},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42741796374320984},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4167289733886719},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.41639405488967896},{"id":"https://openalex.org/keywords/random-graph","display_name":"Random graph","score":0.41595911979675293},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40868741273880005},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3342663645744324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1381295919418335},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.0997549295425415},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07467037439346313}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6812125444412231},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5562823414802551},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4758308231830597},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42741796374320984},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4167289733886719},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.41639405488967896},{"id":"https://openalex.org/C47458327","wikidata":"https://www.wikidata.org/wiki/Q910404","display_name":"Random graph","level":3,"score":0.41595911979675293},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40868741273880005},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3342663645744324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1381295919418335},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0997549295425415},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07467037439346313}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3632903","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632903","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632903","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"},{"id":"pmh:oai:pure.atira.dk:publications/79eb2bcb-fe41-4810-9494-0f9b0f54c1c6","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/79eb2bcb-fe41-4810-9494-0f9b0f54c1c6","pdf_url":"https://pure-oai.bham.ac.uk/ws/files/218007779/AckermanN2024Probabilistic.pdf","source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Ackerman , N , Freer , C , Kaddar , Y , Karwowski , J , Moss , S , Roy , D , Staton , S & Yang , H 2024 , ' Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets ' , Proceedings of the ACM on Programming Languages , vol. 8 , no. POPL , 61 , pp. 1819\u20131849 . https://doi.org/10.1145/3632903","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3632903","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632903","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632903","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/G1374051140","display_name":null,"funder_award_id":"ERC Project BLAST and AFOSR Award No. FA9550?21?1?003","funder_id":"https://openalex.org/F4320320006","funder_display_name":"Royal Society"},{"id":"https://openalex.org/G1452086972","display_name":null,"funder_award_id":"JUMP 2.0","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3338737308","display_name":null,"funder_award_id":"NRF-2018R1A5A1059921","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G4516736450","display_name":null,"funder_award_id":"-21-1-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6402139026","display_name":null,"funder_award_id":"RS-2023-00279680 and NRF-2018R1A5A1059921","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G8190487336","display_name":null,"funder_award_id":"2018R1A5A1059921","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320320006","display_name":"Royal Society","ror":"https://ror.org/03wnrjx87"},{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390605291.pdf","grobid_xml":"https://content.openalex.org/works/W4390605291.grobid-xml"},"referenced_works_count":77,"referenced_works":["https://openalex.org/W119551458","https://openalex.org/W273178449","https://openalex.org/W342302233","https://openalex.org/W630423399","https://openalex.org/W1499179478","https://openalex.org/W1521014576","https://openalex.org/W1592356192","https://openalex.org/W1594900487","https://openalex.org/W1595870841","https://openalex.org/W1605337124","https://openalex.org/W1607390768","https://openalex.org/W1837282692","https://openalex.org/W1963772255","https://openalex.org/W1968276645","https://openalex.org/W1976985540","https://openalex.org/W1985009003","https://openalex.org/W2001169407","https://openalex.org/W2001462012","https://openalex.org/W2007983321","https://openalex.org/W2016716534","https://openalex.org/W2024355065","https://openalex.org/W2029006139","https://openalex.org/W2031120504","https://openalex.org/W2052577206","https://openalex.org/W2053938049","https://openalex.org/W2065261632","https://openalex.org/W2082734581","https://openalex.org/W2083716186","https://openalex.org/W2102741265","https://openalex.org/W2108857165","https://openalex.org/W2113745779","https://openalex.org/W2135434676","https://openalex.org/W2143860689","https://openalex.org/W2144567031","https://openalex.org/W2155415173","https://openalex.org/W2155519322","https://openalex.org/W2156876717","https://openalex.org/W2158242393","https://openalex.org/W2595803793","https://openalex.org/W2605690278","https://openalex.org/W2621030385","https://openalex.org/W2770908033","https://openalex.org/W2778446896","https://openalex.org/W2900404128","https://openalex.org/W2949151551","https://openalex.org/W2963421284","https://openalex.org/W2963435259","https://openalex.org/W2963730104","https://openalex.org/W2963775311","https://openalex.org/W2963951024","https://openalex.org/W2964207285","https://openalex.org/W2964538196","https://openalex.org/W2969875089","https://openalex.org/W2982594517","https://openalex.org/W3004779943","https://openalex.org/W3023645189","https://openalex.org/W3100613408","https://openalex.org/W3121473492","https://openalex.org/W3124655276","https://openalex.org/W3127594476","https://openalex.org/W3134406394","https://openalex.org/W3146719384","https://openalex.org/W4210839962","https://openalex.org/W4232277105","https://openalex.org/W4236657968","https://openalex.org/W4245071229","https://openalex.org/W4281862103","https://openalex.org/W4301084947","https://openalex.org/W4312512934","https://openalex.org/W4315606058","https://openalex.org/W4366548744","https://openalex.org/W4367318138","https://openalex.org/W4388667425","https://openalex.org/W4388940318","https://openalex.org/W6683021380","https://openalex.org/W6725912325","https://openalex.org/W6785836199"],"related_works":["https://openalex.org/W4255837520","https://openalex.org/W2387011115","https://openalex.org/W4234808182","https://openalex.org/W4255628145","https://openalex.org/W2382043075","https://openalex.org/W2943623134","https://openalex.org/W2809151339","https://openalex.org/W2216913934","https://openalex.org/W1660242800","https://openalex.org/W2360673138"],"abstract_inverted_index":{"We":[0,21,46],"study":[1],"semantic":[2],"models":[3,133],"of":[4,84,98,105,114,121,134],"probabilistic":[5,31,136],"programming":[6,32,137],"languages":[7],"over":[8],"graphs,":[9,122],"and":[10,19,38,69,74,107],"establish":[11],"a":[12,36,112],"connection":[13],"to":[14,35],"graphons":[15],"from":[16,56,138],"graph":[17,30,135],"theory":[18,27,120],"combinatorics.":[20],"show":[22],"that":[23,52],"every":[24,40,53],"well-behaved":[25],"equational":[26,58],"for":[28,50],"our":[29],"language":[33],"corresponds":[34],"graphon,":[37],"conversely,":[39],"graphon":[41,54],"arises":[42,55],"in":[43,82,96],"this":[44,128],"way.":[45],"provide":[47],"three":[48],"constructions":[49],"showing":[51],"an":[57,63],"theory.":[59],"The":[60,72,79,93],"first":[61],"is":[62,81,95],"abstract":[64],"construction,":[65],"using":[66],"Markov":[67],"categories":[68],"monoidal":[70],"indeterminates.":[71],"second":[73,80],"third":[75,94],"are":[76],"more":[77],"concrete.":[78],"terms":[83,97],"traditional":[85],"measure":[86],"theoretic":[87],"probability,":[88],"which":[89,123],"covers":[90,124],"\u2018black-and-white\u2019":[91],"graphons.":[92,126,139],"probability":[99],"monads":[100],"on":[101],"the":[102,119],"nominal":[103,115],"sets":[104,116],"Gabbay":[106],"Pitts.":[108],"Specifically,":[109],"we":[110,130],"use":[111],"variation":[113],"induced":[117],"by":[118],"Erd\u0151s-R\u00e9nyi":[125],"In":[127],"way,":[129],"build":[131],"new":[132]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}