{"id":"https://openalex.org/W2317931072","doi":"https://doi.org/10.1145/2885495","title":"Concurrency Debugging with Differential Schedule Projections","display_name":"Concurrency Debugging with Differential Schedule Projections","publication_year":2016,"publication_date":"2016-04-06","ids":{"openalex":"https://openalex.org/W2317931072","doi":"https://doi.org/10.1145/2885495","mag":"2317931072"},"language":"en","primary_location":{"id":"doi:10.1145/2885495","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2885495","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://repositorio.inesctec.pt/bitstreams/40cb9821-1313-450c-87b8-34ca1d34c15f/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072778674","display_name":"Nuno Machado","orcid":"https://orcid.org/0000-0003-1531-1875"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Nuno Machado","raw_affiliation_strings":["INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078673473","display_name":"Daniel Quinta","orcid":null},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Daniel Quinta","raw_affiliation_strings":["INESC-ID, Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076249757","display_name":"Brandon Lucia","orcid":"https://orcid.org/0000-0003-4130-1099"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brandon Lucia","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030019746","display_name":"Lu\u0131\u0301s Rodrigues","orcid":"https://orcid.org/0000-0002-0313-6590"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Lu\u00eds Rodrigues","raw_affiliation_strings":["INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4104,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65841496,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"25","issue":"2","first_page":"1","last_page":"37"},"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.9995999932289124,"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.9995999932289124,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8478424549102783},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8399889469146729},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7149906158447266},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6956002116203308},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.6703168153762817},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.5604784488677979},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5052908062934875},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4983513355255127},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.47441455721855164},{"id":"https://openalex.org/keywords/digital-signal-processing","display_name":"Digital signal processing","score":0.42192813754081726},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37612754106521606},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36625543236732483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30131062865257263},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.29456284642219543},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.17976221442222595},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.12692946195602417}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8478424549102783},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8399889469146729},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7149906158447266},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6956002116203308},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.6703168153762817},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.5604784488677979},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5052908062934875},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4983513355255127},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.47441455721855164},{"id":"https://openalex.org/C84462506","wikidata":"https://www.wikidata.org/wiki/Q173142","display_name":"Digital signal processing","level":2,"score":0.42192813754081726},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37612754106521606},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36625543236732483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30131062865257263},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29456284642219543},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.17976221442222595},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.12692946195602417},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2885495","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2885495","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:repositorio.inesctec.pt:123456789/4379","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4379","pdf_url":"http://repositorio.inesctec.pt/bitstreams/40cb9821-1313-450c-87b8-34ca1d34c15f/download","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":{"id":"pmh:oai:repositorio.inesctec.pt:123456789/4379","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4379","pdf_url":"http://repositorio.inesctec.pt/bitstreams/40cb9821-1313-450c-87b8-34ca1d34c15f/download","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G309696157","display_name":null,"funder_award_id":"UID/CEC/50021/2013","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2317931072.pdf","grobid_xml":"https://content.openalex.org/works/W2317931072.grobid-xml"},"referenced_works_count":81,"referenced_works":["https://openalex.org/W119716405","https://openalex.org/W1562912238","https://openalex.org/W1710734607","https://openalex.org/W1887412317","https://openalex.org/W1972544179","https://openalex.org/W1973398592","https://openalex.org/W1979619055","https://openalex.org/W1992474998","https://openalex.org/W2006183508","https://openalex.org/W2009489720","https://openalex.org/W2013560272","https://openalex.org/W2016323637","https://openalex.org/W2023490832","https://openalex.org/W2030183445","https://openalex.org/W2031487553","https://openalex.org/W2040900440","https://openalex.org/W2046368282","https://openalex.org/W2047068447","https://openalex.org/W2049381173","https://openalex.org/W2054739713","https://openalex.org/W2057979783","https://openalex.org/W2080869721","https://openalex.org/W2096155624","https://openalex.org/W2096449544","https://openalex.org/W2096584575","https://openalex.org/W2097576663","https://openalex.org/W2101161997","https://openalex.org/W2101512909","https://openalex.org/W2101785823","https://openalex.org/W2101939036","https://openalex.org/W2102640269","https://openalex.org/W2102967730","https://openalex.org/W2106858176","https://openalex.org/W2108934957","https://openalex.org/W2109033563","https://openalex.org/W2110852599","https://openalex.org/W2115015193","https://openalex.org/W2115732097","https://openalex.org/W2117324184","https://openalex.org/W2118315969","https://openalex.org/W2119826996","https://openalex.org/W2122532513","https://openalex.org/W2123184511","https://openalex.org/W2123511529","https://openalex.org/W2130473288","https://openalex.org/W2134440791","https://openalex.org/W2134540982","https://openalex.org/W2135023759","https://openalex.org/W2135395375","https://openalex.org/W2137270184","https://openalex.org/W2145087641","https://openalex.org/W2149984854","https://openalex.org/W2153229512","https://openalex.org/W2153723363","https://openalex.org/W2154557525","https://openalex.org/W2154698535","https://openalex.org/W2157924561","https://openalex.org/W2158794422","https://openalex.org/W2159765571","https://openalex.org/W2160329567","https://openalex.org/W2160983664","https://openalex.org/W2162630235","https://openalex.org/W2166841005","https://openalex.org/W2167744164","https://openalex.org/W2169958633","https://openalex.org/W2170485025","https://openalex.org/W2171008784","https://openalex.org/W2171683519","https://openalex.org/W2296019735","https://openalex.org/W2407831955","https://openalex.org/W3142284768","https://openalex.org/W4233347627","https://openalex.org/W4235116491","https://openalex.org/W4235385348","https://openalex.org/W4237492309","https://openalex.org/W4240558819","https://openalex.org/W4243683024","https://openalex.org/W4247966332","https://openalex.org/W4249224771","https://openalex.org/W4251803824","https://openalex.org/W4254906220"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W2171015181","https://openalex.org/W4239447582","https://openalex.org/W2761464920","https://openalex.org/W2111708921","https://openalex.org/W3206962829"],"abstract_inverted_index":{"We":[0,145],"present":[1],"Symbiosis:":[2],"a":[3,27,32,43,48,71,148,161,179],"concurrency":[4],"debugging":[5],"technique":[6],"based":[7],"on":[8,92,159],"novel":[9],"differential":[10],"schedule":[11,52,68,74],"projections":[12],"(DSPs).":[13],"A":[14,76],"DSP":[15,77],"shows":[16,98,152],"the":[17,39,66,79,85,109,119,141,166,173],"small":[18,110],"set":[19],"of":[20,34,112,168],"memory":[21],"operations":[22],"and":[23,57,81,87,96,115,121,136,177],"dataflows":[24,116,139],"responsible":[25,117],"for":[26,118],"failure,":[28],"as":[29,31],"well":[30],"reordering":[33],"those":[35],"elements":[36],"that":[37,106,151],"avoids":[38],"failure.":[40],"To":[41],"build":[42],"DSP,":[44],"Symbiosis":[45,61,103],"first":[46],"generates":[47,104],"full,":[49],"failing,":[50],"multithreaded":[51],"via":[53],"thread":[54],"path":[55],"profiling":[56],"symbolic":[58],"constraint":[59],"solving.":[60],"selectively":[62],"reorders":[63],"events":[64,135],"in":[65,100],"failing":[67,86],"to":[69,157,171],"produce":[70],"nonfailing,":[72],"alternate":[73],".":[75],"reports":[78],"ordering":[80],"dataflow":[82],"differences":[83],"between":[84],"nonfailing":[88],"schedules.":[89,144],"Our":[90],"evaluation":[91],"buggy":[93],"real-world":[94],"software":[95],"benchmarks":[97],"that,":[99,153],"practical":[101],"time,":[102],"DSPs":[105,131,164],"both":[107],"isolate":[108],"fraction":[111],"event":[113,124],"orders":[114],"failure":[120],"report":[122],"which":[123],"reorderings":[125],"prevent":[126],"failing.":[127],"In":[128],"our":[129],"experiments,":[130],"contain":[132],"90%":[133],"fewer":[134,138],"96%":[137],"than":[140],"full":[142],"failure-inducing":[143],"also":[146],"conducted":[147],"user":[149],"study":[150],"by":[154],"allowing":[155],"developers":[156],"focus":[158],"only":[160],"few":[162],"events,":[163],"reduce":[165],"amount":[167],"time":[169],"required":[170],"understand":[172],"bug\u2019s":[174],"root":[175],"cause":[176],"find":[178],"valid":[180],"fix.":[181]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}