{"id":"https://openalex.org/W6940779074","doi":"https://doi.org/10.1184/r1/6609395","title":"Self-Adjusting Programming","display_name":"Self-Adjusting Programming","publication_year":2018,"publication_date":"2018-06-30","ids":{"openalex":"https://openalex.org/W6940779074","doi":"https://doi.org/10.1184/r1/6609395","mag":"175073788"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.61.1830","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1830","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~rwh/papers/sap/mlw05.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.1184/r1/6609395","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015051107","display_name":"Umut A. Acar","orcid":"https://orcid.org/0000-0002-2623-4986","observed_orcids":["https://orcid.org/0000-0002-2623-4986"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Acar, Umut A.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033930662","display_name":"Guy E. Blelloch","orcid":"https://orcid.org/0000-0003-0224-9187","observed_orcids":["https://orcid.org/0000-0003-0224-9187"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Blelloch, Guy E.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Blume, Matthias","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Blume, Matthias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Harper, Robert","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Harper, Robert","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9452999830245972,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9452999830245972,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.01759999990463257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.007400000002235174,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/kinetic-data-structures","display_name":"kinetic data structures","score":0.9309999942779541},{"id":"https://openalex.org/keywords/memoization","display_name":"memoization","score":0.9940000176429749},{"id":"https://openalex.org/keywords/graham-scan","display_name":"Graham scan","score":0.5910000205039978},{"id":"https://openalex.org/keywords/sorting-algorithms","display_name":"sorting algorithms","score":0.8920000195503235}],"concepts":[{"id":"https://openalex.org/C79516417","wikidata":"https://www.wikidata.org/wiki/Q1376168","display_name":"Memoization","level":4,"score":0.8967999815940857},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7211999893188477},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5638999938964844},{"id":"https://openalex.org/C206194317","wikidata":"https://www.wikidata.org/wiki/Q1138624","display_name":"Convex hull","level":3,"score":0.5360000133514404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.524399995803833},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5123000144958496},{"id":"https://openalex.org/C111696304","wikidata":"https://www.wikidata.org/wiki/Q2303697","display_name":"Sorting","level":2,"score":0.49950000643730164},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4611000120639801},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4300999939441681},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4138999879360199},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.40549999475479126},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.38920000195503235},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3578999936580658},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.349700003862381},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.3384000062942505},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.334199994802475},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.32190001010894775},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C108094655","wikidata":"https://www.wikidata.org/wiki/Q181593","display_name":"Sorting algorithm","level":3,"score":0.2989000082015991},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.27399998903274536},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.27250000834465027},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2606000006198883}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.61.1830","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1830","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~rwh/papers/sap/mlw05.pdf","raw_type":"text"},{"id":"pmh:oai:repository.cmu.edu:compsci-1919","doi":null,"is_oa":false,"landing_page_url":"http://repository.cmu.edu/compsci/919","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I74973139","host_organization_name":"Carnegie Mellon University","host_organization_lineage":["https://openalex.org/I74973139"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Department","raw_type":"text"},{"id":"mag:175073788","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.cmu.edu/~rwh/papers/sap/mlw05.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"doi:10.1184/r1/6609395","doi":"https://doi.org/10.1184/r1/6609395","is_oa":true,"landing_page_url":"https://doi.org/10.1184/r1/6609395","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I74973139","host_organization_name":"Carnegie Mellon University","host_organization_lineage":["https://openalex.org/I74973139"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},{"id":"doi:10.1184/r1/6609395.v1","doi":"https://doi.org/10.1184/r1/6609395.v1","is_oa":true,"landing_page_url":"https://doi.org/10.1184/r1/6609395.v1","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I74973139","host_organization_name":"Carnegie Mellon University","host_organization_lineage":["https://openalex.org/I74973139"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"}],"best_oa_location":{"id":"doi:10.1184/r1/6609395","doi":"https://doi.org/10.1184/r1/6609395","is_oa":true,"landing_page_url":"https://doi.org/10.1184/r1/6609395","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I74973139","host_organization_name":"Carnegie Mellon University","host_organization_lineage":["https://openalex.org/I74973139"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1753348055","https://openalex.org/W1800180205","https://openalex.org/W1805323477","https://openalex.org/W2007009457","https://openalex.org/W2013444956","https://openalex.org/W2014832211","https://openalex.org/W2018804864","https://openalex.org/W2026511056","https://openalex.org/W2035829578","https://openalex.org/W2066509127","https://openalex.org/W2069718764","https://openalex.org/W2089171884","https://openalex.org/W2104464431","https://openalex.org/W2112648314","https://openalex.org/W2113370501","https://openalex.org/W2130055503","https://openalex.org/W2132445073"],"related_works":["https://openalex.org/W7097429847","https://openalex.org/W7100335190","https://openalex.org/W2126884146","https://openalex.org/W2408528200","https://openalex.org/W1920490127","https://openalex.org/W2023614281","https://openalex.org/W4234313833","https://openalex.org/W1965756321","https://openalex.org/W7099111902","https://openalex.org/W7095744993"],"abstract_inverted_index":{"This":[0],"papers":[1],"proposes":[2],"techniques":[3,29,59,88],"for":[4,51,97],"writing":[5],"self-adjusting":[6,65],"programs":[7,66,74,114],"that":[8,27,57,64,75,86,111,145],"can":[9,67],"adjust":[10],"to":[11,14,105],"any":[12],"change":[13],"their":[15,77,80],"data":[16,99],"(e.g.,":[17],"inputs,":[18],"decisions":[19],"made":[20],"during":[21],"the":[22,28,43,47,58,87,103,112,117,146],"computation)":[23],"etc.":[24],"We":[25,55,84,109,143],"show":[26,56,85,110,144],"are":[30,60,89,119],"efficient":[31],"by":[32,62,91,150],"considering":[33],"a":[34,72,93,135,152],"number":[35],"of":[36,124,137,157],"applications":[37],"including":[38],"several":[39],"sorting":[40],"algorithms,":[41],"and":[42,46,101,139],"Graham":[44],"Scan,":[45],"quick":[48],"hull":[49],"algorithm":[50],"computing":[52],"convex":[53,107],"hulls.":[54,108],"flexible":[61],"showing":[63],"be":[68],"trivially":[69],"transformed":[70],"into":[71],"kinetic":[73,98,106,113],"maintain":[76],"property":[78],"as":[79],"input":[81],"move":[82],"continuously.":[83],"practical":[90],"implementing":[92],"Standard":[94],"ML":[95],"library":[96,104,118],"structures":[100],"applying":[102],"written":[115],"with":[116],"more":[120],"than":[121,127],"an":[122,160],"order":[123],"magnitude":[125],"faster":[126],"recomputing":[128],"from":[129],"scratch.":[130],"These":[131],"results":[132],"rely":[133],"on":[134,155],"combination":[136,147],"memoization":[138,158],"dynamic":[140],"dependence":[141],"graphs.":[142],"is":[148],"sound":[149],"presenting":[151],"semantics":[153],"based":[154],"abstraction":[156],"via":[159],"oracle.":[161]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2025-10-10T00:00:00"}