{"id":"https://openalex.org/W3138837712","doi":"https://doi.org/10.1109/pact.2013.6618822","title":"Concurrent predicates: a debugging technique for every parallel programmer","display_name":"Concurrent predicates: a debugging technique for every parallel programmer","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W3138837712","doi":"https://doi.org/10.1109/pact.2013.6618822","mag":"3138837712"},"language":"en","primary_location":{"id":"doi:10.1109/pact.2013.6618822","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2013.6618822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques","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/A5068789333","display_name":"Wenhao Jia","orcid":"https://orcid.org/0000-0002-9699-0744"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Wenhao Jia","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103504814","display_name":"Kelly A. Shaw","orcid":null},"institutions":[{"id":"https://openalex.org/I158012942","display_name":"University of Richmond","ror":"https://ror.org/03y71xh61","country_code":"US","type":"education","lineage":["https://openalex.org/I158012942"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kelly A. Shaw","raw_affiliation_strings":["University of Richmond, USA"],"affiliations":[{"raw_affiliation_string":"University of Richmond, USA","institution_ids":["https://openalex.org/I158012942"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002015508","display_name":"Margaret Martonosi","orcid":"https://orcid.org/0000-0001-9683-8032"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Margaret Martonosi","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068789333"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.33836265,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"331","last_page":"340"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9987999796867371,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8563107848167419},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7887281179428101},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7212355732917786},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.557266116142273},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.5506222248077393},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.50458824634552},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48243841528892517},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4696708619594574},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.45317158102989197},{"id":"https://openalex.org/keywords/graphics-processing-unit","display_name":"Graphics processing unit","score":0.43706148862838745},{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.4230383038520813},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.39719492197036743},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2848498821258545},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.25444748997688293},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15490099787712097}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8563107848167419},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7887281179428101},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7212355732917786},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.557266116142273},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.5506222248077393},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.50458824634552},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48243841528892517},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4696708619594574},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.45317158102989197},{"id":"https://openalex.org/C2779851693","wikidata":"https://www.wikidata.org/wiki/Q183484","display_name":"Graphics processing unit","level":2,"score":0.43706148862838745},{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.4230383038520813},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.39719492197036743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2848498821258545},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25444748997688293},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15490099787712097},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/pact.2013.6618822","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2013.6618822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309480","display_name":"Nvidia","ror":"https://ror.org/03jdj4y14"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W350392096","https://openalex.org/W1543945366","https://openalex.org/W1863336885","https://openalex.org/W1978969737","https://openalex.org/W2033088400","https://openalex.org/W2033597569","https://openalex.org/W2078237010","https://openalex.org/W2080592089","https://openalex.org/W2096858484","https://openalex.org/W2132219981","https://openalex.org/W2142769604","https://openalex.org/W2152513418","https://openalex.org/W2153492376","https://openalex.org/W2158261096","https://openalex.org/W2167334577","https://openalex.org/W2170216784","https://openalex.org/W2461867464","https://openalex.org/W3015302834","https://openalex.org/W3152199537","https://openalex.org/W4243261006","https://openalex.org/W6611808222","https://openalex.org/W6639351857","https://openalex.org/W6718912861"],"related_works":["https://openalex.org/W4244235824","https://openalex.org/W2168928134","https://openalex.org/W2112040168","https://openalex.org/W4241972157","https://openalex.org/W4242556954","https://openalex.org/W2119534391","https://openalex.org/W2023770367","https://openalex.org/W2503137108","https://openalex.org/W1966576946","https://openalex.org/W2020279179"],"abstract_inverted_index":{"Graphics":[0],"processing":[1],"units":[2],"(GPUs)":[3],"are":[4,149],"in":[5,13,55,59,84],"increasingly":[6],"wide":[7],"use,":[8],"but":[9],"significant":[10],"hurdles":[11],"lie":[12],"selecting":[14],"the":[15,73,94,102,114],"appropriate":[16],"algorithms,":[17],"runtime":[18],"parameter":[19,86,96,146,169],"settings,":[20],"and":[21,27,34,57,64,117,122,154,198],"hardware":[22,33],"configurations":[23],"to":[24,126,142,214],"achieve":[25],"power":[26],"performance":[28,181],"goals":[29],"with":[30,179],"them.":[31],"Exploring":[32],"software":[35],"choices":[36,97],"requires":[37],"time-consuming":[38],"simulations":[39],"or":[40],"extensive":[41],"real-system":[42,130],"measurements.":[43],"While":[44],"some":[45],"auto-tuning":[46],"support":[47],"has":[48],"been":[49],"proposed,":[50],"it":[51,141,213],"is":[52,106,123],"often":[53,118],"narrow":[54],"scope":[56],"heuristic":[58],"operation.":[60],"This":[61],"paper":[62],"proposes":[63],"evaluates":[65],"a":[66,160,188,191],"statistical":[67],"analysis":[68],"technique,":[69],"Starchart,":[70],"that":[71,148],"partitions":[72],"GPU":[74,177,194,209],"hardware/software":[75],"tuning":[76,115],"space":[77],"by":[78],"automatically":[79,143],"discerning":[80],"important":[81],"inflection":[82],"points":[83],"design":[85],"values.":[87],"Unlike":[88],"prior":[89],"methods,":[90],"Starchart":[91,184,203],"can":[92,171,185],"identify":[93],"best":[95],"within":[98],"different":[99],"regions":[100],"of":[101,113,175,193],"space.":[103],"Our":[104],"tool":[105],"efficient":[107],"-":[108,121],"evaluating":[109],"at":[110],"most":[111],"0.3%":[112],"space,":[116],"much":[119],"less":[120],"robust":[124],"enough":[125],"analyze":[127],"highly":[128],"variable":[129],"measurements,":[131],"not":[132,205],"just":[133],"simulation.":[134],"In":[135],"one":[136],"case":[137],"study,":[138],"we":[139,211],"use":[140],"find":[144],"platform-specific":[145],"settings":[147,170],"6.3\u00d7":[150],"faster":[151,156],"(for":[152,157],"AMD)":[153],"1.3\u00d7":[155],"NVIDIA)":[158],"than":[159],"single":[161],"general":[162],"setting.":[163],"We":[164],"also":[165],"show":[166],"how":[167],"power-optimized":[168],"save":[172],"47W":[173],"(26%":[174],"total":[176],"power)":[178],"little":[180],"loss.":[182],"Overall,":[183],"serve":[186],"as":[187,221],"foundation":[189],"for":[190,217],"range":[192],"compiler":[195],"optimizations,":[196],"auto-tuners,":[197],"programmer":[199],"tools.":[200],"Furthermore,":[201],"because":[202],"does":[204],"rely":[206],"on":[207],"specific":[208],"features,":[210],"expect":[212],"be":[215],"useful":[216],"broader":[218],"CPU/GPU":[219],"studies":[220],"well.":[222]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}