{"id":"https://openalex.org/W4396214203","doi":"https://doi.org/10.1145/3649843","title":"Distributions for Compositionally Differentiating Parametric Discontinuities","display_name":"Distributions for Compositionally Differentiating Parametric Discontinuities","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4396214203","doi":"https://doi.org/10.1145/3649843"},"language":"en","primary_location":{"id":"doi:10.1145/3649843","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649843","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649843","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","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/3649843","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014265862","display_name":"Jesse Michel","orcid":"https://orcid.org/0009-0007-8735-001X"},"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":true,"raw_author_name":"Jesse Michel","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020524059","display_name":"Kevin Mu","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Mu","raw_affiliation_strings":["University of Washington, Seattle, USA"],"affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005252388","display_name":"Xuanda Yang","orcid":"https://orcid.org/0009-0008-8524-9505"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xuanda Yang","raw_affiliation_strings":["University of California, San Diego, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090575298","display_name":"Sai Praveen Bangaru","orcid":"https://orcid.org/0000-0001-6302-9327"},"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":"Sai Praveen Bangaru","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095926272","display_name":"Elias Rojas Collins","orcid":"https://orcid.org/0009-0003-3929-1386"},"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":"Elias Rojas Collins","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034400503","display_name":"Gilbert Bernstein","orcid":"https://orcid.org/0000-0002-3016-1169"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gilbert Bernstein","raw_affiliation_strings":["University of Washington, Cambrdige, USA"],"affiliations":[{"raw_affiliation_string":"University of Washington, Cambrdige, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023577472","display_name":"Jonathan Ragan\u2010Kelley","orcid":"https://orcid.org/0000-0001-6243-9543"},"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":"Jonathan Ragan-Kelley","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091194125","display_name":"Michael Carbin","orcid":"https://orcid.org/0000-0002-6928-0456"},"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":"Michael Carbin","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030293104","display_name":"Tzu\u2010Mao Li","orcid":"https://orcid.org/0000-0001-5443-470X"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tzu-Mao Li","raw_affiliation_strings":["University of California, San Diego, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5014265862"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":2.0651,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88202465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"893","last_page":"922"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.991599977016449,"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/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.991599977016449,"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/T10399","display_name":"Hydrocarbon exploration and reservoir analysis","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/2211","display_name":"Mechanics of Materials"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11801","display_name":"Reservoir Engineering and Simulation Methods","score":0.9359999895095825,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/classification-of-discontinuities","display_name":"Classification of discontinuities","score":0.8027318716049194},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.580471396446228},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.3597181439399719},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3448796570301056},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.20362430810928345},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.20084115862846375}],"concepts":[{"id":"https://openalex.org/C15627037","wikidata":"https://www.wikidata.org/wiki/Q541961","display_name":"Classification of discontinuities","level":2,"score":0.8027318716049194},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.580471396446228},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.3597181439399719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3448796570301056},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.20362430810928345},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.20084115862846375}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3649843","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649843","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649843","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","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:dspace.mit.edu:1721.1/154393","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/154393","pdf_url":"https://dspace.mit.edu/bitstream/1721.1/154393/1/3649843.pdf","source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Association for Computing Machinery","raw_type":"http://purl.org/eprint/type/JournalArticle"}],"best_oa_location":{"id":"doi:10.1145/3649843","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649843","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649843","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","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":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4396214203.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1516283167","https://openalex.org/W1965256357","https://openalex.org/W2024355065","https://openalex.org/W2058760524","https://openalex.org/W2118895016","https://openalex.org/W2135785452","https://openalex.org/W2161604086","https://openalex.org/W2178948257","https://openalex.org/W2186379831","https://openalex.org/W2295283246","https://openalex.org/W2897613819","https://openalex.org/W2902812770","https://openalex.org/W3033339947","https://openalex.org/W3047089539","https://openalex.org/W3049755554","https://openalex.org/W3098464136","https://openalex.org/W3106721722","https://openalex.org/W3107232127","https://openalex.org/W3115524557","https://openalex.org/W3125853795","https://openalex.org/W3186729282","https://openalex.org/W4206644645","https://openalex.org/W4212819559","https://openalex.org/W4241307704","https://openalex.org/W4242891646","https://openalex.org/W4253334979","https://openalex.org/W4287604829","https://openalex.org/W6686926990"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1972096828","https://openalex.org/W2529137940","https://openalex.org/W4302048708","https://openalex.org/W2359913921","https://openalex.org/W1595194509","https://openalex.org/W4239740410","https://openalex.org/W1996195943","https://openalex.org/W4205298958","https://openalex.org/W2486440955"],"abstract_inverted_index":{"Computations":[0],"in":[1,25,115,125],"physical":[2],"simulation,":[3],"computer":[4],"graphics,":[5],"and":[6,20,34,53,81,84,111,118,121],"probabilistic":[7],"inference":[8],"often":[9],"require":[10],"the":[11,63,86,91],"differentiation":[12],"of":[13,58,93,99],"discontinuous":[14],"processes":[15],"due":[16],"to":[17,69],"contact,":[18],"occlusion,":[19],"changes":[21],"at":[22,48,54],"a":[23,76,119,140],"point":[24],"time.":[26],"Popular":[27],"differentiable":[28,65,142],"programming":[29,67],"languages,":[30],"such":[31],"as":[32],"PyTorch":[33],"JAX,":[35],"ignore":[36],"discontinuities":[37,45],"during":[38],"differentiation.":[39],"This":[40],"is":[41],"incorrect":[42],"for":[43,79],"parametric":[44,72],"\u2014conditionals":[46],"containing":[47],"least":[49,55],"one":[50,56],"real-valued":[51],"parameter":[52],"variable":[57],"integration.":[59],"We":[60,74,89,135],"introduce":[61],"Potto,":[62,94],"first":[64],"first-order":[66],"language":[68],"soundly":[70],"differentiate":[71],"discontinuities.":[73],"present":[75],"denotational":[77],"semantics":[78],"programs":[80],"program":[82],"derivatives":[83],"show":[85],"two":[87,129],"accord.":[88],"describe":[90],"implementation":[92,103],"which":[95],"enables":[96],"separate":[97],"compilation":[98],"programs.":[100],"Our":[101],"prototype":[102,141],"overcomes":[104],"previous":[105],"compile-time":[106],"bottlenecks":[107],"achieving":[108],"an":[109],"88.1x":[110],"441.2x":[112],"speed":[113,123],"up":[114,124],"compile":[116],"time":[117],"2.5x":[120],"7.9x":[122],"runtime,":[126],"respectively,":[127],"on":[128],"increasingly":[130],"large":[131],"image":[132],"stylization":[133],"benchmarks.":[134],"showcase":[136],"Potto":[137],"by":[138],"implementing":[139],"renderer":[143],"with":[144],"separately":[145],"compiled":[146],"shaders.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}