{"id":"https://openalex.org/W2138227076","doi":"https://doi.org/10.1145/1411732.1411745","title":"Speculative improvements to verifiable bounds check elimination","display_name":"Speculative improvements to verifiable bounds check elimination","publication_year":2008,"publication_date":"2008-09-09","ids":{"openalex":"https://openalex.org/W2138227076","doi":"https://doi.org/10.1145/1411732.1411745","mag":"2138227076"},"language":"en","primary_location":{"id":"doi:10.1145/1411732.1411745","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1411732.1411745","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international symposium on Principles and practice of programming in Java","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/A5050009335","display_name":"Andreas Gampe","orcid":null},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andreas Gampe","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, Texas","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036156102","display_name":"Jeffery von Ronne","orcid":"https://orcid.org/0000-0002-6575-196X"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffery von Ronne","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, Texas","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040103949","display_name":"David Niedzielski","orcid":null},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Niedzielski","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, Texas","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017451983","display_name":"Kleanthis Psarris","orcid":null},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kleanthis Psarris","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, Texas","institution_ids":["https://openalex.org/I45438204"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050009335"],"corresponding_institution_ids":["https://openalex.org/I45438204"],"apc_list":null,"apc_paid":null,"fwci":1.1441,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84836881,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"85","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9976999759674072,"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/computer-science","display_name":"Computer science","score":0.9019487500190735},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6461353898048401},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6352714896202087},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.6191409826278687},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5964859127998352},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5788836479187012},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5667487978935242},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5340515375137329},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.47594738006591797},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.46051397919654846},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.45220187306404114},{"id":"https://openalex.org/keywords/runtime-system","display_name":"Runtime system","score":0.4260135293006897},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4185980558395386},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34931379556655884},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.21994540095329285}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9019487500190735},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6461353898048401},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6352714896202087},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.6191409826278687},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5964859127998352},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5788836479187012},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5667487978935242},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5340515375137329},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.47594738006591797},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.46051397919654846},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.45220187306404114},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.4260135293006897},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4185980558395386},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34931379556655884},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.21994540095329285}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1411732.1411745","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1411732.1411745","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international symposium on Principles and practice of programming in Java","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3759655256","display_name":null,"funder_award_id":"EIA-0117255CCF-0702527","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4129423004","display_name":null,"funder_award_id":"EIA-0117255CCF-0702527","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G5626512886","display_name":null,"funder_award_id":"F30602-02-1-0001","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W194677851","https://openalex.org/W1497762419","https://openalex.org/W1514258760","https://openalex.org/W1644882639","https://openalex.org/W1976394633","https://openalex.org/W1978506930","https://openalex.org/W2027055567","https://openalex.org/W2031165841","https://openalex.org/W2034711041","https://openalex.org/W2063612156","https://openalex.org/W2084025113","https://openalex.org/W2107742417","https://openalex.org/W2109693630","https://openalex.org/W2118823870","https://openalex.org/W2121048547","https://openalex.org/W2126774541","https://openalex.org/W2130711572","https://openalex.org/W2135488322","https://openalex.org/W2141205188","https://openalex.org/W2159507384","https://openalex.org/W2170886848","https://openalex.org/W6600156937","https://openalex.org/W6636988782"],"related_works":["https://openalex.org/W2099479461","https://openalex.org/W1748160142","https://openalex.org/W1506559138","https://openalex.org/W2767298477","https://openalex.org/W568847311","https://openalex.org/W2271781913","https://openalex.org/W2765641823","https://openalex.org/W2111447644","https://openalex.org/W1565360684","https://openalex.org/W109355758"],"abstract_inverted_index":{"As":[0],"a":[1,62,70,167],"safety":[2],"measure,":[3],"the":[4,43,89,91,110,125,131,143,150,160,174,190],"Java":[5,48],"programming":[6],"language":[7],"requires":[8],"bounds":[9,96,194,204],"checking":[10],"of":[11,33,47,73,93,124,173,187,192],"array":[12,23,126],"accesses.":[13],"This":[14,67,156],"usually":[15,51],"translates":[16],"to":[17,39,76,139,176,179],"dynamic":[18,54],"checks":[19,35,137,195],"each":[20],"time":[21],"an":[22,114],"element":[24],"is":[25,50,61],"accessed.":[26],"Static":[27],"analysis":[28],"can":[29,97,105,153,163,197],"help":[30],"eliminate":[31],"some":[32],"those":[34],"by":[36,113],"proving":[37],"them":[38],"be":[40,86,98,106,121,140,154,164,177],"redundant,":[41],"reducing":[42],"runtime":[44,151],"overhead.":[45],"Compilation":[46],"programs":[49],"method-based,":[52],"and":[53,196],"dispatch":[55],"complicates":[56],"interprocedural":[57],"analysis.":[58,66],"The":[59],"result":[60,198],"severely":[63],"restricted":[64],"static":[65],"paper":[68,157],"presents":[69],"novel":[71],"combination":[72,186],"two":[74],"techniques":[75,188],"alleviate":[77],"this":[78,185],"problem.":[79],"By":[80],"assuming":[81],"constraints":[82],"that":[83,118,130,148,159,184,201],"cannot":[84],"safely":[85],"inferred":[87],"from":[88,109],"program,":[90],"amount":[92],"provable":[94],"safe":[95],"greatly":[99],"extended.":[100],"These":[101],"constraints,":[102],"called":[103],"speculations,":[104],"derived":[107],"automatically":[108],"program":[111],"code":[112],"analyzer,":[115],"which":[116],"assumes":[117],"there":[119],"will":[120],"no":[122],"violation":[123],"bounds.":[127],"To":[128],"ensure":[129],"speculations":[132,147],"hold":[133],"at":[134],"runtime,":[135],"additional":[136],"have":[138],"injected":[141],"into":[142],"code.":[144],"Finding":[145],"good":[146],"benefit":[149],"performance":[152],"expensive.":[155],"shows":[158],"speculation":[161],"technique":[162],"combined":[165],"with":[166],"verifiable":[168],"annotation":[169],"framework,":[170],"allowing":[171],"most":[172],"work":[175],"shifted":[178],"compile-time.":[180],"Experimental":[181],"results":[182],"show":[183],"increases":[189],"number":[191],"eliminated":[193],"in":[199],"speedups":[200],"approach":[202],"unconditional":[203],"check":[205],"removal.":[206]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}