{"id":"https://openalex.org/W4395113499","doi":"https://doi.org/10.1145/3620666.3651358","title":"CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis","display_name":"CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis","publication_year":2024,"publication_date":"2024-04-24","ids":{"openalex":"https://openalex.org/W4395113499","doi":"https://doi.org/10.1145/3620666.3651358"},"language":"en","primary_location":{"id":"doi:10.1145/3620666.3651358","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3620666.3651358","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3620666.3651358","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083707003","display_name":"H\u00fcnkar Can Tun\u00e7","orcid":"https://orcid.org/0000-0001-9125-8506"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"H\u00fcnkar Can Tun\u00e7","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0001-9125-8506","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5094264817","display_name":"Ameya Prashant Deshmukh","orcid":"https://orcid.org/0009-0007-6393-9188"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ameya Prashant Deshmukh","raw_affiliation_strings":["Indian Institute of Technology, Bombay, Mumbai, India"],"raw_orcid":"https://orcid.org/0009-0007-6393-9188","affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046993507","display_name":"Berk \u00c7iri\u015fci","orcid":"https://orcid.org/0000-0003-4261-090X"},"institutions":[{"id":"https://openalex.org/I4210089985","display_name":"Amazon (Germany)","ror":"https://ror.org/00b9ktm87","country_code":"DE","type":"company","lineage":["https://openalex.org/I1311688040","https://openalex.org/I4210089985"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Berk Cirisci","raw_affiliation_strings":["Amazon Web Services, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4261-090X","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Berlin, Germany","institution_ids":["https://openalex.org/I4210089985"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040528930","display_name":"Constantin Enea","orcid":"https://orcid.org/0000-0003-2727-8865"},"institutions":[{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Constantin Enea","raw_affiliation_strings":["Ecole Polytechnique, Paris, France"],"raw_orcid":"https://orcid.org/0000-0003-2727-8865","affiliations":[{"raw_affiliation_string":"Ecole Polytechnique, Paris, France","institution_ids":["https://openalex.org/I142476485"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022252401","display_name":"Andreas Pavlogiannis","orcid":"https://orcid.org/0000-0002-8943-0722"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andreas Pavlogiannis","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-8943-0722","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5083707003"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":1.4231,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79850653,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"223","last_page":"238"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"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.7633123397827148},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4014829397201538}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7633123397827148},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4014829397201538}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3620666.3651358","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3620666.3651358","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/31c9278d-1679-4b50-a3b1-99da23c97cf6","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/31c9278d-1679-4b50-a3b1-99da23c97cf6","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tun\u00e7, H C, Deshmukh, A P, \u00c7irisci, B, Enea, C & Pavlogiannis, A 2024, CSSTs : A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. in ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. vol. 3, Association for Computing Machinery, New York, pp. 223-238, 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2024, La Jolla, California, United States, 27/04/2024. https://doi.org/10.1145/3620666.3651358","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/31c9278d-1679-4b50-a3b1-99da23c97cf6","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85192201929&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400063","display_name":"Scopus (Elsevier)","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":"Tun\u00e7, H C, Deshmukh, A P, \u00c7irisci, B, Enea, C & Pavlogiannis, A 2024, CSSTs : A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. in ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. vol. 3, Association for Computing Machinery, New York, pp. 223-238, 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2024, La Jolla, California, United States, 27/04/2024. https://doi.org/10.1145/3620666.3651358","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3620666.3651358","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3620666.3651358","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1694765325","https://openalex.org/W1887412317","https://openalex.org/W1983206712","https://openalex.org/W1986463648","https://openalex.org/W2025871578","https://openalex.org/W2109033563","https://openalex.org/W2112250027","https://openalex.org/W2123932793","https://openalex.org/W2167744164","https://openalex.org/W2218000085","https://openalex.org/W2528919074","https://openalex.org/W2731956051","https://openalex.org/W2794682558","https://openalex.org/W2799137521","https://openalex.org/W2887512784","https://openalex.org/W2898242299","https://openalex.org/W2899645750","https://openalex.org/W2960913870","https://openalex.org/W2979880065","https://openalex.org/W2980176182","https://openalex.org/W2995880861","https://openalex.org/W3000335052","https://openalex.org/W3011029566","https://openalex.org/W3015867278","https://openalex.org/W3032865144","https://openalex.org/W3043007004","https://openalex.org/W3092100431","https://openalex.org/W3106314272","https://openalex.org/W3137220996","https://openalex.org/W3153626425","https://openalex.org/W3184331482","https://openalex.org/W3195446863","https://openalex.org/W3195605733","https://openalex.org/W3205847787","https://openalex.org/W4214567754","https://openalex.org/W4318541601","https://openalex.org/W4379512374","https://openalex.org/W4379536496","https://openalex.org/W4390605117","https://openalex.org/W4390833174","https://openalex.org/W6948946432"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Dynamic":[0],"analyses":[1,78],"are":[2,75],"a":[3,35,81],"standard":[4,61],"approach":[5],"to":[6,21],"analyzing":[7],"and":[8,18],"testing":[9],"concurrent":[10],"programs.":[11],"Such":[12],"techniques":[13],"observe":[14],"program":[15],"traces":[16],"\u03c3":[17],"analyze":[19],"them":[20],"infer":[22],"the":[23,44,49,52,99,107],"presence":[24],"or":[25],"absence":[26],"of":[27,46,51,101,109],"bugs.":[28],"At":[29],"its":[30],"core,":[31],"each":[32,91],"analysis":[33,53],"maintains":[34],"partial":[36],"order":[37,41],"P":[38,58],"that":[39,79],"represents":[40],"dependencies":[42],"between":[43],"events":[45],"\u03c3.":[47],"Naturally,":[48],"scalability":[50],"largely":[54],"depends":[55],"on":[56],"maintaining":[57],"efficiently.":[59],"The":[60],"data":[62],"structure":[63],"for":[64,77,87],"this":[65],"task":[66],"has":[67],"thus":[68],"far":[69],"been":[70],"Vector":[71],"Clocks.":[72],"These,":[73],"however,":[74],"slow":[76],"follow":[80],"non-streaming":[82],"style,":[83],"costing":[84],"O(n)":[85],"time":[86],"inserting":[88],"(and":[89],"propagating)":[90],"new":[92],"ordering":[93],"in":[94],"P,":[95],"where":[96],"n":[97],"is":[98],"size":[100],"\u03c3,":[102],"while":[103],"they":[104],"cannot":[105],"handle":[106],"deletion":[108],"existing":[110],"orderings.":[111]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}