{"id":"https://openalex.org/W2564450724","doi":"https://doi.org/10.1145/3018882.3018890","title":"Interactive data representation migration: exploiting program dependence to aid program transformation","display_name":"Interactive data representation migration: exploiting program dependence to aid program transformation","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2564450724","doi":"https://doi.org/10.1145/3018882.3018890","mag":"2564450724"},"language":"en","primary_location":{"id":"doi:10.1145/3018882.3018890","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3018882.3018890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5090096940","display_name":"Krishna Narasimhan","orcid":"https://orcid.org/0000-0001-8004-3470"},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Krishna Narasimhan","raw_affiliation_strings":["Goethe University Frankfurt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Goethe University Frankfurt, Germany","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019910161","display_name":"Christoph Reichenbach","orcid":"https://orcid.org/0000-0003-0608-7023"},"institutions":[{"id":"https://openalex.org/I4210087817","display_name":"Software (Germany)","ror":"https://ror.org/004g36n56","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210087817"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Reichenbach","raw_affiliation_strings":["R\u00b2 Software & Systeme, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"R\u00b2 Software & Systeme, Germany","institution_ids":["https://openalex.org/I4210087817"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040879516","display_name":"Julia Lawall","orcid":"https://orcid.org/0000-0002-1684-1264"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julia Lawall","raw_affiliation_strings":["Sorbonne, France / UPMC, France / Inria, France / LIP6, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne, France / UPMC, France / Inria, France / LIP6, France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.24043358,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"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/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/dataflow","display_name":"Dataflow","score":0.8555861115455627},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8453197479248047},{"id":"https://openalex.org/keywords/code-refactoring","display_name":"Code refactoring","score":0.7933399677276611},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7164997458457947},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6978001594543457},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.6077839136123657},{"id":"https://openalex.org/keywords/data-transformation","display_name":"Data transformation","score":0.5699134469032288},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.5201907157897949},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5197465419769287},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5125898718833923},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44812506437301636},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4268978238105774},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4187735319137573},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41522833704948425},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.21274209022521973},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11674833297729492}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8555861115455627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8453197479248047},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.7933399677276611},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7164997458457947},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6978001594543457},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6077839136123657},{"id":"https://openalex.org/C150670458","wikidata":"https://www.wikidata.org/wiki/Q4272815","display_name":"Data transformation","level":3,"score":0.5699134469032288},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.5201907157897949},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5197465419769287},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5125898718833923},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44812506437301636},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4268978238105774},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4187735319137573},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41522833704948425},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.21274209022521973},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11674833297729492},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C135572916","wikidata":"https://www.wikidata.org/wiki/Q193351","display_name":"Data warehouse","level":2,"score":0.0},{"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3018882.3018890","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3018882.3018890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation","raw_type":"proceedings-article"},{"id":"pmh:oai:lup.lub.lu.se:6dbdcc38-7fe4-4ad8-81f1-f23ad5efb9b4","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/6dbdcc38-7fe4-4ad8-81f1-f23ad5efb9b4","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1414298131","https://openalex.org/W1495725173","https://openalex.org/W1962482270","https://openalex.org/W1971782746","https://openalex.org/W2023299380","https://openalex.org/W2045749853","https://openalex.org/W2115472920","https://openalex.org/W2125872407","https://openalex.org/W2144344516","https://openalex.org/W2156076209","https://openalex.org/W2162422574","https://openalex.org/W2163000655","https://openalex.org/W2911688310","https://openalex.org/W2913808105","https://openalex.org/W2984008781","https://openalex.org/W3027933540","https://openalex.org/W3160136729","https://openalex.org/W4242003132","https://openalex.org/W6628187987"],"related_works":["https://openalex.org/W89830103","https://openalex.org/W1936706003","https://openalex.org/W2955640403","https://openalex.org/W2888997865","https://openalex.org/W100507624","https://openalex.org/W204044176","https://openalex.org/W2388676619","https://openalex.org/W3138299080","https://openalex.org/W83394342","https://openalex.org/W2387256595"],"abstract_inverted_index":{"Data":[0],"representation":[1,39,128],"migration":[2],"is":[3,59],"a":[4,13,57,132,141,166,180,188,206],"program":[5,106,136,192,201,251],"transformation":[6,58,107,137,147,151,173,208,228,235],"that":[7,24,28,71,138,156,246,261],"involves":[8],"changing":[9],"the":[10,22,33,37,49,52,77,99,110,124,150,160,254,257],"type":[11],"of":[12,21,51,101,126,143,229,236,256,266],"particular":[14,102],"data":[15,29,38,103,127,238],"structure,":[16],"and":[17,47,186,216,219,234,253,260],"then":[18],"updating":[19],"all":[20],"operations":[23],"somehow":[25,157],"depend":[26],"on":[27,140,159,211],"structure":[30],"according":[31],"to":[32,68,89,98,135,154,197,231,240,264,268],"new":[34,133],"type.":[35],"Changing":[36],"can":[40,249],"provide":[41,109,177],"benefits":[42],"such":[43,56],"as":[44],"improving":[45,48],"efficiency":[46],"quality":[50],"computed":[53,258],"results.":[54],"Performing":[55],"challenging,":[60],"because":[61],"it":[62,221,262],"requires":[63],"applying":[64],"data-type":[65],"specific":[66],"changes":[67],"code":[69,155,218],"fragments":[70],"may":[72],"be":[73],"widely":[74],"scattered":[75],"throughout":[76],"source":[78],"code,":[79],"connected":[80],"by":[81],"dataflow":[82,90,120],"dependencies.":[83,121],"Refactoring":[84],"systems":[85],"are":[86,93],"typically":[87],"sensitive":[88],"dependencies,":[91],"but":[92,113],"not":[94,115],"programmable":[95],"with":[96],"respect":[97],"features":[100],"types.":[104],"Existing":[105],"languages":[108],"needed":[111],"flexibility,":[112],"do":[114],"concisely":[116],"support":[117],"reasoning":[118],"about":[119],"To":[122],"address":[123],"needs":[125],"migration,":[129],"we":[130],"propose":[131],"approach":[134,164,248],"relies":[139],"notion":[142],"semantic":[144],"dependency:":[145],"every":[146],"step":[148],"propagates":[149],"process":[152],"onward":[153],"depends":[158],"transformed":[161],"code.":[162],"Our":[163,243],"provides":[165],"declarative":[167],"transformation-specification":[168],"language,":[169],"for":[170,182,190,214],"expressing":[171],"typespecific":[172],"rules.":[174],"We":[175,203],"further":[176],"scoped":[178],"rules,":[179],"mechanism":[181],"guiding":[183],"rule":[184],"application,":[185],"tags,":[187],"device":[189],"simple":[191],"analysis":[193],"within":[194],"our":[195,247],"framework,":[196],"enable":[198],"more":[199],"powerful":[200],"transformations.":[202],"have":[204],"implemented":[205],"prototype":[207],"system":[209],"based":[210],"these":[212],"ideas":[213],"C":[215],"C++":[217],"evaluate":[220],"against":[222],"three":[223],"example":[224],"specifications,":[225],"including":[226],"vectorization,":[227],"integers":[230],"big":[232],"integers,":[233],"array-of-structures":[237],"types":[239],"structure-of-arrays":[241],"format.":[242],"evaluation":[244],"shows":[245],"improve":[250],"performance":[252],"precision":[255],"results,":[259],"scales":[263],"programs":[265],"up":[267],"3700":[269],"lines.":[270]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}