{"id":"https://openalex.org/W1994257154","doi":"https://doi.org/10.1017/s0956796810000201","title":"Implicitly threaded parallelism in Manticore","display_name":"Implicitly threaded parallelism in Manticore","publication_year":2010,"publication_date":"2010-11-01","ids":{"openalex":"https://openalex.org/W1994257154","doi":"https://doi.org/10.1017/s0956796810000201","mag":"1994257154"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796810000201","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796810000201","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9F8A993EE51C782F80AB993F05DCA215/S0956796810000201a.pdf/div-class-title-implicitly-threaded-parallelism-in-manticore-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9F8A993EE51C782F80AB993F05DCA215/S0956796810000201a.pdf/div-class-title-implicitly-threaded-parallelism-in-manticore-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029478793","display_name":"Matthew Fluet","orcid":"https://orcid.org/0000-0002-4194-7618"},"institutions":[{"id":"https://openalex.org/I155173764","display_name":"Rochester Institute of Technology","ror":"https://ror.org/00v4yb702","country_code":"US","type":"education","lineage":["https://openalex.org/I155173764"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MATTHEW FLUET","raw_affiliation_strings":["Computer Science Department, Rochester Institute of Technology, Rochester, NY, USA (e-mail:","Computer science department, rochester institute of technology, rochester, ny, usa (e-mail: mtf@cs.rit.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Rochester Institute of Technology, Rochester, NY, USA (e-mail:","institution_ids":["https://openalex.org/I155173764"]},{"raw_affiliation_string":"Computer science department, rochester institute of technology, rochester, ny, usa (e-mail: mtf@cs.rit.edu)#TAB#","institution_ids":["https://openalex.org/I155173764"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009476343","display_name":"Mike Rainey","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MIKE RAINEY","raw_affiliation_strings":["Department of Computer Science, University of Chicago, Chicago, IL, USA (e-mail:","Department of computer science, university of chicago, chicago, il, usa (e-mail: mrainey@cs.uchicago.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Chicago, Chicago, IL, USA (e-mail:","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"Department of computer science, university of chicago, chicago, il, usa (e-mail: mrainey@cs.uchicago.edu)#TAB#","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030967328","display_name":"John Reppy","orcid":"https://orcid.org/0000-0002-5881-298X"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"JOHN REPPY","raw_affiliation_strings":["Department of Computer Science, University of Chicago, Chicago, IL, USA (e-mail:","Department of computer science, university of chicago, chicago, il, usa (e-mail: jhr@cs.uchicago.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Chicago, Chicago, IL, USA (e-mail:","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"Department of computer science, university of chicago, chicago, il, usa (e-mail: jhr@cs.uchicago.edu)#TAB#","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034853790","display_name":"Adam Shaw","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ADAM SHAW","raw_affiliation_strings":["Department of Computer Science, University of Chicago, Chicago, IL, USA (e-mail:","Department of computer science, university of chicago, chicago, il, usa (e-mail: ams@cs.uchicago.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Chicago, Chicago, IL, USA (e-mail:","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"Department of computer science, university of chicago, chicago, il, usa (e-mail: ams@cs.uchicago.edu)#TAB#","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.3014,"has_fulltext":true,"cited_by_count":76,"citation_normalized_percentile":{"value":0.9454461,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"20","issue":"5-6","first_page":"537","last_page":"576"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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.9173589944839478},{"id":"https://openalex.org/keywords/implicit-parallelism","display_name":"Implicit parallelism","score":0.7500941753387451},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.6846541166305542},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6722016334533691},{"id":"https://openalex.org/keywords/data-parallelism","display_name":"Data parallelism","score":0.6117790937423706},{"id":"https://openalex.org/keywords/task-parallelism","display_name":"Task parallelism","score":0.6031141877174377},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5972439050674438},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5969031453132629},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.5766848921775818},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5648864507675171},{"id":"https://openalex.org/keywords/embarrassingly-parallel","display_name":"Embarrassingly parallel","score":0.510627806186676},{"id":"https://openalex.org/keywords/parallel-programming-model","display_name":"Parallel programming model","score":0.5090660452842712},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5007319450378418},{"id":"https://openalex.org/keywords/parallel-algorithm","display_name":"Parallel algorithm","score":0.32113850116729736},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3205585181713104},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3157079815864563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9173589944839478},{"id":"https://openalex.org/C3543717","wikidata":"https://www.wikidata.org/wiki/Q6007302","display_name":"Implicit parallelism","level":4,"score":0.7500941753387451},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.6846541166305542},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6722016334533691},{"id":"https://openalex.org/C61483411","wikidata":"https://www.wikidata.org/wiki/Q3124522","display_name":"Data parallelism","level":3,"score":0.6117790937423706},{"id":"https://openalex.org/C42992933","wikidata":"https://www.wikidata.org/wiki/Q691169","display_name":"Task parallelism","level":3,"score":0.6031141877174377},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5972439050674438},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5969031453132629},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.5766848921775818},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5648864507675171},{"id":"https://openalex.org/C126909462","wikidata":"https://www.wikidata.org/wiki/Q5369501","display_name":"Embarrassingly parallel","level":3,"score":0.510627806186676},{"id":"https://openalex.org/C137364921","wikidata":"https://www.wikidata.org/wiki/Q27929394","display_name":"Parallel programming model","level":3,"score":0.5090660452842712},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5007319450378418},{"id":"https://openalex.org/C120373497","wikidata":"https://www.wikidata.org/wiki/Q1087987","display_name":"Parallel algorithm","level":2,"score":0.32113850116729736},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3205585181713104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3157079815864563},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0956796810000201","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796810000201","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9F8A993EE51C782F80AB993F05DCA215/S0956796810000201a.pdf/div-class-title-implicitly-threaded-parallelism-in-manticore-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.153.3424","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.3424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cs.uchicago.edu/~mrainey/papers/icfp08-datapar.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.207.4139","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.4139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://manticore.cs.uchicago.edu/papers/icfp08-implicit.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.214.8742","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.8742","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.cs.uchicago.edu/~jhr/papers/2008/icfp-datapar.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1017/s0956796810000201","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796810000201","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9F8A993EE51C782F80AB993F05DCA215/S0956796810000201a.pdf/div-class-title-implicitly-threaded-parallelism-in-manticore-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2730661478","display_name":"Collaborative Research:   CPA-SEL : Implementation Techniques for High- level Parallel Languages","funder_award_id":"0811389","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G785918194","display_name":"Collaborative Research:   CPA-SEL:   Implementation Techniques for High-level Parallel Languages","funder_award_id":"0811419","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1994257154.pdf","grobid_xml":"https://content.openalex.org/works/W1994257154.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W1495087637","https://openalex.org/W1527827408","https://openalex.org/W1546727036","https://openalex.org/W1576530968","https://openalex.org/W1580566336","https://openalex.org/W1581240710","https://openalex.org/W1584322803","https://openalex.org/W1595310945","https://openalex.org/W1829244603","https://openalex.org/W1852897039","https://openalex.org/W1965122136","https://openalex.org/W1965673983","https://openalex.org/W1968020161","https://openalex.org/W1983587324","https://openalex.org/W1990195720","https://openalex.org/W1993621349","https://openalex.org/W1999241319","https://openalex.org/W2008304866","https://openalex.org/W2011648260","https://openalex.org/W2015888335","https://openalex.org/W2016559894","https://openalex.org/W2016849154","https://openalex.org/W2024374951","https://openalex.org/W2032309817","https://openalex.org/W2032401773","https://openalex.org/W2032404535","https://openalex.org/W2051910176","https://openalex.org/W2056714230","https://openalex.org/W2072162091","https://openalex.org/W2072725684","https://openalex.org/W2078213398","https://openalex.org/W2082643016","https://openalex.org/W2083870087","https://openalex.org/W2098147619","https://openalex.org/W2098522119","https://openalex.org/W2098815550","https://openalex.org/W2104861744","https://openalex.org/W2107766104","https://openalex.org/W2109271084","https://openalex.org/W2109507655","https://openalex.org/W2111534760","https://openalex.org/W2112123380","https://openalex.org/W2119714163","https://openalex.org/W2122465391","https://openalex.org/W2127523684","https://openalex.org/W2129494270","https://openalex.org/W2129990308","https://openalex.org/W2130278109","https://openalex.org/W2136424975","https://openalex.org/W2150848984","https://openalex.org/W2151792522","https://openalex.org/W2163229756","https://openalex.org/W2166089338","https://openalex.org/W2167203329","https://openalex.org/W2171269161","https://openalex.org/W2256465061","https://openalex.org/W2296715995","https://openalex.org/W2436525433","https://openalex.org/W2578190765","https://openalex.org/W4238269833","https://openalex.org/W4244257941","https://openalex.org/W4248901744","https://openalex.org/W6678120442"],"related_works":["https://openalex.org/W2003935582","https://openalex.org/W2142344422","https://openalex.org/W1483753031","https://openalex.org/W2103813409","https://openalex.org/W4253043195","https://openalex.org/W2097857796","https://openalex.org/W2073582220","https://openalex.org/W297872448","https://openalex.org/W1994257154","https://openalex.org/W2409812696"],"abstract_inverted_index":{"Abstract":[0],"The":[1,76],"increasing":[2],"availability":[3],"of":[4,28,74,110,116,129,162,167,211,219],"commodity":[5,101],"multicore":[6,102],"processors":[7],"is":[8,79,89],"making":[9],"parallel":[10,34,98,111,127,151,156,189],"computing":[11],"ever":[12],"more":[13],"widespread.":[14],"In":[15,118],"order":[16],"to":[17,48,52,82],"exploit":[18],"its":[19,87],"potential,":[20],"programmers":[21],"need":[22,65],"languages":[23,35],"that":[24,69,141],"make":[25,200],"the":[26,54,124,130,160,165,173,195,212],"benefits":[27],"parallelism":[29],"accessible":[30],"and":[31,44,159,194,214],"understandable.":[32],"Previous":[33],"have":[36,185],"traditionally":[37],"been":[38],"intended":[39],"for":[40,96,113],"large-scale":[41],"scientific":[42],"computing,":[43],"they":[45],"tend":[46],"not":[47],"be":[49],"well":[50],"suited":[51],"programming":[53,97],"applications":[55,99],"one":[56],"typically":[57],"finds":[58],"on":[59,100,123,138,179,188],"a":[60,71,92,107,149,154,216],"desktop":[61],"system.":[62],"Thus,":[63],"we":[64,121],"new":[66],"parallel-language":[67],"designs":[68,202],"address":[70,83],"broader":[72],"spectrum":[73],"applications.":[75],"Manticore":[77],"project":[78],"our":[80,143,220],"effort":[81],"this":[84,119],"need.":[85],"At":[86],"core":[88],"Parallel":[90,104],"ML,":[91],"high-level":[93],"functional":[94,180],"language":[95,182,213],"hardware.":[103],"ML":[105],"provides":[106],"diverse":[108],"collection":[109],"constructs":[112,128],"different":[114],"granularities":[115],"work.":[117],"paper,":[120],"focus":[122],"implicitly":[125],"threaded":[126],"language,":[131],"which":[132,184],"support":[133],"fine-grained":[134],"parallelism.":[135,169],"We":[136,204],"concentrate":[137],"those":[139],"elements":[140],"distinguish":[142],"design":[144],"from":[145,176],"related":[146,177],"ones,":[147],"namely,":[148],"novel":[150],"binding":[152],"form,":[153,158],"nondeterministic":[155],"case":[157],"treatment":[161],"exceptions":[163],"in":[164],"presence":[166],"data":[168],"These":[170],"features":[171],"differentiate":[172],"present":[174,205],"work":[175,178],"data-parallel":[181],"designs,":[183],"focused":[186],"largely":[187],"problems":[190],"with":[191],"regular":[192],"structure":[193],"compiler":[196],"transformations\u2014most":[197],"notably,":[198],"flattening\u2014that":[199],"such":[201],"feasible.":[203],"detailed":[206],"examples":[207],"utilizing":[208],"various":[209],"mechanisms":[210],"give":[215],"formal":[217],"description":[218],"implementation.":[221]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}