{"id":"https://openalex.org/W7134929608","doi":"https://doi.org/10.48550/arxiv.2603.09544","title":"Compartmentalization-Aware Automated Program Repair","display_name":"Compartmentalization-Aware Automated Program Repair","publication_year":2026,"publication_date":"2026-03-10","ids":{"openalex":"https://openalex.org/W7134929608","doi":"https://doi.org/10.48550/arxiv.2603.09544"},"language":"en","primary_location":{"id":"pmh:oai:pure.atira.dk:publications/084f3cc1-11c6-4d19-8c80-9420362436ad","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/084f3cc1-11c6-4d19-8c80-9420362436ad","pdf_url":"https://pure.manchester.ac.uk/ws/files/1843118123/paper.pdf","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hu, J, Sun, Y & Olivier, P 2026, 'Compartmentalization-Aware Automated Program Repair', Paper presented at Journal Ahead Workshop, 12/04/26 - 18/04/26.","raw_type":"info:eu-repo/semantics/conferenceObject"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.manchester.ac.uk/ws/files/1843118123/paper.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128765399","display_name":"Jia Hu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Jia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128790218","display_name":"Youcheng Sun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Youcheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101759281","display_name":"Pierre Olivier","orcid":"https://orcid.org/0000-0001-7781-1299"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Olivier, Pierre","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16966608,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.25679999589920044,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.25679999589920044,"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/T10734","display_name":"Information and Cyber Security","score":0.16500000655651093,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.15240000188350677,"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/compartmentalization","display_name":"Compartmentalization (fire protection)","score":0.821399986743927},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6938999891281128},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5857999920845032},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.5824999809265137},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.550599992275238},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5318999886512756},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.4521999955177307},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.43140000104904175}],"concepts":[{"id":"https://openalex.org/C110455231","wikidata":"https://www.wikidata.org/wiki/Q897788","display_name":"Compartmentalization (fire protection)","level":3,"score":0.821399986743927},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6938999891281128},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6786999702453613},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5857999920845032},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.5824999809265137},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.550599992275238},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5318999886512756},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5184000134468079},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.4521999955177307},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.43140000104904175},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.3896999955177307},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.3596000075340271},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.357699990272522},{"id":"https://openalex.org/C203635412","wikidata":"https://www.wikidata.org/wiki/Q17007432","display_name":"Compartment (ship)","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.3328000009059906},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3003999888896942},{"id":"https://openalex.org/C167063184","wikidata":"https://www.wikidata.org/wiki/Q1400839","display_name":"Vulnerability assessment","level":3,"score":0.2985999882221222},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C172776598","wikidata":"https://www.wikidata.org/wiki/Q7943570","display_name":"Vulnerability management","level":4,"score":0.2727999985218048},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.2648000121116638},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.2599000036716461}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:pure.atira.dk:publications/084f3cc1-11c6-4d19-8c80-9420362436ad","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/084f3cc1-11c6-4d19-8c80-9420362436ad","pdf_url":"https://pure.manchester.ac.uk/ws/files/1843118123/paper.pdf","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hu, J, Sun, Y & Olivier, P 2026, 'Compartmentalization-Aware Automated Program Repair', Paper presented at Journal Ahead Workshop, 12/04/26 - 18/04/26.","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.48550/arxiv.2603.09544","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.09544","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/084f3cc1-11c6-4d19-8c80-9420362436ad","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/084f3cc1-11c6-4d19-8c80-9420362436ad","pdf_url":"https://pure.manchester.ac.uk/ws/files/1843118123/paper.pdf","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hu, J, Sun, Y & Olivier, P 2026, 'Compartmentalization-Aware Automated Program Repair', Paper presented at Journal Ahead Workshop, 12/04/26 - 18/04/26.","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5815953016281128}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7134929608.pdf","grobid_xml":"https://content.openalex.org/works/W7134929608.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Software":[0],"compartmentalization":[1,188],"breaks":[2],"down":[3],"an":[4,12,59],"application":[5],"into":[6,167],"compartments":[7],"isolated":[8],"from":[9,75],"each":[10],"other:":[11],"attacker":[13,60],"taking":[14,61],"over":[15,62,216],"a":[16,63,110,155,168,172,180,194,201,217,224],"compartment":[17,64,161],"will":[18],"be":[19],"confined":[20],"to":[21,29,65,160,223],"it,":[22],"limiting":[23],"the":[24,30,33,36,71,100,115,148,185,206],"damage":[25],"they":[26],"can":[27],"cause":[28],"rest":[31],"of":[32,39,90,102,117,154,187,190,196,208,227],"application.":[34],"Despite":[35],"security":[37,72],"promises":[38],"this":[40,107,144],"approach,":[41],"recent":[42,91],"studies":[43],"have":[44],"shown":[45],"that":[46,78,130],"most":[47],"existing":[48,131,191],"compartmentalized":[49],"software":[50],"is":[51,83,140],"plagued":[52],"by":[53],"vulnerabilities":[54],"at":[55,120],"cross-compartment":[56,81,122,176],"interfaces,":[57],"allowing":[58],"escape":[66],"its":[67],"confinement":[68],"and":[69,86,134,146,151,199,230],"negate":[70],"guarantees":[73],"expected":[74],"compartmentalization.":[76],"In":[77,88],"context,":[79],"securing":[80,121],"interfaces":[82,123],"notoriously":[84],"difficult":[85],"engineering-intensive.":[87],"light":[89],"advances":[92],"in":[93,112],"Automated":[94],"Program":[95],"Repair":[96],"(APR),":[97],"notably":[98],"through":[99],"use":[101,226],"Large":[103],"Language":[104],"Models":[105],"(LLMs),":[106],"paper":[108],"presents":[109],"work":[111],"progress":[113],"investigating":[114],"suitability":[116],"LLM-based":[118],"APR":[119,132,157],"as":[124,126,139],"automatically":[125],"possible.":[127],"We":[128,212],"observe":[129],"approaches":[133],"general":[135],"purpose/code-centric":[136],"LLMs":[137,192],"used":[138],"are":[141],"unfit":[142],"for":[143],"task,":[145],"present":[147],"design,":[149],"implementation,":[150],"early":[152],"results":[153],"new":[156],"framework":[158,165,215],"dedicated":[159],"interface":[162,177,219],"safety.":[163],"The":[164],"integrates":[166],"feedback":[169],"loop":[170],"1)":[171],"specialized":[173],"fuzzer":[174],"uncovering":[175],"vulnerabilities;":[178],"2)":[179],"patch":[181,202],"generation":[182],"component":[183,204],"bridging":[184],"lack":[186],"awareness":[189],"with":[193],"series":[195],"analysis":[197],"techniques;":[198],"3)":[200],"validation":[203],"assessing":[205],"effectiveness":[207],"generated":[209],"vulnerability":[210],"fixes.":[211],"validate":[213],"our":[214],"sample":[218],"vulnerability,":[220],"comparing":[221],"it":[222],"naive":[225],"general-purpose":[228],"LLMs,":[229],"discuss":[231],"future":[232],"research":[233],"avenues.":[234]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2026-03-12T00:00:00"}