{"id":"https://openalex.org/W1979201594","doi":"https://doi.org/10.1145/2145816.2145840","title":"Internally deterministic parallel algorithms can be fast","display_name":"Internally deterministic parallel algorithms can be fast","publication_year":2012,"publication_date":"2012-02-25","ids":{"openalex":"https://openalex.org/W1979201594","doi":"https://doi.org/10.1145/2145816.2145840","mag":"1979201594"},"language":"en","primary_location":{"id":"doi:10.1145/2145816.2145840","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2145816.2145840","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 ACM SIGPLAN symposium on Principles and Practice of Parallel Programming","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/A5033930662","display_name":"Guy E. Blelloch","orcid":"https://orcid.org/0000-0003-0224-9187"},"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":true,"raw_author_name":"Guy E. Blelloch","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011772692","display_name":"Jeremy T. Fineman","orcid":"https://orcid.org/0009-0000-7483-4532"},"institutions":[{"id":"https://openalex.org/I184565670","display_name":"Georgetown University","ror":"https://ror.org/05vzafd60","country_code":"US","type":"education","lineage":["https://openalex.org/I184565670"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeremy T. Fineman","raw_affiliation_strings":["Georgetown University, Washington, D.C., USA","Georgetown University, Washington, D.C. USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgetown University, Washington, D.C., USA","institution_ids":["https://openalex.org/I184565670"]},{"raw_affiliation_string":"Georgetown University, Washington, D.C. USA","institution_ids":["https://openalex.org/I184565670"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014824446","display_name":"Phillip B. Gibbons","orcid":"https://orcid.org/0000-0001-6967-2735"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phillip B. Gibbons","raw_affiliation_strings":["Intel Labs, Pittsburgh, Pittsburgh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Labs, Pittsburgh, Pittsburgh, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051583907","display_name":"Julian Shun","orcid":"https://orcid.org/0000-0001-6163-6625"},"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":"Julian Shun","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033930662"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":14.058,"has_fulltext":false,"cited_by_count":136,"citation_normalized_percentile":{"value":0.99267631,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"192"},"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.9998999834060669,"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.9998999834060669,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9991999864578247,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9991000294685364,"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/correctness","display_name":"Correctness","score":0.8740466237068176},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8233213424682617},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.60718834400177},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5874987244606018},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5692340135574341},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5566521286964417},{"id":"https://openalex.org/keywords/determinism","display_name":"Determinism","score":0.5465949177742004},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5025959014892578},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47328823804855347},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47230055928230286},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.45623302459716797},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4492458701133728},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4316452741622925},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.4215911328792572},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.31132790446281433}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8740466237068176},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8233213424682617},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.60718834400177},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5874987244606018},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5692340135574341},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5566521286964417},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.5465949177742004},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5025959014892578},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47328823804855347},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47230055928230286},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.45623302459716797},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4492458701133728},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4316452741622925},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4215911328792572},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.31132790446281433},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2145816.2145840","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2145816.2145840","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 ACM SIGPLAN symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.220.307","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/%7Ejshun/determ.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.307.7529","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.7529","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~guyb/papers/BFGS12.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W151922429","https://openalex.org/W1482680420","https://openalex.org/W1530116354","https://openalex.org/W1789713128","https://openalex.org/W1931688030","https://openalex.org/W1963506672","https://openalex.org/W1964273033","https://openalex.org/W1983587324","https://openalex.org/W1986009031","https://openalex.org/W1995873479","https://openalex.org/W2000697206","https://openalex.org/W2032401773","https://openalex.org/W2034256728","https://openalex.org/W2041645051","https://openalex.org/W2054011861","https://openalex.org/W2056714230","https://openalex.org/W2066952803","https://openalex.org/W2078238087","https://openalex.org/W2084719450","https://openalex.org/W2089064856","https://openalex.org/W2098903349","https://openalex.org/W2101939036","https://openalex.org/W2104251622","https://openalex.org/W2106018697","https://openalex.org/W2113658736","https://openalex.org/W2116603646","https://openalex.org/W2121433887","https://openalex.org/W2122532513","https://openalex.org/W2126085027","https://openalex.org/W2129458440","https://openalex.org/W2130564474","https://openalex.org/W2133197415","https://openalex.org/W2134440791","https://openalex.org/W2135063076","https://openalex.org/W2145087641","https://openalex.org/W2149906774","https://openalex.org/W2152390090","https://openalex.org/W2152907584","https://openalex.org/W2157092502","https://openalex.org/W2157179926","https://openalex.org/W2158794422","https://openalex.org/W2163163794","https://openalex.org/W2176864362","https://openalex.org/W2281433966","https://openalex.org/W2436525433","https://openalex.org/W2752885492","https://openalex.org/W3004540582","https://openalex.org/W3145128584","https://openalex.org/W4206635466","https://openalex.org/W4230333905","https://openalex.org/W4232836277","https://openalex.org/W4235385348","https://openalex.org/W4240363966","https://openalex.org/W4243750660","https://openalex.org/W4249224771","https://openalex.org/W4251656607","https://openalex.org/W4285719527","https://openalex.org/W6600127457","https://openalex.org/W6642016538","https://openalex.org/W6669992803","https://openalex.org/W6695414191"],"related_works":["https://openalex.org/W2136735429","https://openalex.org/W170547082","https://openalex.org/W2587876411","https://openalex.org/W2358332176","https://openalex.org/W3008339103","https://openalex.org/W4229950834","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W2123190976","https://openalex.org/W1973005242"],"abstract_inverted_index":{"The":[0],"virtues":[1],"of":[2,13,27,45,71,81,97,103,107,110,114,122,141],"deterministic":[3,14,88],"parallelism":[4,15],"have":[5,16],"been":[6,17,56],"argued":[7],"for":[8,33,77,118],"decades":[9],"and":[10,19,52,62,120,125],"many":[11,93],"forms":[12],"described":[18],"analyzed.":[20],"Here":[21],"we":[22],"are":[23],"concerned":[24],"with":[25,49],"one":[26,134],"the":[28,46,72,79,82,100,131,138],"strongest":[29],"forms,":[30],"requiring":[31],"that":[32],"any":[34,68],"input":[35],"there":[36],"is":[37,75],"a":[38,43,64],"unique":[39],"dependence":[40,73],"graph":[41,74],"representing":[42],"trace":[44],"computation":[47],"annotated":[48],"every":[50],"operation":[51],"value.":[53],"This":[54],"has":[55,92],"referred":[57],"to":[58,86,136],"as":[59],"internal":[60,90],"determinism,":[61,142],"implies":[63],"sequential":[65,69],"semantics---i.e.,":[66],"considering":[67],"traversal":[70],"sufficient":[76],"analyzing":[78],"correctness":[80],"code.":[83],"In":[84],"addition":[85],"returning":[87],"results,":[89],"determinism":[91],"advantages":[94],"including":[95],"ease":[96,102,106,109,113,121],"reasoning":[98,127],"about":[99,128],"code,":[101],"verifying":[104],"correctness,":[105],"debugging,":[108],"defining":[111,115],"invariants,":[112],"good":[116],"coverage":[117],"testing,":[119],"formally,":[123],"informally":[124],"experimentally":[126],"performance.":[129],"On":[130],"other":[132],"hand":[133],"needs":[135],"consider":[137],"possible":[139],"downsides":[140],"which":[143],"might":[144],"include":[145],"making":[146],"algorithms":[147],"(i)":[148],"more":[149],"complicated,":[150],"unnatural":[151],"or":[152,158],"special":[153],"purpose":[154],"and/or":[155],"(ii)":[156],"slower":[157],"less":[159],"scalable.":[160]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":14},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":15},{"year":2014,"cited_by_count":15},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":7}],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}