{"id":"https://openalex.org/W7167671976","doi":"https://doi.org/10.1145/3811257.3811263","title":"ProtoSYCL: A Sample Implementation of a SYCL Compiler for Conformance Test Suite Development","display_name":"ProtoSYCL: A Sample Implementation of a SYCL Compiler for Conformance Test Suite Development","publication_year":2026,"publication_date":"2026-05-06","ids":{"openalex":"https://openalex.org/W7167671976","doi":"https://doi.org/10.1145/3811257.3811263"},"language":null,"primary_location":{"id":"doi:10.1145/3811257.3811263","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3811257.3811263","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 International Workshop on OpenCL and SYCL","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3811257.3811263","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140242393","display_name":"Michael Aziz","orcid":"https://orcid.org/0009-0002-0467-6801"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Michael Aziz","raw_affiliation_strings":["Intel Corporation, Toronto, Canada and Carleton University, Ottawa, Canada"],"raw_orcid":"https://orcid.org/0009-0002-0467-6801","affiliations":[{"raw_affiliation_string":"Intel Corporation, Toronto, Canada and Carleton University, Ottawa, Canada","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007057846","display_name":"Yvan Labiche","orcid":"https://orcid.org/0000-0001-8880-4836"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yvan Labiche","raw_affiliation_strings":["Carleton University, Ottawa, Canada"],"raw_orcid":"https://orcid.org/0000-0001-8880-4836","affiliations":[{"raw_affiliation_string":"Carleton University, Ottawa, Canada","institution_ids":["https://openalex.org/I67031392"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I67031392"],"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":"11"},"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.9042999744415283,"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.9042999744415283,"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/T10142","display_name":"Formal Methods in Verification","score":0.019300000742077827,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.014100000262260437,"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/test-suite","display_name":"Test suite","score":0.7911999821662903},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7077999711036682},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5831000208854675},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5148000121116638},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.49630001187324524},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.45750001072883606}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7911999821662903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7883999943733215},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7077999711036682},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5831000208854675},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5188000202178955},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5148000121116638},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.49630001187324524},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.45750001072883606},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.367000013589859},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.3407999873161316},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3294999897480011},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.26899999380111694},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2632000148296356},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C4478048","wikidata":"https://www.wikidata.org/wiki/Q950250","display_name":"Test-driven development","level":4,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3811257.3811263","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3811257.3811263","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 International Workshop on OpenCL and SYCL","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3811257.3811263","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3811257.3811263","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 International Workshop on OpenCL and SYCL","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.42036116123199463,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2013711971","https://openalex.org/W2104219811","https://openalex.org/W2106072155","https://openalex.org/W3017954454","https://openalex.org/W3018125147","https://openalex.org/W3119522489","https://openalex.org/W3157947391","https://openalex.org/W3158490494","https://openalex.org/W4225291673","https://openalex.org/W4362675223","https://openalex.org/W4362675404","https://openalex.org/W4378676759","https://openalex.org/W4384026621","https://openalex.org/W4393970692","https://openalex.org/W4393970816","https://openalex.org/W4416842094"],"related_works":[],"abstract_inverted_index":{"The":[0],"SYCL":[1,31,81,100,153],"Conformance":[2],"Test":[3],"Suite":[4],"(CTS)":[5],"is":[6,22,59,63,90],"critical":[7],"for":[8,29,85,166],"ensuring":[9],"an":[10,45,163],"implementation":[11,46,78,97],"conforms":[12],"to":[13,33,68,122],"the":[14,25,48,99,113,123,133,139,174],"specification.":[15],"However,":[16],"verifying":[17],"its":[18],"correctness":[19],"and":[20,38,55,118,169],"completeness":[21],"limited":[23],"by":[24,136,147],"time":[26],"it":[27],"takes":[28],"production-grade":[30,152],"implementations":[32],"implement":[34],"new":[35,49],"features:":[36],"defects":[37,57,127,168],"coverage":[39,134,171],"gaps":[40,172],"may":[41],"go":[42],"undetected":[43],"until":[44],"supporting":[47],"features":[50],"becomes":[51],"available.":[52],"Detecting":[53],"specification":[54,102],"testing":[56],"early":[58],"preferred,":[60],"as":[61,162],"that":[62,103,132,145,158],"when":[64],"they":[65],"are":[66],"easier":[67],"resolve.":[69],"To":[70],"address":[71],"this,":[72],"we":[73,130],"introduce":[74],"ProtoSYCL,":[75],"a":[76,80,91],"sample":[77],"of":[79,98,112,125,138],"compiler":[82,94],"designed":[83],"specifically":[84],"test":[86,116],"suite":[87],"development.":[88],"ProtoSYCL":[89,108,142,159],"single-source":[92],"single":[93],"pass":[95],"(SSCP)":[96],"2020":[101],"prioritizes":[104],"conformance":[105],"over":[106],"performance.":[107],"currently":[109],"passes":[110],"68":[111],"72":[114],"CTS":[115,140],"categories":[117],"has":[119],"already":[120],"led":[121],"discovery":[124],"several":[126],"therein.":[128],"Furthermore,":[129],"show":[131],"achieved":[135,146],"subsets":[137,149],"on":[141,150],"correlates":[143],"with":[144],"those":[148],"existing":[151],"implementations.":[154],"These":[155],"results":[156],"indicate":[157],"can":[160],"serve":[161],"effective":[164],"proxy":[165],"finding":[167],"identifying":[170],"in":[173],"CTS.":[175]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-09T00:00:00"}