{"id":"https://openalex.org/W2767391605","doi":"https://doi.org/10.1109/ase.2017.8115718","title":"IntPTI: Automatic integer error repair with proper-type inference","display_name":"IntPTI: Automatic integer error repair with proper-type inference","publication_year":2017,"publication_date":"2017-10-01","ids":{"openalex":"https://openalex.org/W2767391605","doi":"https://doi.org/10.1109/ase.2017.8115718","mag":"2767391605"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2017.8115718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2017.8115718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","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/A5086254073","display_name":"Xi Cheng","orcid":"https://orcid.org/0000-0003-3870-1577"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xi Cheng","raw_affiliation_strings":["TNLIST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"TNLIST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071579968","display_name":"Min Zhou","orcid":"https://orcid.org/0000-0002-4679-0488"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Zhou","raw_affiliation_strings":["TNLIST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"TNLIST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082437433","display_name":"Xiaoyu Song","orcid":"https://orcid.org/0000-0002-6583-9400"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoyu Song","raw_affiliation_strings":["Electrical and Computer Engineering, Portland State University, USA"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, Portland State University, USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100846520","display_name":"Ming Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Gu","raw_affiliation_strings":["TNLIST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"TNLIST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429010","display_name":"Jiaguang Sun","orcid":"https://orcid.org/0000-0002-5884-7939"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaguang Sun","raw_affiliation_strings":["TNLIST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"TNLIST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5086254073"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":3.3919,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.93191312,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"996","last_page":"1001"},"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.9998999834060669,"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.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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.9988999962806702,"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/computer-science","display_name":"Computer science","score":0.7754662036895752},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.7508711814880371},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6139582991600037},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6013233661651611},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5516404509544373},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5221765041351318},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5166175961494446},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5036162734031677},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4759644865989685},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.45167842507362366},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36090248823165894},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.24969947338104248},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24799740314483643},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15429532527923584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7754662036895752},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.7508711814880371},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6139582991600037},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6013233661651611},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5516404509544373},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5221765041351318},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5166175961494446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5036162734031677},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4759644865989685},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.45167842507362366},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36090248823165894},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.24969947338104248},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24799740314483643},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15429532527923584},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ase.2017.8115718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2017.8115718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pdxscholar.library.pdx.edu:ece_fac-1531","is_oa":false,"landing_page_url":"https://pdxscholar.library.pdx.edu/ece_fac/528","pdf_url":null,"source":{"id":"https://openalex.org/S4377196300","display_name":"PDXScholar  (Portland State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126345244","host_organization_name":"Portland State University","host_organization_lineage":["https://openalex.org/I126345244"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical and Computer Engineering Faculty Publications and Presentations","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4300000071525574}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W61170269","https://openalex.org/W226699034","https://openalex.org/W1480909796","https://openalex.org/W1506510492","https://openalex.org/W1536898727","https://openalex.org/W1553894716","https://openalex.org/W1578612406","https://openalex.org/W1591856965","https://openalex.org/W1904404804","https://openalex.org/W1977696633","https://openalex.org/W2009526138","https://openalex.org/W2016027000","https://openalex.org/W2019730517","https://openalex.org/W2041091076","https://openalex.org/W2060333670","https://openalex.org/W2063387237","https://openalex.org/W2064060175","https://openalex.org/W2076719273","https://openalex.org/W2101013227","https://openalex.org/W2123527946","https://openalex.org/W2145373440","https://openalex.org/W2149237601","https://openalex.org/W2159595840","https://openalex.org/W2274071363","https://openalex.org/W2332631626","https://openalex.org/W2508583900","https://openalex.org/W2621026180","https://openalex.org/W4236837729","https://openalex.org/W4244452926","https://openalex.org/W4255632703","https://openalex.org/W4256377773","https://openalex.org/W4285719527","https://openalex.org/W6608895828","https://openalex.org/W6630436094","https://openalex.org/W6632216921","https://openalex.org/W6639981184","https://openalex.org/W6682018898","https://openalex.org/W6683303659"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W2965083567","https://openalex.org/W4235240664","https://openalex.org/W1838576100","https://openalex.org/W1941412300","https://openalex.org/W2804371217","https://openalex.org/W4297831890","https://openalex.org/W2963764498","https://openalex.org/W2068383718","https://openalex.org/W4246881098"],"abstract_inverted_index":{"Integer":[0],"errors":[1,35],"in":[2,14,39,87],"C/C++":[3,32],"are":[4,12,36],"caused":[5],"by":[6],"arithmetic":[7],"operations":[8],"yielding":[9],"results":[10,156],"which":[11,62,138],"unrepresentable":[13],"certain":[15],"type.":[16],"They":[17],"can":[18],"lead":[19],"to":[20,27,46,57,65,75,113,141],"serious":[21],"safety":[22],"and":[23,42,70,82,111,117,143,154,162],"security":[24],"issues.":[25],"Due":[26],"the":[28,67,79,99,120,128,145,155],"complicated":[29],"semantics":[30],"of":[31],"integers,":[33],"integer":[34,85],"widely":[37],"harbored":[38],"real-world":[40,152],"programs":[41],"it":[43],"is":[44,55,174],"error-prone":[45],"repair":[47,160],"them":[48],"even":[49],"for":[50,102,109,172],"experts.":[51],"An":[52],"automatic":[53],"tool":[54,95],"desired":[56,100],"1)":[58],"automatically":[59],"generate":[60],"fixes":[61,81],"assist":[63],"developers":[64,77],"correct":[66],"buggy":[68],"code,":[69],"2)":[71],"provide":[72],"sufficient":[73],"hints":[74],"help":[76],"review":[78,142],"generated":[80],"better":[83],"understand":[84],"types":[86,108,122],"C/C++.":[88],"In":[89],"this":[90],"paper,":[91],"we":[92],"present":[93],"a":[94,134],"IntPTI":[96,105,132,149,173],"that":[97],"implements":[98],"functionalities":[101],"C":[103],"programs.":[104],"infers":[106],"appropriate":[107],"variables":[110],"expressions":[112],"eliminate":[114],"representation":[115],"issues,":[116],"then":[118],"utilizes":[119],"derived":[121],"with":[123],"fix":[124],"patterns":[125],"codified":[126],"from":[127],"successful":[129],"human-written":[130],"patches.":[131],"provides":[133],"user-friendly":[135],"web":[136],"interface":[137],"allows":[139],"users":[140],"manage":[144],"fixes.":[146],"We":[147],"evaluate":[148],"on":[150,165],"7":[151],"projects":[153],"show":[157],"its":[158,163],"competitive":[159],"accuracy":[161],"scalability":[164],"large":[166],"code":[167],"bases.":[168],"The":[169],"demo":[170],"video":[171],"available":[175],"at:":[176],"https://youtu.be/9Tgd4A_FgZM.":[177]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}