{"id":"https://openalex.org/W2560869521","doi":"https://doi.org/10.1145/3009837.3009891","title":"A program optimization for automatic database result caching","display_name":"A program optimization for automatic database result caching","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2560869521","doi":"https://doi.org/10.1145/3009837.3009891","mag":"2560869521"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009891","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3009837.3009891","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3009891&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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3009891&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014560251","display_name":"Ziv Scully","orcid":"https://orcid.org/0000-0002-8547-1068"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziv Scully","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078100439","display_name":"Adam Chlipala","orcid":"https://orcid.org/0000-0001-7085-9417"},"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":"Adam Chlipala","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.767,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.85353326,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.9302489757537842},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6057712435722351},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5684939622879028},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.5314565896987915},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.4609300494194031},{"id":"https://openalex.org/keywords/alias","display_name":"Alias","score":0.44494912028312683},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4103362560272217},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.26303184032440186}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9302489757537842},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6057712435722351},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5684939622879028},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.5314565896987915},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.4609300494194031},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.44494912028312683},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4103362560272217},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26303184032440186}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3009837.3009891","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3009837.3009891","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3009891&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:dspace.mit.edu:1721.1/110807","is_oa":true,"landing_page_url":"http://hdl.handle.net/1721.1/110807","pdf_url":null,"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":"MIT Web Domain","raw_type":"http://purl.org/eprint/type/ConferencePaper"}],"best_oa_location":{"id":"doi:10.1145/3009837.3009891","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3009837.3009891","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3009891&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/G2180245026","display_name":"Graduate Research Fellowship Program (GRFP)","funder_award_id":"1252522","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5863706675","display_name":"SHF: Small: Capitalizing on First-Class SQL Support in the Ur/Web Programming Language","funder_award_id":"1217501","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/F4320310358","display_name":"Achievement Rewards for College Scientists Foundation","ror":"https://ror.org/054awkm93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2560869521.pdf","grobid_xml":"https://content.openalex.org/works/W2560869521.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W99733817","https://openalex.org/W1563590781","https://openalex.org/W1595443289","https://openalex.org/W1605700074","https://openalex.org/W1745268285","https://openalex.org/W1968210840","https://openalex.org/W1970165929","https://openalex.org/W2045983162","https://openalex.org/W2050465692","https://openalex.org/W2051716170","https://openalex.org/W2055477538","https://openalex.org/W2056361805","https://openalex.org/W2069171862","https://openalex.org/W2070262175","https://openalex.org/W2071599766","https://openalex.org/W2078380329","https://openalex.org/W2086658561","https://openalex.org/W2088675571","https://openalex.org/W2101000001","https://openalex.org/W2101398891","https://openalex.org/W2116436709","https://openalex.org/W2116476518","https://openalex.org/W2133384222","https://openalex.org/W2133752438","https://openalex.org/W2136327713","https://openalex.org/W2139865986","https://openalex.org/W2145653610","https://openalex.org/W2156000708","https://openalex.org/W2163690888","https://openalex.org/W2166510103","https://openalex.org/W2171492933","https://openalex.org/W2172288767","https://openalex.org/W2294395356","https://openalex.org/W4205167958","https://openalex.org/W4254805745","https://openalex.org/W6604080727","https://openalex.org/W6633828322","https://openalex.org/W6635551685","https://openalex.org/W6680131817"],"related_works":["https://openalex.org/W2192862863","https://openalex.org/W1497385637","https://openalex.org/W2369288331","https://openalex.org/W2044422526","https://openalex.org/W2519339279","https://openalex.org/W2467097043","https://openalex.org/W2086733238","https://openalex.org/W2004605222","https://openalex.org/W2104078272","https://openalex.org/W2382501300"],"abstract_inverted_index":{"Most":[0],"popular":[1],"Web":[2,110],"applications":[3,28,111],"rely":[4],"on":[5,9],"persistent":[6],"databases":[7],"based":[8],"languages":[10],"like":[11],"SQL":[12,107],"for":[13],"declarative":[14],"specification":[15],"of":[16,45,52,62,65,141,167],"data":[17],"models":[18],"and":[19,24,71,149],"the":[20,42,56,79,90,114,138,142,181],"operations":[21,135],"that":[22,77,103,132,155],"read":[23],"modify":[25],"them.":[26],"As":[27],"scale":[29],"up":[30],"in":[31,55,74,113,158],"user":[32],"base,":[33],"they":[34],"often":[35],"face":[36],"challenges":[37],"responding":[38],"quickly":[39],"enough":[40],"to":[41,109,123,180],"high":[43],"volume":[44],"requests.":[46],"A":[47],"common":[48],"aid":[49],"is":[50],"caching":[51,67,108],"database":[53,143],"results":[54],"application's":[57,169],"memory":[58],"space,":[59],"taking":[60],"advantage":[61],"program-specific":[63],"knowledge":[64],"which":[66],"schemes":[68],"are":[69],"sound":[70,106],"useful,":[72],"embodied":[73],"handwritten":[75],"modifications":[76,84,121],"make":[78],"program":[80],"less":[81],"maintainable.":[82],"These":[83],"also":[85],"require":[86],"nontrivial":[87],"reasoning":[88],"about":[89],"read-write":[91],"dependencies":[92],"across":[93],"operations.":[94],"In":[95],"this":[96],"paper,":[97],"we":[98,153],"present":[99],"a":[100,128],"compiler":[101],"optimization":[102,157],"automatically":[104],"adds":[105],"coded":[112],"Ur/Web":[115,151],"domain-specific":[116],"functional":[117],"language,":[118],"with":[119,147],"no":[120],"required":[122],"source":[124],"code.":[125],"We":[126],"use":[127],"custom":[129],"cache":[130],"implementation":[131],"supports":[133],"concurrent":[134],"without":[136],"compromising":[137],"transactional":[139],"semantics":[140],"abstraction.":[144],"Through":[145],"experiments":[146],"microbenchmarks":[148],"production":[150],"applications,":[152],"show":[154],"our":[156],"many":[159],"cases":[160],"enables":[161],"an":[162,168,176],"easy":[163],"doubling":[164],"or":[165],"more":[166,173],"throughput,":[170],"requiring":[171],"nothing":[172],"than":[174],"passing":[175],"extra":[177],"command-line":[178],"flag":[179],"compiler.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}