{"id":"https://openalex.org/W4391951139","doi":"https://doi.org/10.1145/3641399.3644112","title":"Concurrency Testing: A Journey from Research to Practice","display_name":"Concurrency Testing: A Journey from Research to Practice","publication_year":2024,"publication_date":"2024-02-20","ids":{"openalex":"https://openalex.org/W4391951139","doi":"https://doi.org/10.1145/3641399.3644112"},"language":"en","primary_location":{"id":"doi:10.1145/3641399.3644112","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641399.3644112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","raw_type":"proceedings-article"},"type":"conference-abstract","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/A5029930688","display_name":"Akash Lal","orcid":"https://orcid.org/0009-0002-4359-9378"},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Akash Lal","raw_affiliation_strings":["Microsoft Research, India"],"raw_orcid":"https://orcid.org/0009-0002-4359-9378","affiliations":[{"raw_affiliation_string":"Microsoft Research, India","institution_ids":["https://openalex.org/I4210124949"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5029930688"],"corresponding_institution_ids":["https://openalex.org/I4210124949"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"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.9997000098228455,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973000288009644,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9947999715805054,"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/concurrency","display_name":"Concurrency","score":0.9248298406600952},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7801028490066528},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5935641527175903},{"id":"https://openalex.org/keywords/open-research","display_name":"Open research","score":0.47526711225509644},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47478315234184265},{"id":"https://openalex.org/keywords/non-lock-concurrency-control","display_name":"Non-lock concurrency control","score":0.47091981768608093},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4563404619693756},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.4458007216453552},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4455745220184326},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.4210333228111267},{"id":"https://openalex.org/keywords/concurrent-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.4162668287754059},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41278186440467834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37217313051223755},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.3709779381752014},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2220253348350525},{"id":"https://openalex.org/keywords/distributed-concurrency-control","display_name":"Distributed concurrency control","score":0.2149798572063446},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19071021676063538},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.08973461389541626}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.9248298406600952},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7801028490066528},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5935641527175903},{"id":"https://openalex.org/C2778464652","wikidata":"https://www.wikidata.org/wiki/Q309849","display_name":"Open research","level":2,"score":0.47526711225509644},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47478315234184265},{"id":"https://openalex.org/C61912525","wikidata":"https://www.wikidata.org/wiki/Q7048952","display_name":"Non-lock concurrency control","level":5,"score":0.47091981768608093},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4563404619693756},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.4458007216453552},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4455745220184326},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.4210333228111267},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.4162668287754059},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41278186440467834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37217313051223755},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.3709779381752014},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2220253348350525},{"id":"https://openalex.org/C208087996","wikidata":"https://www.wikidata.org/wiki/Q5283142","display_name":"Distributed concurrency control","level":4,"score":0.2149798572063446},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19071021676063538},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.08973461389541626},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.0},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3641399.3644112","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641399.3644112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","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":0,"referenced_works":[],"related_works":["https://openalex.org/W3005875561","https://openalex.org/W2133348162","https://openalex.org/W3009678450","https://openalex.org/W3023364199","https://openalex.org/W2138485531","https://openalex.org/W2508776720","https://openalex.org/W2144161217","https://openalex.org/W2114661031","https://openalex.org/W2529342191","https://openalex.org/W2127435133"],"abstract_inverted_index":{"Concurrency":[0,22],"is":[1,114,126],"fundamental":[2],"for":[3,20,32,77,129],"building":[4],"scalable":[5],"software":[6],"systems.":[7],"Despite":[8],"the":[9,58,67,85,91,106,110],"prevalence":[10],"of":[11,60,69,72,101,131],"such":[12],"systems,":[13],"testing":[14,63,130],"them":[15],"remains":[16],"an":[17,51],"uncomfortable":[18],"problem":[19],"developers.":[21],"bugs":[23],"are":[24],"hard":[25],"to":[26,65],"find,":[27],"reproduce":[28],"and":[29,31,49,90,103,125],"fix,":[30],"most":[33],"part,":[34],"they":[35],"get":[36],"ignored":[37],"in":[38,109],"standard":[39],"industry":[40],"practices.":[41],"To":[42],"address":[43],"this":[44,80],"need,":[45],"we":[46],"have":[47],"built":[48],"deployed":[50],"open-source":[52],"tool":[53,108],"called":[54],"Coyote":[55,107,117],"that":[56,94,112],"uses":[57],"concept":[59],"Controlled":[61],"concurrency":[62],"(CCT)":[64],"explore":[66],"space":[68],"possible":[70],"interleavings":[71],"a":[73,98,122],"concurrent":[74],"program":[75],"looking":[76],"bugs.":[78],"In":[79],"talk,":[81],"I":[82],"will":[83],"describe":[84],"(rather":[86],"long)":[87],"research":[88],"journey":[89],"several":[92],"turns":[93],"it":[95,113],"took":[96],"through":[97],"whole":[99],"community":[100],"researchers,":[102],"finally":[104],"inspired":[105],"way":[111],"designed":[115],"today.":[116],"has":[118],"been":[119],"downloaded":[120],"around":[121],"million":[123],"times":[124],"used":[127],"routinely":[128],"Azure":[132],"infrastructure":[133],"services.":[134]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}