{"id":"https://openalex.org/W2767014403","doi":"https://doi.org/10.1145/3141235.3141240","title":"Zipr++","display_name":"Zipr++","publication_year":2017,"publication_date":"2017-10-31","ids":{"openalex":"https://openalex.org/W2767014403","doi":"https://doi.org/10.1145/3141235.3141240","mag":"2767014403"},"language":"en","primary_location":{"id":"doi:10.1145/3141235.3141240","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3141235.3141240","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 Workshop on Forming an Ecosystem Around Software Transformation","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/A5086514103","display_name":"Jason D. Hiser","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Hiser","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067640908","display_name":"Anh Nguyen\u2010Tuong","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anh Nguyen-Tuong","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011094446","display_name":"William Hawkins","orcid":"https://orcid.org/0000-0003-1010-9408"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Hawkins","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024098809","display_name":"Matthew J. McGill","orcid":"https://orcid.org/0000-0001-5486-3811"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew McGill","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003389724","display_name":"Michele Co","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michele Co","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068264173","display_name":"Jack W. Davidson","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jack Davidson","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"15"},"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.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9970999956130981,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8002471923828125},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5796190500259399},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5426656603813171},{"id":"https://openalex.org/keywords/lisp","display_name":"Lisp","score":0.5382912158966064},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.49806690216064453},{"id":"https://openalex.org/keywords/backporting","display_name":"Backporting","score":0.4838232398033142},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4818071722984314},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.47218480706214905},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.45557206869125366},{"id":"https://openalex.org/keywords/software-sizing","display_name":"Software sizing","score":0.4337523877620697},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3551631271839142}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8002471923828125},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5796190500259399},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5426656603813171},{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.5382912158966064},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.49806690216064453},{"id":"https://openalex.org/C21491501","wikidata":"https://www.wikidata.org/wiki/Q430253","display_name":"Backporting","level":5,"score":0.4838232398033142},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4818071722984314},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.47218480706214905},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.45557206869125366},{"id":"https://openalex.org/C201515116","wikidata":"https://www.wikidata.org/wiki/Q7554363","display_name":"Software sizing","level":5,"score":0.4337523877620697},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3551631271839142}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3141235.3141240","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3141235.3141240","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 Workshop on Forming an Ecosystem Around Software Transformation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7659488203","display_name":null,"funder_award_id":"FA8750-15-C-0018,FA8750-17-2-0079,FA8750-14-C-0110","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W175875611","https://openalex.org/W1524336136","https://openalex.org/W1947621832","https://openalex.org/W1994742583","https://openalex.org/W2047226031","https://openalex.org/W2052897520","https://openalex.org/W2136096788","https://openalex.org/W2142778065","https://openalex.org/W2168843528","https://openalex.org/W2320905713","https://openalex.org/W2407989913","https://openalex.org/W2612128870","https://openalex.org/W2750788884","https://openalex.org/W2760481911","https://openalex.org/W2902081543","https://openalex.org/W2914503388","https://openalex.org/W3144838336"],"related_works":["https://openalex.org/W2182096761","https://openalex.org/W2921131395","https://openalex.org/W4386970213","https://openalex.org/W3051764461","https://openalex.org/W2798306226","https://openalex.org/W2296239959","https://openalex.org/W2051591137","https://openalex.org/W886427026","https://openalex.org/W3125292927","https://openalex.org/W2187488199"],"abstract_inverted_index":{"Current":[0],"software":[1,13,22,31,36,76,106],"development":[2],"methodologies":[3],"and":[4,29,44,46,51,103,133],"practices,":[5],"while":[6],"enabling":[7],"the":[8,47,71,79,104,121],"production":[9],"of":[10,35,93,123],"large":[11],"complex":[12,100],"systems,":[14],"can":[15],"have":[16,112],"a":[17,62,151],"serious":[18],"negative":[19,25,86],"impact":[20],"on":[21],"quality.":[23],"These":[24],"impacts":[26],"include":[27,132],"excessive":[28],"unnecessary":[30],"complexity,":[32],"higher":[33],"probability":[34],"vulnerabilities,":[37],"diminished":[38],"execution":[39],"performance":[40],"in":[41,70,139],"both":[42],"time":[43],"space,":[45],"inability":[48],"to":[49,57,60,73,83,99,120,149],"easily":[50],"rapidly":[52],"deploy":[53],"even":[54],"minor":[55],"updates":[56],"deployed":[58],"software,":[59],"name":[61,150],"few.":[63,152],"Consequently,":[64],"there":[65],"has":[66],"been":[67],"growing":[68],"interest":[69],"capability":[72],"do":[74],"late-stage":[75,91],"(i.e.,":[77],"at":[78],"binary":[80,110,127],"level)":[81],"manipulation":[82,92],"address":[84],"these":[85],"impacts.":[87],"Unfortunately,":[88],"highly":[89],"robust,":[90],"arbitrary":[94],"binaries":[95],"is":[96],"difficult":[97],"due":[98],"implementation":[101],"techniques":[102],"corresponding":[105],"structures.":[107],"Indeed,":[108],"many":[109],"rewriters":[111,128],"limitations":[113],"that":[114,131],"constrain":[115],"their":[116],"use.":[117],"For":[118],"example,":[119],"best":[122],"our":[124],"knowledge,":[125],"no":[126],"handle":[129],"applications":[130],"use":[134],"exception":[135],"handlers-a":[136],"feature":[137],"used":[138],"programming":[140],"languages":[141],"such":[142],"as":[143],"C++,":[144],"Ada,":[145],"Common":[146],"Lisp,":[147],"ML,":[148]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2017-11-10T00:00:00"}