{"id":"https://openalex.org/W4409311265","doi":"https://doi.org/10.1145/3720500","title":"Scaling Optimization over Uncertainty via Compilation","display_name":"Scaling Optimization over Uncertainty via Compilation","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409311265","doi":"https://doi.org/10.1145/3720500"},"language":"en","primary_location":{"id":"doi:10.1145/3720500","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720500","pdf_url":null,"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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3720500","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102826340","display_name":"Minsung Cho","orcid":"https://orcid.org/0009-0006-6170-6033"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Minsung Cho","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0006-6170-6033","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002038171","display_name":"John Gouwar","orcid":"https://orcid.org/0000-0003-0494-7245"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Gouwar","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0003-0494-7245","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066166509","display_name":"Steven Holtzen","orcid":"https://orcid.org/0000-0002-8190-5412"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Holtzen","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0002-8190-5412","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102826340"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03016779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"1546","last_page":"1574"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9865000247955322,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9865000247955322,"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/T10142","display_name":"Formal Methods in Verification","score":0.9847000241279602,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9728000164031982,"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/scaling","display_name":"Scaling","score":0.6634123921394348},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5193389654159546},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18922579288482666},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.04885673522949219}],"concepts":[{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.6634123921394348},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5193389654159546},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18922579288482666},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.04885673522949219}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3720500","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720500","pdf_url":null,"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:arXiv.org:2502.18728","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.18728","pdf_url":"https://arxiv.org/pdf/2502.18728","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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/3720500","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720500","pdf_url":null,"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/G3640164485","display_name":null,"funder_award_id":"2220408","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":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1511986666","https://openalex.org/W1593271688","https://openalex.org/W1716853817","https://openalex.org/W1836582804","https://openalex.org/W1856314200","https://openalex.org/W1873912000","https://openalex.org/W1891319242","https://openalex.org/W1964821516","https://openalex.org/W1972645269","https://openalex.org/W2020609518","https://openalex.org/W2062818807","https://openalex.org/W2099618002","https://openalex.org/W2102506621","https://openalex.org/W2105197197","https://openalex.org/W2105738468","https://openalex.org/W2122410182","https://openalex.org/W2132598718","https://openalex.org/W2134991157","https://openalex.org/W2147578933","https://openalex.org/W2171433297","https://openalex.org/W2174277655","https://openalex.org/W2293099300","https://openalex.org/W2481213860","https://openalex.org/W2502094132","https://openalex.org/W2521581510","https://openalex.org/W2566054401","https://openalex.org/W2566482544","https://openalex.org/W2593267253","https://openalex.org/W2596701210","https://openalex.org/W2617837836","https://openalex.org/W2886362482","https://openalex.org/W2902895875","https://openalex.org/W2912640545","https://openalex.org/W2913758949","https://openalex.org/W2926374695","https://openalex.org/W2977408235","https://openalex.org/W3042976617","https://openalex.org/W3089520130","https://openalex.org/W3159836140","https://openalex.org/W3184096451","https://openalex.org/W4205512329","https://openalex.org/W4221157065","https://openalex.org/W4225120439","https://openalex.org/W4289549925","https://openalex.org/W4300282602","https://openalex.org/W4379518563","https://openalex.org/W4379536072","https://openalex.org/W4379536898","https://openalex.org/W4402025302","https://openalex.org/W6968395438"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Probabilistic":[0],"inference":[1,159],"is":[2,15,86,131,151],"fundamentally":[3],"hard,":[4],"yet":[5],"many":[6],"tasks":[7],"require":[8],"optimization":[9,60,169],"on":[10],"top":[11],"of":[12,30,50,105,114],"inference,":[13],"which":[14],"even":[16],"harder.":[17],"We":[18,108],"present":[19],"a":[20,27,37,47,56,75,132,166],"new":[21,38],"optimization-via-compilation":[22],"strategy":[23],"to":[24,80,89,96,101,125],"scalably":[25],"solve":[26],"certain":[28],"class":[29],"such":[31],"problems.":[32],"In":[33],"particular,":[34],"we":[35],"introduce":[36],"intermediate":[39],"representation":[40],"(IR),":[41],"binary":[42],"decision":[43,146],"diagrams":[44],"weighted":[45],"by":[46,117],"novel":[48],"notion":[49],"branch-and-bound":[51,58,77],"semiring":[52],",":[53,92],"that":[54,122,135,155],"enables":[55],"scalable":[57],"based":[59],"procedure.":[61],"This":[62],"IR":[63,85,116],"automatically":[64],"factorizes":[65],"problems":[66,140],"through":[67],"program":[68],"structure":[69],"and":[70,112,128,148],"prunes":[71],"suboptimal":[72],"values":[73],"via":[74,170],"straightforward":[76],"style":[78],"algorithm":[79],"find":[81],"optima.":[82],"Additionally,":[83],"the":[84,94,106,110,115],"naturally":[87],"amenable":[88],"staged":[90],"compilation":[91],"allowing":[93],"programmer":[95],"query":[97],"for":[98,144,162],"optima":[99],"mid-compilation":[100],"inform":[102],"further":[103],"executions":[104],"program.":[107],"showcase":[109],"effectiveness":[111],"flexibility":[113],"implementing":[118],"two":[119],"performant":[120],"languages":[121],"both":[123],"compile":[124],"it:":[126],"dappl":[127,130],"pineappl.":[129],"functional":[133],"language":[134,154],"solves":[136],"maximum":[137,165],"expected":[138],"utility":[139],"with":[141,160],"first-class":[142],"support":[143,161],"rewards,":[145],"making,":[147],"conditioning.":[149],"pineappl":[150],"an":[152],"imperative":[153],"performs":[156],"exact":[157],"probabilistic":[158],"nested":[163],"marginal":[164],"posteriori":[167],"(MMAP)":[168],"staging.":[171]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}