{"id":"https://openalex.org/W2799423598","doi":"https://doi.org/10.1145/3211346.3211349","title":"Ariadne: analysis for machine learning programs","display_name":"Ariadne: analysis for machine learning programs","publication_year":2018,"publication_date":"2018-06-07","ids":{"openalex":"https://openalex.org/W2799423598","doi":"https://doi.org/10.1145/3211346.3211349","mag":"2799423598"},"language":"en","primary_location":{"id":"doi:10.1145/3211346.3211349","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3211346.3211349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1805.04058","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Julian Dolby","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Julian Dolby","raw_affiliation_strings":["IBM Research, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Avraham Shinnar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Avraham Shinnar","raw_affiliation_strings":["IBM Research, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Allison Allain","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Allison Allain","raw_affiliation_strings":["IBM Research, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Jenna Reinen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jenna Reinen","raw_affiliation_strings":["IBM Research, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2893,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.93506792,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9902999997138977,"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/correctness","display_name":"Correctness","score":0.7167999744415283},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.5885999798774719},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.583299994468689},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4657000005245209},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46160000562667847},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.38989999890327454},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3801000118255615},{"id":"https://openalex.org/keywords/program-code","display_name":"Program code","score":0.3603000044822693}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7950999736785889},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7167999744415283},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.7006000280380249},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6503999829292297},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.5885999798774719},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.583299994468689},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5509999990463257},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4657000005245209},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46160000562667847},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.38989999890327454},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3801000118255615},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.3603000044822693},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.30880001187324524},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.29899999499320984},{"id":"https://openalex.org/C50292564","wikidata":"https://www.wikidata.org/wiki/Q2462783","display_name":"Computational learning theory","level":3,"score":0.29190000891685486},{"id":"https://openalex.org/C115903097","wikidata":"https://www.wikidata.org/wiki/Q7094097","display_name":"Online machine learning","level":3,"score":0.29109999537467957},{"id":"https://openalex.org/C150292731","wikidata":"https://www.wikidata.org/wiki/Q1342704","display_name":"Code review","level":5,"score":0.289000004529953},{"id":"https://openalex.org/C199190896","wikidata":"https://www.wikidata.org/wiki/Q3509276","display_name":"Learning classifier system","level":3,"score":0.28630000352859497},{"id":"https://openalex.org/C2982736386","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Statistical learning","level":2,"score":0.2808000147342682},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.26330000162124634},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.2603999972343445}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3211346.3211349","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3211346.3211349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1805.04058","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.04058","pdf_url":"https://arxiv.org/pdf/1805.04058","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1805.04058","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.04058","pdf_url":"https://arxiv.org/pdf/1805.04058","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W148369031","https://openalex.org/W1551910050","https://openalex.org/W2023753091","https://openalex.org/W2024625992","https://openalex.org/W2039397313","https://openalex.org/W2152225177","https://openalex.org/W2155735696","https://openalex.org/W2514626402","https://openalex.org/W2763618583","https://openalex.org/W2793331111","https://openalex.org/W4245057219","https://openalex.org/W4247889999"],"related_works":[],"abstract_inverted_index":{"Machine":[0],"learning":[1,38,107],"has":[2,51],"transformed":[3],"domains":[4],"like":[5,63],"vision":[6],"and":[7,9,40,82,143],"translation,":[8],"is":[10,22,25,41,66],"now":[11],"increasingly":[12],"used":[13],"in":[14,30],"science,":[15],"where":[16],"the":[17],"correctness":[18],"of":[19,33,36],"such":[20],"code":[21,58,76,108],"vital.":[23],"Python":[24],"popular":[26],"for":[27,54,69,117,122],"machine":[28,37,70,106],"learning,":[29],"part":[31],"because":[32],"its":[34,73],"wealth":[35],"libraries,":[39],"felt":[42],"to":[43,105,132],"make":[44],"development":[45],"faster;":[46],"however,":[47],"this":[48],"dynamic":[49],"language":[50],"less":[52],"support":[53],"error":[55],"detection":[56],"at":[57],"creation":[59],"time":[60],"than":[61],"tools":[62],"Eclipse.":[64],"This":[65,91],"especially":[67],"problematic":[68],"learning:":[71],"given":[72],"statistical":[74],"nature,":[75],"with":[77],"subtle":[78],"errors":[79],"may":[80],"run":[81],"produce":[83],"results":[84],"that":[85,109],"look":[86],"plausible":[87],"but":[88],"are":[89],"meaningless.":[90],"can":[92],"vitiate":[93],"scientific":[94],"results.":[95,147],"We":[96,112,136],"report":[97,137],"on":[98,138],":":[99],"applying":[100],"a":[101,119,128],"static":[102,115],"framework,":[103],"WALA,":[104],"uses":[110],"TensorFlow.":[111],"have":[113],"created":[114],"analysis":[116,131],"Python,":[118],"type":[120],"system":[121],"tracking":[123],"tensors\u2014Tensorflow\u2019s":[124],"core":[125],"data":[126,129],"structures\u2014and":[127],"flow":[130],"track":[133],"their":[134],"usage.":[135],"how":[139],"it":[140],"was":[141],"built":[142],"present":[144],"some":[145],"early":[146]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2018-05-17T00:00:00"}