{"id":"https://openalex.org/W2547267640","doi":"https://doi.org/10.1145/3009837.3009842","title":"Towards automatic resource bound analysis for OCaml","display_name":"Towards automatic resource bound analysis for OCaml","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2547267640","doi":"https://doi.org/10.1145/3009837.3009842","mag":"2547267640"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009842","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009842","pdf_url":null,"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":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101496943","display_name":"Jan Hoffmann","orcid":"https://orcid.org/0000-0001-8326-0788"},"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":true,"raw_author_name":"Jan Hoffmann","raw_affiliation_strings":["Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030491260","display_name":"Ankush Das","orcid":"https://orcid.org/0000-0003-2459-1258"},"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":"Ankush Das","raw_affiliation_strings":["Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058555162","display_name":"Shu-Chun Weng","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shu-Chun Weng","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101496943"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":22.97,"has_fulltext":false,"cited_by_count":115,"citation_normalized_percentile":{"value":0.99425768,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"359","last_page":"373"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9959999918937683,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7964930534362793},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6642581224441528},{"id":"https://openalex.org/keywords/amortized-analysis","display_name":"Amortized analysis","score":0.6199190020561218},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5353785753250122},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.5210977792739868},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4431167542934418},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4361540973186493},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.4126237630844116},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4117845296859741},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39849215745925903},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3502058684825897},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.21689707040786743},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15189948678016663},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09395983815193176}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7964930534362793},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6642581224441528},{"id":"https://openalex.org/C142417499","wikidata":"https://www.wikidata.org/wiki/Q331716","display_name":"Amortized analysis","level":3,"score":0.6199190020561218},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5353785753250122},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5210977792739868},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4431167542934418},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4361540973186493},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4126237630844116},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4117845296859741},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39849215745925903},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3502058684825897},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.21689707040786743},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15189948678016663},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09395983815193176},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3009837.3009842","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009842","pdf_url":null,"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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4577670171","display_name":null,"funder_award_id":"FA8750-15-C-0082","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G774169317","display_name":null,"funder_award_id":"1319671","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/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W11240799","https://openalex.org/W67134903","https://openalex.org/W110849379","https://openalex.org/W612689541","https://openalex.org/W1230660382","https://openalex.org/W1506606726","https://openalex.org/W1515621470","https://openalex.org/W1523037784","https://openalex.org/W1544023751","https://openalex.org/W1563402047","https://openalex.org/W1575284330","https://openalex.org/W1590648473","https://openalex.org/W1595456961","https://openalex.org/W1598436734","https://openalex.org/W1613874182","https://openalex.org/W1636902686","https://openalex.org/W1774237421","https://openalex.org/W1848153821","https://openalex.org/W1980177715","https://openalex.org/W1982529770","https://openalex.org/W1987927249","https://openalex.org/W1996748114","https://openalex.org/W1999298169","https://openalex.org/W2003295303","https://openalex.org/W2008772536","https://openalex.org/W2010790229","https://openalex.org/W2020692742","https://openalex.org/W2023035194","https://openalex.org/W2025581658","https://openalex.org/W2056714230","https://openalex.org/W2058033966","https://openalex.org/W2066550846","https://openalex.org/W2068055184","https://openalex.org/W2073629816","https://openalex.org/W2090759054","https://openalex.org/W2094647969","https://openalex.org/W2094712524","https://openalex.org/W2095867533","https://openalex.org/W2101953483","https://openalex.org/W2109863363","https://openalex.org/W2111366004","https://openalex.org/W2112207350","https://openalex.org/W2112969535","https://openalex.org/W2114054012","https://openalex.org/W2119859640","https://openalex.org/W2135155734","https://openalex.org/W2138657070","https://openalex.org/W2145458045","https://openalex.org/W2159373783","https://openalex.org/W2171496589","https://openalex.org/W2194223632","https://openalex.org/W2294370068","https://openalex.org/W2322420242","https://openalex.org/W2547267640","https://openalex.org/W2565334366","https://openalex.org/W2952181553","https://openalex.org/W4236752279","https://openalex.org/W4242321992","https://openalex.org/W4298195558","https://openalex.org/W6647354144"],"related_works":["https://openalex.org/W3096456556","https://openalex.org/W4240253816","https://openalex.org/W2169584677","https://openalex.org/W1514992909","https://openalex.org/W1836373119","https://openalex.org/W2111320546","https://openalex.org/W2779724286","https://openalex.org/W2072162091","https://openalex.org/W1487777477","https://openalex.org/W2104656753"],"abstract_inverted_index":{"This":[0,127],"article":[1],"presents":[2],"a":[3,72,91,154,231,251],"resource":[4,15,31,48,96,208],"analysis":[5,86,97,152,188],"system":[6,11,87,189,235],"for":[7,17,36,107,118,138,210],"OCaml":[8,62,199,220,247],"programs.":[9],"The":[10,25,43,184,201],"automatically":[12,134,206],"derives":[13,135],"worst-case":[14],"bounds":[16,35,45,137,143,209,237],"higher-order":[18,108,139],"polymorphic":[19],"programs":[20,109,120,248],"with":[21,110,121,192,197],"user-defined":[22,111,147],"inductive":[23,112,148],"types.":[24,63,149],"technique":[26],"is":[27,66,77,88,128,190,203],"parametric":[28],"in":[29],"the":[30,60,85,129,151,163,171,176,187,222,234,239],"and":[32,40,69,114,124,141,160,178,195,213,225],"can":[33],"derive":[34,207],"time,":[37,173],"memory":[38],"allocations":[39],"energy":[41],"usage.":[42],"derived":[44,218],"are":[46,51,244],"multivariate":[47,93,116],"polynomials":[49],"which":[50],"functions":[52,140,212],"of":[53,157,167,180,186,216,227,241],"different":[54],"size":[55],"parameters":[56],"that":[57,76,133,144,243],"depend":[58,145],"on":[59,90,101,104,115,146,238],"standard":[61],"Bound":[64],"inference":[65,166],"fully":[67],"automatic":[68,94],"reduced":[70],"to":[71,79,205,249],"linear":[73,105,164],"optimization":[74],"problem":[75],"passed":[78],"an":[80,193],"off-the-shelf":[81],"LP":[82],"solver.":[83],"Technically,":[84],"based":[89],"novel":[92],"amortized":[95,131],"(AARA).":[98],"It":[99],"builds":[100],"existing":[102,181],"work":[103],"AARA":[106,117,182],"types":[113],"first-order":[119],"built-in":[122],"lists":[123],"binary":[125],"trees.":[126],"first":[130],"analysis,":[132],"polynomial":[136,142],"Moreover,":[150],"handles":[153],"limited":[155],"form":[156],"side":[158],"effects":[159],"even":[161],"outperforms":[162],"bound":[165],"previous":[168],"systems.":[169],"At":[170],"same":[172],"it":[174],"preserves":[175],"expressivity":[177],"efficiency":[179],"techniques.":[183],"practicality":[185],"demonstrated":[191],"implementation":[194,202],"integration":[196],"Inria's":[198],"compiler.":[200],"used":[204],"411":[211],"6018":[214],"lines":[215],"code":[217],"from":[219],"libraries,":[221],"CompCert":[223],"compiler,":[224],"implementations":[226],"textbook":[228],"algorithms.":[229],"In":[230],"case":[232],"study,":[233],"infers":[236],"number":[240],"queries":[242],"sent":[245],"by":[246],"DynamoDB,":[250],"commercial":[252],"NoSQL":[253],"cloud":[254],"database":[255],"service.":[256]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":17},{"year":2019,"cited_by_count":14},{"year":2018,"cited_by_count":16},{"year":2017,"cited_by_count":21},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}