{"id":"https://openalex.org/W2015979616","doi":"https://doi.org/10.1145/2543920","title":"\u00c6minium","display_name":"\u00c6minium","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W2015979616","doi":"https://doi.org/10.1145/2543920","mag":"2015979616"},"language":"en","primary_location":{"id":"doi:10.1145/2543920","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2543920","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2543920","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2543920","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014024528","display_name":"Sven Stork","orcid":null},"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":"Sven Stork","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069949087","display_name":"Karl Naden","orcid":null},"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":"Karl Naden","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039972599","display_name":"Joshua Sunshine","orcid":"https://orcid.org/0000-0002-9672-5297"},"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":"Joshua Sunshine","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043449753","display_name":"Manuel Mohr","orcid":"https://orcid.org/0000-0002-5189-541X"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Manuel Mohr","raw_affiliation_strings":["Karlsruhe Institute of Technology","Karlsruhe Institute of technology"],"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of technology","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089334093","display_name":"Alcides Fonseca","orcid":"https://orcid.org/0000-0002-0879-4015"},"institutions":[{"id":"https://openalex.org/I76903346","display_name":"University of Coimbra","ror":"https://ror.org/04z8k9a98","country_code":"PT","type":"education","lineage":["https://openalex.org/I76903346"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alcides Fonseca","raw_affiliation_strings":["University of Coimbra","University of Coimbra#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Coimbra","institution_ids":["https://openalex.org/I76903346"]},{"raw_affiliation_string":"University of Coimbra#TAB#","institution_ids":["https://openalex.org/I76903346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074403169","display_name":"Paulo Marques","orcid":"https://orcid.org/0000-0001-5053-8827"},"institutions":[{"id":"https://openalex.org/I76903346","display_name":"University of Coimbra","ror":"https://ror.org/04z8k9a98","country_code":"PT","type":"education","lineage":["https://openalex.org/I76903346"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Paulo Marques","raw_affiliation_strings":["University of Coimbra","University of Coimbra#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Coimbra","institution_ids":["https://openalex.org/I76903346"]},{"raw_affiliation_string":"University of Coimbra#TAB#","institution_ids":["https://openalex.org/I76903346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091372985","display_name":"Jonathan Aldrich","orcid":"https://orcid.org/0000-0003-0631-5591"},"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":"Jonathan Aldrich","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5014024528"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":5.036,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.95498334,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"36","issue":"1","first_page":"1","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.88664710521698},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5850754380226135},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5628397464752197},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5298399925231934},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5131729245185852},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.488883912563324},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.4839470684528351},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.47854381799697876},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.44614049792289734},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4457380473613739},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3544926643371582},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3335564434528351}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.88664710521698},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5850754380226135},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5628397464752197},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5298399925231934},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5131729245185852},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.488883912563324},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.4839470684528351},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.47854381799697876},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.44614049792289734},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4457380473613739},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3544926643371582},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3335564434528351},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2543920","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2543920","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2543920","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2543920","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2543920","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2543920","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G243367967","display_name":null,"funder_award_id":"CMU-PT/SE/0038/2008","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G2627538378","display_name":null,"funder_award_id":"CCF-1116907","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G2636640433","display_name":null,"funder_award_id":"SFRH/BD/33522/2008","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3238671391","display_name":null,"funder_award_id":"CMU-PT/SE/0038/2008","funder_id":"https://openalex.org/F4320332486","funder_display_name":"Mellon College of Science, Carnegie Mellon University"},{"id":"https://openalex.org/G3284537356","display_name":null,"funder_award_id":"SFRH/B","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5818630289","display_name":null,"funder_award_id":"SFRH/BD/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G724804869","display_name":null,"funder_award_id":"SFRH/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8227137351","display_name":"SHF :Small: Foundations of Permission-Based Object-Oriented Languages","funder_award_id":"1116907","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"},{"id":"https://openalex.org/F4320332486","display_name":"Mellon College of Science, Carnegie Mellon University","ror":"https://ror.org/05x2bcf33"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2015979616.pdf","grobid_xml":"https://content.openalex.org/works/W2015979616.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W308132788","https://openalex.org/W1557561422","https://openalex.org/W1581003054","https://openalex.org/W1595523781","https://openalex.org/W1770006921","https://openalex.org/W1861989620","https://openalex.org/W1972461140","https://openalex.org/W1981858010","https://openalex.org/W1989293671","https://openalex.org/W1997143185","https://openalex.org/W1998344822","https://openalex.org/W2003539206","https://openalex.org/W2013121458","https://openalex.org/W2033348393","https://openalex.org/W2042694844","https://openalex.org/W2048921878","https://openalex.org/W2056714230","https://openalex.org/W2073407646","https://openalex.org/W2091089602","https://openalex.org/W2094694891","https://openalex.org/W2095849445","https://openalex.org/W2096403564","https://openalex.org/W2100111786","https://openalex.org/W2104861744","https://openalex.org/W2122391088","https://openalex.org/W2125412556","https://openalex.org/W2142837069","https://openalex.org/W2148948639","https://openalex.org/W2152988224","https://openalex.org/W2156428492","https://openalex.org/W2157179926","https://openalex.org/W2160963348","https://openalex.org/W2168986107","https://openalex.org/W2286529493","https://openalex.org/W2340812064","https://openalex.org/W2395077608","https://openalex.org/W2911865844","https://openalex.org/W4239687313","https://openalex.org/W4240363966","https://openalex.org/W4241045451","https://openalex.org/W4244157805","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2374086689","https://openalex.org/W3176279093","https://openalex.org/W2373945265","https://openalex.org/W2761464920","https://openalex.org/W2480874422","https://openalex.org/W874095766","https://openalex.org/W2953905390","https://openalex.org/W2135849267","https://openalex.org/W3095167194","https://openalex.org/W2168921806"],"abstract_inverted_index":{"Writing":[0],"concurrent":[1,72],"applications":[2],"is":[3],"extremely":[4],"challenging,":[5],"not":[6],"only":[7],"in":[8,77,169],"terms":[9],"of":[10,103,110,137],"producing":[11],"bug-free":[12],"and":[13,67,95,163],"maintainable":[14],"software,":[15],"but":[16],"also":[17],"for":[18,70],"enabling":[19],"developer":[20],"productivity.":[21],"In":[22],"this":[23],"article":[24],"we":[25,132],"present":[26,133],"the":[27,53,59,100,108],"\u00c6minium":[28,33,62,111],"concurrent-by-default":[29,125],"programming":[30],"language.":[31],"Using":[32],"programmers":[34,83],"express":[35],"data":[36,75,154],"dependencies":[37],"rather":[38],"than":[39,165],"control":[40],"flow":[41,122],"between":[42],"instructions.":[43],"Dependencies":[44],"are":[45,50],"expressed":[46],"using":[47],"permissions,":[48],"which":[49],"used":[51],"by":[52],"type":[54],"system":[55],"to":[56,84,97,123,145,157,160],"automatically":[57],"parallelize":[58],"application.":[60,173],"The":[61],"approach":[63],"provides":[64],"a":[65,78,115,170],"modular":[66],"composable":[68],"mechanism":[69],"writing":[71],"applications,":[73],"preventing":[74],"races":[76],"provable":[79],"way.":[80],"This":[81],"allows":[82],"shift":[85],"their":[86,104],"attention":[87],"from":[88],"low-level,":[89],"error-prone":[90],"reasoning":[91],"about":[92],"thread":[93],"interleaving":[94],"synchronization":[96],"focus":[98],"on":[99,148],"core":[101,117],"functionality":[102],"applications.":[105],"We":[106],"study":[107],"semantics":[109],"through":[112],"\u03bc":[113],"\u00c6minium,":[114],"sound":[116],"calculus":[118],"that":[119],"leverages":[120],"permission":[121],"enable":[124],"execution.":[126],"After":[127],"discussing":[128],"our":[129,138],"prototype":[130],"implementation":[131],"several":[134],"case":[135,141],"studies":[136,142],"system.":[139],"Our":[140],"show":[143],"up":[144],"6.5X":[146],"speedup":[147],"an":[149],"eight-core":[150],"machine":[151],"when":[152],"leveraging":[153],"group":[155],"permissions":[156],"manage":[158],"access":[159],"shared":[161],"state,":[162],"more":[164],"70%":[166],"higher":[167],"throughput":[168],"Web":[171],"server":[172]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}