{"id":"https://openalex.org/W2899492704","doi":"https://doi.org/10.1145/3236024.3236077","title":"Testing multithreaded programs via thread speed control","display_name":"Testing multithreaded programs via thread speed control","publication_year":2018,"publication_date":"2018-10-26","ids":{"openalex":"https://openalex.org/W2899492704","doi":"https://doi.org/10.1145/3236024.3236077","mag":"2899492704"},"language":"en","primary_location":{"id":"doi:10.1145/3236024.3236077","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236024.3236077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","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/A5100752827","display_name":"Dongjie Chen","orcid":"https://orcid.org/0000-0003-1336-7787"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Dongjie Chen","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102987690","display_name":"Yanyan Jiang","orcid":"https://orcid.org/0000-0001-7651-9560"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanyan Jiang","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052203980","display_name":"Chang Xu","orcid":"https://orcid.org/0000-0002-6299-4704"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Xu","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041674680","display_name":"Xiaoxing Ma","orcid":"https://orcid.org/0000-0001-7970-1384"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoxing Ma","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037645622","display_name":"Jian L\u00fc","orcid":"https://orcid.org/0000-0002-7025-7448"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Lu","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100752827"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":2.9473,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.92125984,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"25"},"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.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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/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/T11424","display_name":"Security and Verification in Computing","score":0.9975000023841858,"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.8498513698577881},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.8476952314376831},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8046175241470337},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.7285008430480957},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5802280306816101},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4901138246059418},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.46684393286705017},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.41713258624076843},{"id":"https://openalex.org/keywords/non-lock-concurrency-control","display_name":"Non-lock concurrency control","score":0.41589564085006714},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3831428289413452},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36881276965141296},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.324773907661438},{"id":"https://openalex.org/keywords/distributed-concurrency-control","display_name":"Distributed concurrency control","score":0.17037636041641235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8498513698577881},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8476952314376831},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8046175241470337},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.7285008430480957},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5802280306816101},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4901138246059418},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.46684393286705017},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.41713258624076843},{"id":"https://openalex.org/C61912525","wikidata":"https://www.wikidata.org/wiki/Q7048952","display_name":"Non-lock concurrency control","level":5,"score":0.41589564085006714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3831428289413452},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36881276965141296},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.324773907661438},{"id":"https://openalex.org/C208087996","wikidata":"https://www.wikidata.org/wiki/Q5283142","display_name":"Distributed concurrency control","level":4,"score":0.17037636041641235},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3236024.3236077","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236024.3236077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W180700076","https://openalex.org/W1971500760","https://openalex.org/W1979823412","https://openalex.org/W2024875714","https://openalex.org/W2041235686","https://openalex.org/W2046368282","https://openalex.org/W2051016152","https://openalex.org/W2065675749","https://openalex.org/W2078197548","https://openalex.org/W2084719450","https://openalex.org/W2091085450","https://openalex.org/W2101161997","https://openalex.org/W2109819183","https://openalex.org/W2110852599","https://openalex.org/W2120476011","https://openalex.org/W2122532513","https://openalex.org/W2133697637","https://openalex.org/W2134440791","https://openalex.org/W2135395375","https://openalex.org/W2135948849","https://openalex.org/W2150602145","https://openalex.org/W2153229512","https://openalex.org/W2153723363","https://openalex.org/W2158124716","https://openalex.org/W2159856414","https://openalex.org/W2166841005","https://openalex.org/W2167744164","https://openalex.org/W2296019735","https://openalex.org/W2499905456","https://openalex.org/W2528919074","https://openalex.org/W2606910946","https://openalex.org/W2619153025","https://openalex.org/W2761662547","https://openalex.org/W3137220996","https://openalex.org/W4230480080","https://openalex.org/W4236306709","https://openalex.org/W4254906220"],"related_works":["https://openalex.org/W2133697637","https://openalex.org/W4253571630","https://openalex.org/W2837991191","https://openalex.org/W1873898332","https://openalex.org/W2741423451","https://openalex.org/W2907808821","https://openalex.org/W2083731697","https://openalex.org/W3005875561","https://openalex.org/W2400476902","https://openalex.org/W2088566435"],"abstract_inverted_index":{"A":[0,53],"multithreaded":[1,54,107],"program's":[2,55],"interleaving":[3],"space":[4,42,57],"is":[5,58,91],"discrete":[6],"and":[7,62,74],"astronomically":[8],"large,":[9],"making":[10],"effectively":[11],"sampling":[12,94],"thread":[13,31,51],"schedules":[14],"for":[15,80],"manifesting":[16],"concurrency":[17,24,67,103],"bugs":[18,25,104],"a":[19,48],"challenging":[20],"task.":[21],"Observing":[22],"that":[23,88],"can":[26],"be":[27],"manifested":[28],"by":[29],"adjusting":[30],"relative":[32],"speeds,":[33],"this":[34],"paper":[35],"presents":[36],"the":[37,71],"new":[38],"concept":[39],"of":[40,50,66,76],"speed":[41,56],"in":[43,93,105],"which":[44],"each":[45],"vector":[46],"denotes":[47],"family":[49],"schedules.":[52,83,96],"approximately":[59],"continuous,":[60],"easy-to-sample,":[61],"preserves":[63],"certain":[64],"categories":[65],"bugs.":[68],"We":[69],"discuss":[70],"design,":[72],"implementation,":[73],"evaluation":[75],"our":[77,89],"speed-controlled":[78],"scheduler":[79],"exploring":[81],"adversarial/abnormal":[82],"The":[84],"experimental":[85],"results":[86],"confirm":[87],"technique":[90],"effective":[92],"diverse":[95],"Our":[97],"implementation":[98],"also":[99],"found":[100],"previously":[101],"unknown":[102],"real-world":[106],"programs.":[108]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}