{"id":"https://openalex.org/W7118169992","doi":"https://doi.org/10.1109/aiccsa66935.2025.11315253","title":"A Deep Learning Model for Predicting Transformation Legality","display_name":"A Deep Learning Model for Predicting Transformation Legality","publication_year":2025,"publication_date":"2025-10-19","ids":{"openalex":"https://openalex.org/W7118169992","doi":"https://doi.org/10.1109/aiccsa66935.2025.11315253"},"language":null,"primary_location":{"id":"doi:10.1109/aiccsa66935.2025.11315253","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aiccsa66935.2025.11315253","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACS 22nd International Conference on Computer Systems and Applications (AICCSA)","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/A5121956092","display_name":"Avani Tiwari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Avani Tiwari","raw_affiliation_strings":["New York University Abu Dhabi,Department of Computer Science,Abu Dhabi,UAE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University Abu Dhabi,Department of Computer Science,Abu Dhabi,UAE","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040778696","display_name":"Yacine Hakimi","orcid":"https://orcid.org/0009-0005-4820-8091"},"institutions":[{"id":"https://openalex.org/I4210149016","display_name":"\u00c9cole Nationale Sup\u00e9rieure d'Informatique","ror":"https://ror.org/04dj1dn66","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210149016"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Yacine Hakimi","raw_affiliation_strings":["Laboratoire de M´ethodes de Conception de Systémes Ecole nationale Sup´erieure d’Informatique Oued Smar, BP M68,Algiers,Algeria,16309"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de M´ethodes de Conception de Systémes Ecole nationale Sup´erieure d’Informatique Oued Smar, BP M68,Algiers,Algeria,16309","institution_ids":["https://openalex.org/I4210149016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121934405","display_name":"Riyadh Baghdadi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Riyadh Baghdadi","raw_affiliation_strings":["New York University Abu Dhabi,Department of Computer Science,Abu Dhabi,UAE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University Abu Dhabi,Department of Computer Science,Abu Dhabi,UAE","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5731,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87608581,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.4129999876022339,"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.4129999876022339,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.227400004863739,"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.08950000256299973,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/principle-of-legality","display_name":"Principle of legality","score":0.9577999711036682},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6796000003814697},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6527000069618225},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.4440000057220459},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4390999972820282},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.4311999976634979},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4221999943256378},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3750999867916107},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.37400001287460327}],"concepts":[{"id":"https://openalex.org/C42027317","wikidata":"https://www.wikidata.org/wiki/Q2307054","display_name":"Principle of legality","level":2,"score":0.9577999711036682},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6796000003814697},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.679099977016449},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6527000069618225},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5814999938011169},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.4440000057220459},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4390999972820282},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.4311999976634979},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4221999943256378},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.37400001287460327},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.3598000109195709},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34689998626708984},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.34630000591278076},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3125},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28700000047683716},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.2791999876499176},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.273499995470047},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2732999920845032},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27250000834465027},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.2651999890804291}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aiccsa66935.2025.11315253","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aiccsa66935.2025.11315253","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACS 22nd International Conference on Computer Systems and Applications (AICCSA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313203","display_name":"New York University Abu Dhabi","ror":"https://ror.org/00e5k0821"},{"id":"https://openalex.org/F4320330069","display_name":"Tamkeen","ror":"https://ror.org/00bqpz325"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2007962166","https://openalex.org/W2139143992","https://openalex.org/W2618564128","https://openalex.org/W2783614532","https://openalex.org/W2961619211","https://openalex.org/W2962724414","https://openalex.org/W3007205676","https://openalex.org/W3008788679","https://openalex.org/W3082811184","https://openalex.org/W3086481683","https://openalex.org/W3108220046","https://openalex.org/W4246500121","https://openalex.org/W4386968162","https://openalex.org/W4409061765","https://openalex.org/W4417403182"],"related_works":[],"abstract_inverted_index":{"Compilers":[0],"must":[1],"check":[2,27,147],"the":[3,10,76,83,100,108,133,141,145,150,168,213,218],"legality":[4,26,40,66,77,146],"of":[5,12,16,78,89,120,126,152],"code":[6,17,84,101,159],"transformations":[7,18,90,98],"to":[8,19,29,99,143,170,217],"guarantee":[9],"correctness":[11],"applying":[13,96],"a":[14,20,25,49,70,87,123,136,165,206],"sequence":[15],"given":[21],"code.":[22],"While":[23],"such":[24,46,164],"needs":[28],"be":[30],"precisely":[31],"computed":[32],"in":[33,43,135,178],"general,":[34],"we":[35,60,139],"can":[36],"use":[37],"an":[38,62,117,153],"approximate":[39,63],"prediction":[41],"model":[42,73,81,134,142],"certain":[44],"cases,":[45],"as":[47,91,174],"training":[48,151,180],"reinforcement":[50],"learning":[51],"(RL)":[52],"agent":[53,155,169,196],"for":[54,65,74,157,189,193],"schedule":[55],"prediction.":[56],"In":[57],"this":[58,199],"paper,":[59],"propose":[61,69],"method":[64],"checks.":[67],"We":[68,104,161],"novel":[71],"DL":[72],"predicting":[75],"transformations.":[79],"The":[80,195],"takes":[82],"representation":[85],"and":[86,93,106,181,191],"list":[88],"input":[92],"predicts":[94],"whether":[95],"those":[97],"is":[102],"legal.":[103],"implement":[105],"evaluate":[107,132],"proposed":[109],"model,":[110],"demonstrating":[111],"its":[112],"effectiveness.":[113],"Our":[114],"evaluation":[115],"shows":[116],"F1":[118],"score":[119],"0.91":[121],"on":[122,172,210],"test":[124],"set":[125],"randomly":[127],"generated":[128],"programs.":[129],"To":[130],"further":[131],"practical":[137],"scenario,":[138],"used":[140,148],"replace":[144],"during":[149],"RL":[154],"designed":[156],"automatic":[158],"optimization.":[160],"demonstrate":[162],"that":[163],"replacement":[166],"enables":[167],"train":[171],"twice":[173],"many":[175],"steps,":[176],"resulting":[177],"faster":[179],"reducing":[182],"resource":[183],"usage":[184],"by":[185],"approximately":[186],"$80":[187],"\\%$":[188,208],"CPU":[190],"35%":[192],"RAM.":[194],"trained":[197],"using":[198],"approach":[200],"maintains":[201],"comparable":[202],"performance,":[203],"with":[204],"only":[205],"$4":[207],"reduction":[209],"benchmarks":[211],"from":[212],"Polybench":[214],"suite":[215],"compared":[216],"traditional":[219],"method.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2026-01-05T00:00:00"}