{"id":"https://openalex.org/W2044868346","doi":"https://doi.org/10.1145/1146238.1146260","title":"The case for analysis preserving language transformation","display_name":"The case for analysis preserving language transformation","publication_year":2006,"publication_date":"2006-07-21","ids":{"openalex":"https://openalex.org/W2044868346","doi":"https://doi.org/10.1145/1146238.1146260","mag":"2044868346"},"language":"en","primary_location":{"id":"doi:10.1145/1146238.1146260","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1146238.1146260","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international symposium on Software testing and analysis","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/A5100759721","display_name":"Xiaolan Zhang","orcid":"https://orcid.org/0000-0002-6343-3116"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xiaolan Zhang","raw_affiliation_strings":["IBM T. J. Watson Research Center, Hawthorne, NY","IBM T.J. Watson Research Center, Hawthorne, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025014689","display_name":"Larry Koved","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Larry Koved","raw_affiliation_strings":["IBM T. J. Watson Research Center, Hawthorne, NY","IBM T.J. Watson Research Center, Hawthorne, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066501364","display_name":"Marco Pistoia","orcid":"https://orcid.org/0000-0001-9002-1128"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Pistoia","raw_affiliation_strings":["IBM T. J. Watson Research Center, Hawthorne, NY","IBM T.J. Watson Research Center, Hawthorne, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110701470","display_name":"Sam Weber","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Weber","raw_affiliation_strings":["IBM T. J. Watson Research Center, Hawthorne, NY","IBM T.J. Watson Research Center, Hawthorne, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055045569","display_name":"Trent Jaeger","orcid":"https://orcid.org/0000-0002-4964-1170"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trent Jaeger","raw_affiliation_strings":["IBM T. J. Watson Research Center, Hawthorne, NY","IBM T.J. Watson Research Center, Hawthorne, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010896505","display_name":"Guillaume Marceau","orcid":null},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guillaume Marceau","raw_affiliation_strings":["Brown University, Providence, RI","Brown University, Providence, RI,"],"affiliations":[{"raw_affiliation_string":"Brown University, Providence, RI","institution_ids":["https://openalex.org/I27804330"]},{"raw_affiliation_string":"Brown University, Providence, RI,","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052789513","display_name":"Liangzhao Zeng","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Liangzhao Zeng","raw_affiliation_strings":["IBM T. J. Watson Research Center, Hawthorne, NY","IBM T.J. Watson Research Center, Hawthorne, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5100759721"],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":1.4003,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.82538462,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":null,"first_page":"191","last_page":"202"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.87143874168396},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7349275350570679},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6879189610481262},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6564784646034241},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6320524215698242},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6172690987586975},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5829446315765381},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5414100289344788},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5193537473678589},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49211448431015015},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4885614812374115},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4435952603816986},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.420705109834671}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.87143874168396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7349275350570679},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6879189610481262},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6564784646034241},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6320524215698242},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6172690987586975},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5829446315765381},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5414100289344788},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5193537473678589},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49211448431015015},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4885614812374115},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4435952603816986},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.420705109834671},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1146238.1146260","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1146238.1146260","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international symposium on Software testing and analysis","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":47,"referenced_works":["https://openalex.org/W73531603","https://openalex.org/W145782308","https://openalex.org/W1503956410","https://openalex.org/W1506512744","https://openalex.org/W1514171102","https://openalex.org/W1529049337","https://openalex.org/W1533004102","https://openalex.org/W1565113942","https://openalex.org/W1582703556","https://openalex.org/W1827592073","https://openalex.org/W1880843538","https://openalex.org/W1910675754","https://openalex.org/W1963569294","https://openalex.org/W2024380219","https://openalex.org/W2044590882","https://openalex.org/W2065076704","https://openalex.org/W2066859698","https://openalex.org/W2082000355","https://openalex.org/W2089139117","https://openalex.org/W2091346899","https://openalex.org/W2095881341","https://openalex.org/W2096230959","https://openalex.org/W2097145414","https://openalex.org/W2103714221","https://openalex.org/W2106017511","https://openalex.org/W2106972913","https://openalex.org/W2107370049","https://openalex.org/W2108824981","https://openalex.org/W2113238444","https://openalex.org/W2119029078","https://openalex.org/W2119736157","https://openalex.org/W2120138937","https://openalex.org/W2121421673","https://openalex.org/W2140792139","https://openalex.org/W2147459295","https://openalex.org/W2150858564","https://openalex.org/W2153185479","https://openalex.org/W2156268601","https://openalex.org/W2160670045","https://openalex.org/W2166668408","https://openalex.org/W2169476734","https://openalex.org/W2914982603","https://openalex.org/W3137069269","https://openalex.org/W4235481015","https://openalex.org/W4243390939","https://openalex.org/W4253735066","https://openalex.org/W6685177392"],"related_works":["https://openalex.org/W2525463489","https://openalex.org/W1608803044","https://openalex.org/W2020973245","https://openalex.org/W2968467529","https://openalex.org/W1531033207","https://openalex.org/W2970480852","https://openalex.org/W3019407550","https://openalex.org/W2099473014","https://openalex.org/W1483759049","https://openalex.org/W1801362808"],"abstract_inverted_index":{"Static":[0],"analysis":[1,49,67,74,149,160,192],"has":[2],"gained":[3],"much":[4],"attention":[5],"over":[6],"the":[7,66,101,106,117,139,151],"past":[8],"few":[9],"years":[10],"in":[11,38,85,110,125],"applications":[12,34],"such":[13,127],"as":[14,134],"bug":[15],"finding":[16],"and":[17,25,33,71,90,141,156,171,181,185],"program":[18,197],"verification.":[19],"As":[20],"software":[21,31],"becomes":[22],"more":[23],"complex":[24],"componentized,":[26],"it":[27],"is":[28,42],"common":[29],"for":[30,47,51,76,162,175,194],"systems":[32],"to":[35,79,82,95,103,116],"be":[36,80],"implemented":[37],"multiple":[39],"languages.":[40],"There":[41],"thus":[43],"a":[44,56,128,131,169],"strong":[45],"need":[46],"developing":[48],"tools":[50,75,161,193],"multi-language":[52,69],"software.":[53],"We":[54,120,137],"introduce":[55],"technique":[57],"called":[58],"Analysis":[59],"Preserving":[60],"Language":[61],"Transformation":[62],"(aplt)":[63],"that":[64,112,168,186],"enables":[65,188],"of":[68,143,150,158,191],"software,":[70],"also":[72],"allows":[73,100],"one":[77],"language":[78],"applied":[81],"programs":[83],"written":[84],"another.":[86],"aplt":[87,144,187],"preserves":[88],"data":[89],"control":[91],"flow":[92],"information":[93],"needed":[94],"perform":[96],"static":[97],"analyses,":[98],"but":[99],"translation":[102],"deviate":[104],"from":[105],"original":[107],"program's":[108],"semantics":[109],"ways":[111],"are":[113],"not":[114],"pertinent":[115],"particular":[118],"analysis.":[119],"discuss":[121],"major":[122],"technical":[123],"difficulties":[124],"building":[126],"translator,":[129],"using":[130,145],"C-to-Java":[132],"translator":[133],"an":[135],"example.":[136],"demonstrate":[138],"feasibility":[140],"effectiveness":[142],"two":[146],"usage":[147],"cases:":[148],"Java":[152,159],"runtime":[153],"native":[154,176],"methods":[155,177],"reuse":[157,190],"C.":[163],"Our":[164],"preliminary":[165],"results":[166],"show":[167],"control-":[170],"data-flow":[172],"equivalent":[173],"model":[174],"can":[178],"eliminate":[179],"unsoundness":[180],"produce":[182],"reliable":[183],"results,":[184],"seamless":[189],"checking":[195],"high-level":[196],"properties.":[198]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}