{"id":"https://openalex.org/W2130374657","doi":"https://doi.org/10.1145/1693453.1693459","title":"Featherweight X10","display_name":"Featherweight X10","publication_year":2010,"publication_date":"2010-01-09","ids":{"openalex":"https://openalex.org/W2130374657","doi":"https://doi.org/10.1145/1693453.1693459","mag":"2130374657"},"language":"en","primary_location":{"id":"doi:10.1145/1693453.1693459","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1693453.1693459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"},"type":"conference-paper","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/A5016287978","display_name":"Jonathan Lee","orcid":"https://orcid.org/0000-0002-5955-5145"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan K. Lee","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011356414","display_name":"Jens Palsberg","orcid":"https://orcid.org/0000-0003-4747-365X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jens Palsberg","raw_affiliation_strings":["University of California, Los Angeles, Los Angeles, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":71,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"36"},"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.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"}},"topics":[{"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7896260023117065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7405112981796265},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5629737377166748},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.5476800203323364},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5346502661705017},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.5067334771156311},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47097277641296387},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.43290841579437256},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4298320412635803},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3801857531070709},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3136233985424042},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2661808431148529},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21613770723342896},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0905490517616272}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7896260023117065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7405112981796265},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5629737377166748},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.5476800203323364},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5346502661705017},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5067334771156311},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47097277641296387},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.43290841579437256},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4298320412635803},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3801857531070709},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3136233985424042},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2661808431148529},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21613770723342896},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0905490517616272},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1693453.1693459","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1693453.1693459","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1549623381","https://openalex.org/W1569223466","https://openalex.org/W1579794848","https://openalex.org/W1594982746","https://openalex.org/W1964177821","https://openalex.org/W1969454562","https://openalex.org/W1980939032","https://openalex.org/W1994878611","https://openalex.org/W1995065158","https://openalex.org/W1996607090","https://openalex.org/W2001744589","https://openalex.org/W2078853139","https://openalex.org/W2096475201","https://openalex.org/W2102731275","https://openalex.org/W2109065830","https://openalex.org/W2127959721","https://openalex.org/W2150473702","https://openalex.org/W2156883715","https://openalex.org/W2161600851","https://openalex.org/W2168986107","https://openalex.org/W4229635525","https://openalex.org/W4235389451","https://openalex.org/W4247660350","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2154390633","https://openalex.org/W1986487716","https://openalex.org/W4242791220","https://openalex.org/W4252419525","https://openalex.org/W1762668282","https://openalex.org/W2122592814","https://openalex.org/W1550049051","https://openalex.org/W1977621403","https://openalex.org/W2116536633","https://openalex.org/W1480879962"],"abstract_inverted_index":{"We":[0,76],"present":[1],"a":[2,20,44,59,106,116,128],"core":[3],"calculus":[4,18],"with":[5,31,73],"two":[6],"of":[7,38,47,51,67,80,89,96,108,119],"X10's":[8],"key":[9],"constructs":[10],"for":[11,23,29,35,71,131],"parallelism,":[12,33],"namely":[13],"async":[14],"and":[15,26,34,53,84,114],"finish.":[16],"Our":[17,55,99],"forms":[19],"convenient":[21],"basis":[22,130],"type":[24,60,82,91],"systems":[25],"static":[27],"analyses":[28,133],"languages":[30,72],"async-finish":[32,74],"tractable":[36],"proofs":[37],"correctness.":[39],"For":[40],"example,":[41],"we":[42,85],"give":[43],"short":[45],"proof":[46],"the":[48,64,78],"deadlock-freedom":[49],"theorem":[50],"Saraswat":[52],"Jagadeesan.":[54],"main":[56],"contribution":[57],"is":[58,127],"system":[61,83],"that":[62,124],"solves":[63],"open":[65],"problem":[66],"context-sensitive":[68],"may-happen-in-parallel":[69],"analysis":[70,100,126],"parallelism.":[75],"prove":[77],"correctness":[79],"our":[81,112,125],"report":[86],"experimental":[87],"results":[88],"performing":[90],"inference":[92],"on":[93,111],"13,000":[94],"lines":[95],"X10":[97],"code.":[98],"runs":[101],"in":[102],"polynomial":[103],"time,":[104],"takes":[105],"total":[107],"28":[109],"seconds":[110],"benchmarks,":[113],"produces":[115],"low":[117],"number":[118],"false":[120],"positives,":[121],"which":[122],"suggests":[123],"good":[129],"other":[132],"such":[134],"as":[135],"race":[136],"detectors.":[137]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":11},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":17}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}