{"id":"https://openalex.org/W2150308295","doi":"https://doi.org/10.1145/1453101.1453109","title":"Finding programming errors earlier by evaluating runtime monitors ahead-of-time","display_name":"Finding programming errors earlier by evaluating runtime monitors ahead-of-time","publication_year":2008,"publication_date":"2008-11-09","ids":{"openalex":"https://openalex.org/W2150308295","doi":"https://doi.org/10.1145/1453101.1453109","mag":"2150308295"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1453101.1453109","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.bodden.de/pubs/blh08finding.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076678278","display_name":"Eric Bodden","orcid":"https://orcid.org/0000-0003-3470-3647"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eric Bodden","raw_affiliation_strings":["McGill University"],"affiliations":[{"raw_affiliation_string":"McGill University","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016375266","display_name":"Patrick Lam","orcid":"https://orcid.org/0000-0001-8278-5400"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Patrick Lam","raw_affiliation_strings":["University of Waterloo"],"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039974849","display_name":"Laurie Hendren","orcid":"https://orcid.org/0000-0001-6755-9632"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Laurie Hendren","raw_affiliation_strings":["McGill University"],"affiliations":[{"raw_affiliation_string":"McGill University","institution_ids":["https://openalex.org/I5023651"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":55.33,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":88,"citation_normalized_percentile":{"value":0.999965,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"3086","issue":null,"first_page":"36","last_page":"47"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998,"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.9998,"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/T10126","display_name":"Logic, programming, and type systems","score":0.998,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.7035962},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime Verification","score":0.5611032},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5219533},{"id":"https://openalex.org/keywords/alias","display_name":"Alias","score":0.49114057},{"id":"https://openalex.org/keywords/aliasing","display_name":"Aliasing","score":0.43554372}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.87668675},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.7609484},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.7035962},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.667385},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5611032},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.53007877},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.52239275},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5219533},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.49114057},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.465094},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.464068},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.43554372},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.43482852},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.32461542},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.24534115},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.20918572},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1594356},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1453101.1453109","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.1966","pdf_url":"http://www.bodden.de/pubs/blh08finding.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.1966","pdf_url":"http://www.bodden.de/pubs/blh08finding.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions","score":0.78}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":25,"referenced_works":["https://openalex.org/W1511982475","https://openalex.org/W1517245127","https://openalex.org/W1570448133","https://openalex.org/W1680392829","https://openalex.org/W18500152","https://openalex.org/W1995350708","https://openalex.org/W2025677988","https://openalex.org/W2044590882","https://openalex.org/W2082827821","https://openalex.org/W2091712774","https://openalex.org/W2107406536","https://openalex.org/W2111141292","https://openalex.org/W2133497528","https://openalex.org/W2134311998","https://openalex.org/W2134429122","https://openalex.org/W2135522367","https://openalex.org/W2136033258","https://openalex.org/W2156881251","https://openalex.org/W2166091242","https://openalex.org/W2168130140","https://openalex.org/W2169589594","https://openalex.org/W2171733626","https://openalex.org/W2966207845","https://openalex.org/W4214630400","https://openalex.org/W4243644740"],"related_works":["https://openalex.org/W2794362562","https://openalex.org/W2787928226","https://openalex.org/W2156709612","https://openalex.org/W2088484122","https://openalex.org/W2087544024","https://openalex.org/W2044306001","https://openalex.org/W1971788493","https://openalex.org/W183731308","https://openalex.org/W1526852205","https://openalex.org/W1504255744"],"abstract_inverted_index":{"Runtime":[0],"monitoring":[1,36,94],"allows":[2],"programmers":[3],"to":[4,25,52,84,139,166,179],"validate,":[5],"for":[6,96,110],"instance,":[7],"the":[8,67,151,180,199,214],"proper":[9],"use":[10],"of":[11,69,100,122,153,176,194,198,203,218,224],"application":[12],"interfaces.":[13],"Given":[14],"a":[15,18,43,105,127,142,162,174],"property":[16,70],"specification,":[17],"runtime":[19,23,35,93],"monitor":[20,112,129],"tracks":[21],"appropriate":[22],"events":[24],"detect":[26],"violations":[27,71,81],"and":[28,45,131,156,184,201,231],"possibly":[29],"execute":[30],"recovery":[31],"code.":[32],"Although":[33],"powerful,":[34],"inspects":[37],"only":[38],"one":[39],"program":[40,50,74],"run":[41],"at":[42],"time":[44],"so":[46],"may":[47],"require":[48],"many":[49],"runs":[51],"find":[53],"errors.":[54],"Therefore,":[55],"in":[56,126,141,196,220,234],"this":[57],"paper,":[58],"we":[59],"present":[60],"ahead-of-time":[61],"techniques":[62],"that":[63],"can":[64],"(1)":[65],"prove":[66],"absence":[68],"on":[72,89,206],"all":[73,191,221],"runs,":[75],"or":[76],"(2)":[77],"flag":[78],"locations":[79],"where":[80],"are":[82],"likely":[83,169],"occur.":[85],"Our":[86,114,186,208],"work":[87],"focuses":[88],"tracematches,":[90],"an":[91],"expressive":[92],"notation":[95],"reasoning":[97],"about":[98],"groups":[99],"correlated":[101],"objects.":[102],"We":[103,159,172],"describe":[104],"novel":[106],"flow-sensitive":[107],"static":[108,187],"analysis":[109,145,188],"analyzing":[111],"states.":[113],"abstraction":[115],"captures":[116],"both":[117],"positive":[118],"information":[119,133],"(a":[120],"set":[121,135,175],"objects":[123],"could":[124],"be":[125,140],"particular":[128],"state)":[130],"negative":[132],"(the":[134],"is":[136],"known":[137],"not":[138],"state).":[143],"The":[144,227],"resolves":[146],"heap":[147],"references":[148],"by":[149],"combining":[150],"results":[152],"three":[154,223,235],"points-to":[155],"alias":[157],"analyses.":[158],"also":[160],"propose":[161],"machine":[163,209],"learning":[164,210],"phase":[165],"filter":[167],"out":[168,190],"false":[170,204],"positives.":[171],"applied":[173],"13":[177],"tracematches":[178],"DaCapo":[181],"benchmark":[182,236],"suite":[183],"SciMark2.":[185],"rules":[189],"potential":[192,216],"points":[193,217],"failure":[195,219],"50%":[197],"cases,":[200],"75%":[202],"positives":[205],"average.":[207],"algorithm":[211],"correctly":[212],"classifies":[213],"remaining":[215],"but":[222],"461":[225],"cases.":[226],"approach":[228],"revealed":[229],"defects":[230],"suspicious":[232],"code":[233],"programs.":[237]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2150308295","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":5}],"updated_date":"2024-12-14T04:48:33.437743","created_date":"2016-06-24"}