{"id":"https://openalex.org/W4214634252","doi":"https://doi.org/10.1145/3503222.3507760","title":"Creating concise and efficient dynamic analyses with ALDA","display_name":"Creating concise and efficient dynamic analyses with ALDA","publication_year":2022,"publication_date":"2022-02-22","ids":{"openalex":"https://openalex.org/W4214634252","doi":"https://doi.org/10.1145/3503222.3507760"},"language":"en","primary_location":{"id":"doi:10.1145/3503222.3507760","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503222.3507760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","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/A5073972569","display_name":"Xiang Cheng","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xiang Cheng","raw_affiliation_strings":["Georgia Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064664114","display_name":"David Devecsery","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Devecsery","raw_affiliation_strings":["Georgia Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073972569"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":0.4541,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.56169738,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"740","last_page":"752"},"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.9997000098228455,"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.9997000098228455,"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/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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.8595864772796631},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.8573755621910095},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7255764603614807},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6093931794166565},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.5360361337661743},{"id":"https://openalex.org/keywords/dynamic-compilation","display_name":"Dynamic compilation","score":0.4694148004055023},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.44343048334121704},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44272756576538086},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42407816648483276},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.41223806142807007},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.39130598306655884},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3425292372703552}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8595864772796631},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.8573755621910095},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7255764603614807},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6093931794166565},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.5360361337661743},{"id":"https://openalex.org/C8767382","wikidata":"https://www.wikidata.org/wiki/Q1058454","display_name":"Dynamic compilation","level":3,"score":0.4694148004055023},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.44343048334121704},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44272756576538086},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42407816648483276},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.41223806142807007},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.39130598306655884},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3425292372703552},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3503222.3507760","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503222.3507760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W66648157","https://openalex.org/W109355758","https://openalex.org/W1671718115","https://openalex.org/W1972544179","https://openalex.org/W2016050282","https://openalex.org/W2025819261","https://openalex.org/W2027390881","https://openalex.org/W2027832933","https://openalex.org/W2052497937","https://openalex.org/W2058719553","https://openalex.org/W2077324087","https://openalex.org/W2080696000","https://openalex.org/W2089745089","https://openalex.org/W2107089133","https://openalex.org/W2108747667","https://openalex.org/W2121204404","https://openalex.org/W2122312154","https://openalex.org/W2122757982","https://openalex.org/W2135531618","https://openalex.org/W2145455396","https://openalex.org/W2147801215","https://openalex.org/W2150593762","https://openalex.org/W2155851497","https://openalex.org/W2156858199","https://openalex.org/W2157154136","https://openalex.org/W2159059513","https://openalex.org/W2170364043","https://openalex.org/W2517279098","https://openalex.org/W2763526563","https://openalex.org/W2790741450","https://openalex.org/W3005050519","https://openalex.org/W4230888301","https://openalex.org/W4234020632","https://openalex.org/W4236907340","https://openalex.org/W4238388226","https://openalex.org/W4240169199","https://openalex.org/W4240590466","https://openalex.org/W4245749384","https://openalex.org/W4246166885","https://openalex.org/W4246328121","https://openalex.org/W4251805752"],"related_works":["https://openalex.org/W1504651774","https://openalex.org/W1601646354","https://openalex.org/W1541585229","https://openalex.org/W1814870153","https://openalex.org/W2007728761","https://openalex.org/W2094737750","https://openalex.org/W1608659702","https://openalex.org/W4238882300","https://openalex.org/W3016221409","https://openalex.org/W2087060298"],"abstract_inverted_index":{"Dynamic":[0],"program":[1],"analyses":[2,15,34,50,89,187],"are":[3,16,35,188],"essential":[4,107],"to":[5,20,23,28,67,90,105,124,150,190],"creating":[6],"safe,":[7],"reliable,":[8],"and":[9,18,52,94,131,162,168,176],"productive":[10],"computing":[11],"environments.":[12],"However,":[13],"these":[14],"challenging":[17],"time-consuming":[19],"construct":[21,151],"due":[22],"the":[24,62,68,102,141,158],"low-level":[25,65],"optimization":[26],"required":[27],"achieve":[29],"acceptable":[30],"performance.":[31],"Consequently,":[32],"many":[33,49],"often":[36],"never":[37],"realized,":[38],"or":[39],"have":[40],"inefficient":[41],"implementations.":[42,192],"In":[43],"this":[44],"work":[45],"we":[46,133,182],"argue":[47],"that":[48,184],"can":[51,117],"should":[53],"be":[54],"constructed":[55],"with":[56,121,178],"a":[57,75,92],"high-level":[58,95],"description":[59,96],"language,":[60],"leaving":[61],"burden":[63],"of":[64,87,173],"optimizations":[66],"analysis":[69,80,119,155],"instrumentation":[70,143],"system":[71],"itself.":[72],"We":[73,147],"propose":[74],"novel":[76],"language":[77],"for":[78,97,115,138],"dynamic":[79,88,98,110,154],"called":[81],"ALDA.":[82],"ALDA":[83,116,139],"leverages":[84],"common":[85],"structuring":[86],"provide":[91],"simple":[93],"analyses.":[99,126],"Through":[100],"restricting":[101],"supported":[103],"behaviors":[104],"only":[106],"operations":[108],"in":[109],"analyses,":[111],"an":[112,135],"optimizing":[113,136],"compiler":[114,137],"create":[118,134],"implementations":[120],"performance":[122],"on-par":[123],"hand-tuned":[125,180,191],"To":[127],"demonstrate":[128],"ALDA\u2019s":[129],"universality":[130],"efficiency,":[132],"targeting":[140],"LLVM":[142],"framework":[144],"named":[145],"ALDAcc.":[146],"use":[148],"ALDAcc":[149],"8":[152],"different":[153],"algorithms,":[156],"including":[157],"popular":[159],"MemorySanitizer":[160],"analysis,":[161],"show":[163,183],"their":[164,179],"construction":[165],"is":[166],"succinct":[167],"simple.":[169],"By":[170],"comparing":[171],"two":[172],"them":[174],"(Eraser":[175],"MemorySanitizer)":[177],"implementations,":[181],"ALDAcc\u2019s":[185],"optimized":[186],"comparable":[189]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}