{"id":"https://openalex.org/W2028435315","doi":"https://doi.org/10.1145/2591062.2591065","title":"Atlas: a new way to explore software, build analysis tools","display_name":"Atlas: a new way to explore software, build analysis tools","publication_year":2014,"publication_date":"2014-05-20","ids":{"openalex":"https://openalex.org/W2028435315","doi":"https://doi.org/10.1145/2591062.2591065","mag":"2028435315"},"language":"en","primary_location":{"id":"doi:10.1145/2591062.2591065","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2591062.2591065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 36th International Conference on Software Engineering","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/A5000656086","display_name":"Tom Deering","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tom Deering","raw_affiliation_strings":["Iowa State University, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111594571","display_name":"Suresh Kothari","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suresh Kothari","raw_affiliation_strings":["Iowa State University, USA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049530331","display_name":"Jerem\u00edas Sauceda","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeremias Sauceda","raw_affiliation_strings":["EnSoft, USA"],"affiliations":[{"raw_affiliation_string":"EnSoft, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029355948","display_name":"Jon Mathews","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jon Mathews","raw_affiliation_strings":["EnSoft, USA"],"affiliations":[{"raw_affiliation_string":"EnSoft, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000656086"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":4.9492,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.95868056,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"588","last_page":"591"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9966999888420105,"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/T10260","display_name":"Software Engineering Research","score":0.9925000071525574,"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.8352919816970825},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.6360575556755066},{"id":"https://openalex.org/keywords/malware-analysis","display_name":"Malware analysis","score":0.6270965933799744},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5389747023582458},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5165787935256958},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5148181319236755},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.49063530564308167},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48091432452201843},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.4433360993862152},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.44307488203048706},{"id":"https://openalex.org/keywords/atlas","display_name":"Atlas (anatomy)","score":0.44154179096221924},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.421533465385437},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39584556221961975},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34887129068374634},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.22367286682128906}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8352919816970825},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.6360575556755066},{"id":"https://openalex.org/C2779395397","wikidata":"https://www.wikidata.org/wiki/Q15731404","display_name":"Malware analysis","level":3,"score":0.6270965933799744},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5389747023582458},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5165787935256958},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5148181319236755},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.49063530564308167},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48091432452201843},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.4433360993862152},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.44307488203048706},{"id":"https://openalex.org/C2776673561","wikidata":"https://www.wikidata.org/wiki/Q655357","display_name":"Atlas (anatomy)","level":2,"score":0.44154179096221924},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.421533465385437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39584556221961975},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34887129068374634},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.22367286682128906},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2591062.2591065","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2591062.2591065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 36th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1537172029","https://openalex.org/W1994143452","https://openalex.org/W2025253701","https://openalex.org/W2072474927","https://openalex.org/W2077358611","https://openalex.org/W2097997737","https://openalex.org/W2100591395","https://openalex.org/W2109223453","https://openalex.org/W2114618422","https://openalex.org/W2139668965","https://openalex.org/W2147459295","https://openalex.org/W2163367563","https://openalex.org/W2281785532"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2354385412","https://openalex.org/W2295023886","https://openalex.org/W4285586714","https://openalex.org/W2751940653","https://openalex.org/W1566618018","https://openalex.org/W4285507391","https://openalex.org/W2914996832","https://openalex.org/W1970932400","https://openalex.org/W2007647094"],"abstract_inverted_index":{"Atlas":[0,10,66],"is":[1],"a":[2,39,60],"new":[3],"software":[4,36],"analysis":[5,14,22,56],"platform":[6],"from":[7,16],"EnSoft":[8],"Corp.":[9],"decouples":[11],"the":[12,28,35,44,50,78,91,97,101,113],"domain-specific":[13],"goal":[15],"its":[17],"underlying":[18],"mechanism":[19],"by":[20],"splitting":[21],"into":[23],"two":[24],"distinct":[25],"phases.":[26],"In":[27,43,73],"first":[29],"phase,":[30,46],"polynomial-time":[31],"static":[32],"analyzers":[33],"index":[34],"AST,":[37],"building":[38],"rich":[40],"graph":[41,51],"database.":[42],"second":[45],"users":[47],"can":[48],"explore":[49],"directly":[52],"or":[53],"run":[54],"custom":[55],"scripts":[57],"written":[58],"using":[59],"convenient":[61],"API.":[62],"These":[63],"features":[64],"make":[65],"ideal":[67],"for":[68],"both":[69],"interaction":[70],"and":[71,81,100,115],"automation.":[72],"this":[74],"paper,":[75],"we":[76],"describe":[77],"motivation,":[79],"design,":[80],"use":[82,118],"of":[83,93,96,103],"Atlas.":[84],"We":[85],"present":[86],"validation":[87],"case":[88],"studies,":[89],"including":[90],"verification":[92],"safe":[94],"synchronization":[95],"Linux":[98],"kernel,":[99],"detection":[102,117],"malware":[104,116],"in":[105],"Android":[106],"applications.":[107],"Our":[108],"ICSE":[109],"2014":[110],"demo":[111],"explores":[112],"comprehension":[114],"cases.":[119],"Video:":[120],"http://youtu.be/cZOWlJ-IO0k":[121]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}