{"id":"https://openalex.org/W2515544465","doi":"https://doi.org/10.1145/2976002.2976009","title":"Autobahn: using genetic algorithms to infer strictness annotations","display_name":"Autobahn: using genetic algorithms to infer strictness annotations","publication_year":2016,"publication_date":"2016-08-26","ids":{"openalex":"https://openalex.org/W2515544465","doi":"https://doi.org/10.1145/2976002.2976009","mag":"2515544465"},"language":"en","primary_location":{"id":"doi:10.1145/2976002.2976009","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2976002.2976009","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2976009&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Symposium on Haskell","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2976009&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042994585","display_name":"Yisu Remy Wang","orcid":"https://orcid.org/0000-0002-6887-9395"},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yisu Remy Wang","raw_affiliation_strings":["Tufts University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, USA","institution_ids":["https://openalex.org/I121934306"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062365919","display_name":"Diogenes Nunez","orcid":null},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Diogenes Nunez","raw_affiliation_strings":["Tufts University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, USA","institution_ids":["https://openalex.org/I121934306"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056099984","display_name":"Kathleen Fisher","orcid":"https://orcid.org/0000-0001-5249-2615"},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kathleen Fisher","raw_affiliation_strings":["Tufts University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, USA","institution_ids":["https://openalex.org/I121934306"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121934306"],"apc_list":null,"apc_paid":null,"fwci":0.9612,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74442523,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"114","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"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/T10260","display_name":"Software Engineering Research","score":0.991100013256073,"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.8807112574577332},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8727738857269287},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6481760740280151},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5788882970809937},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5144550800323486},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4960506856441498},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.44876527786254883},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.4338957369327545},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.4137815535068512},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25183039903640747},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.20094037055969238}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8807112574577332},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8727738857269287},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6481760740280151},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5788882970809937},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5144550800323486},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4960506856441498},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44876527786254883},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.4338957369327545},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.4137815535068512},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25183039903640747},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.20094037055969238},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2976002.2976009","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2976002.2976009","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2976009&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Symposium on Haskell","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2976002.2976009","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2976002.2976009","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2976009&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Symposium on Haskell","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2028606877","display_name":null,"funder_award_id":"FA8750-15-2-0033","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"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2515544465.pdf","grobid_xml":"https://content.openalex.org/works/W2515544465.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W34814984","https://openalex.org/W1512248102","https://openalex.org/W1593749420","https://openalex.org/W1755575651","https://openalex.org/W1855771754","https://openalex.org/W1972872690","https://openalex.org/W1978718408","https://openalex.org/W2011648260","https://openalex.org/W2031705219","https://openalex.org/W2038401271","https://openalex.org/W2048706733","https://openalex.org/W2068181582","https://openalex.org/W2077535794","https://openalex.org/W2089241138","https://openalex.org/W2116827712","https://openalex.org/W2123950145","https://openalex.org/W2133315353","https://openalex.org/W2135037829","https://openalex.org/W2145825613","https://openalex.org/W2156728410","https://openalex.org/W2166091242","https://openalex.org/W2341329932","https://openalex.org/W2915453116","https://openalex.org/W3023540311","https://openalex.org/W3083511734","https://openalex.org/W6786509480"],"related_works":["https://openalex.org/W2801835562","https://openalex.org/W196828063","https://openalex.org/W4247743232","https://openalex.org/W4238447024","https://openalex.org/W1602185604","https://openalex.org/W2911281194","https://openalex.org/W173120711","https://openalex.org/W2116827712","https://openalex.org/W2090337950","https://openalex.org/W2046806568"],"abstract_inverted_index":{"Although":[0],"laziness":[1],"enables":[2],"beautiful":[3],"code,":[4],"it":[5],"comes":[6],"with":[7],"non-trivial":[8],"performance":[9,88,127],"costs.":[10],"The":[11],"ghc":[12],"compiler":[13],"for":[14,97,153],"Haskell":[15,31,66],"has":[16],"optimizations":[17,24],"to":[18,64,80,103],"reduce":[19,139],"those":[20,56],"costs,":[21],"but":[22],"the":[23,94,113,140,162],"are":[25],"not":[26],"sufficient.":[27],"As":[28],"a":[29,34,59,74,129,144,169],"result,":[30],"also":[32],"provides":[33],"variety":[35],"of":[36,55,132,143],"strictness":[37,83],"annotations":[38,57,84,96,152],"so":[39],"that":[40,76,85,118,124],"users":[41],"can":[42,100,120,138],"indicate":[43],"program":[44,87],"points":[45],"where":[46],"an":[47,173],"expression":[48],"should":[49],"be":[50],"evaluated":[51],"eagerly.":[52],"Skillful":[53],"use":[54],"is":[58],"black":[60],"art,":[61],"known":[62],"only":[63],"expert":[65],"programmers.":[67],"In":[68],"this":[69],"paper,":[70],"we":[71],"introduce":[72],"AUTOBAHN,":[73],"tool":[75],"uses":[77],"genetic":[78],"algorithms":[79],"automatically":[81,104],"infer":[82,121,150],"improve":[86,125],"on":[89,109],"representative":[90],"inputs.":[91],"Users":[92],"examine":[93],"suggested":[95],"soundness":[98],"and":[99,149],"instruct":[101],"AUTOBAHN":[102,119,137,163],"produce":[105],"modified":[106],"sources.":[107],"Experiments":[108],"60":[110],"programs":[111],"from":[112],"NoFib":[114],"benchmark":[115],"suite":[116],"show":[117,136],"annotation":[122],"sets":[123],"runtime":[126],"by":[128,147,172],"geometric":[130],"mean":[131],"8.5%.":[133],"Case":[134],"studies":[135],"live":[141],"size":[142],"GC":[145,165],"simulator":[146,166],"99%":[148],"application-specific":[151],"Aeson":[154],"library":[155],"code.":[156],"A":[157],"10-fold":[158],"cross-validation":[159],"study":[160],"shows":[161],"-optimized":[164],"generally":[167],"outperforms":[168],"version":[170],"optimized":[171],"expert.":[174]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}