{"id":"https://openalex.org/W2797559551","doi":"https://doi.org/10.1155/2018/8939027","title":"Debugging Nondeterministic Failures in Linux Programs through Replay Analysis","display_name":"Debugging Nondeterministic Failures in Linux Programs through Replay Analysis","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2797559551","doi":"https://doi.org/10.1155/2018/8939027","mag":"2797559551"},"language":"en","primary_location":{"id":"doi:10.1155/2018/8939027","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2018/8939027","pdf_url":"http://downloads.hindawi.com/journals/sp/2018/8939027.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"http://downloads.hindawi.com/journals/sp/2018/8939027.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000069786","display_name":"Shakaiba Majeed","orcid":"https://orcid.org/0000-0002-3119-1271"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Shakaiba Majeed","raw_affiliation_strings":["Department of Computer and Software, Hanyang University, Seoul 04763, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Software, Hanyang University, Seoul 04763, Republic of Korea","institution_ids":["https://openalex.org/I4575257"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085861879","display_name":"Minsoo Ryu","orcid":"https://orcid.org/0000-0002-4137-3052"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Minsoo Ryu","raw_affiliation_strings":["Department of Computer Science and Engineering, Hanyang University, Seoul 04763, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hanyang University, Seoul 04763, Republic of Korea","institution_ids":["https://openalex.org/I4575257"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085861879"],"corresponding_institution_ids":["https://openalex.org/I4575257"],"apc_list":{"value":1800,"currency":"USD","value_usd":1800},"apc_paid":{"value":1800,"currency":"USD","value_usd":1800},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04599489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2018","issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/debugging","display_name":"Debugging","score":0.8898398876190186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8726555705070496},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8613665699958801},{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.80116868019104},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7669183015823364},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5552188158035278},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4794382154941559},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.44071725010871887},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3927525281906128},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32290226221084595},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1214824914932251},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.0805661678314209}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8898398876190186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8726555705070496},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8613665699958801},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.80116868019104},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7669183015823364},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5552188158035278},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4794382154941559},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.44071725010871887},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3927525281906128},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32290226221084595},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1214824914932251},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.0805661678314209}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2018/8939027","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2018/8939027","pdf_url":"http://downloads.hindawi.com/journals/sp/2018/8939027.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:590a4a839c5649f48fc5a77ef916b748","is_oa":true,"landing_page_url":"https://doaj.org/article/590a4a839c5649f48fc5a77ef916b748","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scientific Programming, Vol 2018 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2018/8939027","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2018/8939027","pdf_url":"http://downloads.hindawi.com/journals/sp/2018/8939027.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1275082065","display_name":null,"funder_award_id":"R0114-16-0046","funder_id":"https://openalex.org/F4320322030","funder_display_name":"Ministry of Science, ICT and Future Planning"},{"id":"https://openalex.org/G1803535989","display_name":null,"funder_award_id":"2016-0-00023","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G3294748667","display_name":null,"funder_award_id":"2016-0-00023","funder_id":"https://openalex.org/F4320322030","funder_display_name":"Ministry of Science, ICT and Future Planning"}],"funders":[{"id":"https://openalex.org/F4320322030","display_name":"Ministry of Science, ICT and Future Planning","ror":"https://ror.org/032e49973"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320335489","display_name":"Institute for Information and Communications Technology Promotion","ror":"https://ror.org/01g0hqq23"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2797559551.pdf","grobid_xml":"https://content.openalex.org/works/W2797559551.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W140996504","https://openalex.org/W1487092338","https://openalex.org/W1514171102","https://openalex.org/W1568238731","https://openalex.org/W1957875051","https://openalex.org/W1972304371","https://openalex.org/W2123524055","https://openalex.org/W2134633067","https://openalex.org/W2137410883","https://openalex.org/W2997781304","https://openalex.org/W3014461055","https://openalex.org/W3023364199","https://openalex.org/W3085225935","https://openalex.org/W4205717066"],"related_works":["https://openalex.org/W138412134","https://openalex.org/W3147005146","https://openalex.org/W2108078705","https://openalex.org/W2062141481","https://openalex.org/W1836768014","https://openalex.org/W2361961910","https://openalex.org/W2152379264","https://openalex.org/W2761464920","https://openalex.org/W2115213360","https://openalex.org/W1840948097"],"abstract_inverted_index":{"Reproducing":[0],"a":[1,56,69,106],"failure":[2,19,70],"is":[3],"the":[4,18,46,88,134,170,173],"first":[5,44],"and":[6,20,62,74,91,115,137,143],"most":[7],"important":[8],"step":[9],"in":[10,71,98,149],"debugging":[11,40,117],"because":[12],"it":[13],"enables":[14],"us":[15],"to":[16,30,36,67,94,118,126,152,168],"understand":[17],"track":[21],"down":[22],"its":[23],"source.":[24],"However,":[25],"many":[26],"programs":[27],"are":[28,34],"susceptible":[29],"nondeterministic":[31,64],"failures":[32],"that":[33,59,124,133],"hard":[35],"reproduce,":[37],"which":[38],"makes":[39],"extremely":[41],"difficult.":[42],"We":[43,77,157],"address":[45],"reproducibility":[47],"problem":[48],"by":[49],"proposing":[50],"an":[51,80],"OS-level":[52],"replay":[53,63,84,92,102,138],"system":[54,93,139],"for":[55],"uniprocessor":[57],"environment":[58],"can":[60,145],"capture":[61],"events":[65],"needed":[66],"reproduce":[68],"Linux":[72],"interactive":[73],"event-based":[75],"programs.":[76,100],"then":[78],"present":[79,159],"analysis":[81,103],"method,":[82],"called":[83],"analysis,":[85,110],"based":[86],"on":[87],"proposed":[89,174],"record":[90,136],"diagnose":[95],"concurrency":[96,127,161],"bugs":[97],"such":[99],"The":[101,129],"method":[104],"uses":[105],"combination":[107],"of":[108,172],"static":[109],"dynamic":[111],"tracing":[112],"during":[113],"replay,":[114],"delta":[116],"identify":[119],"failure-inducing":[120],"memory":[121],"access":[122],"patterns":[123],"lead":[125],"failure.":[128],"experimental":[130],"results":[131],"show":[132],"presented":[135],"has":[140],"low-recording":[141],"overhead":[142],"hence":[144],"be":[146],"safely":[147],"used":[148],"production":[150],"systems":[151],"catch":[153],"rarely":[154],"occurring":[155],"bugs.":[156],"also":[158],"few":[160],"bug":[162,175],"case":[163],"studies":[164],"from":[165],"real-world":[166],"applications":[167],"prove":[169],"effectiveness":[171],"diagnosis":[176],"framework.":[177]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}