{"id":"https://openalex.org/W1757021327","doi":"https://doi.org/10.5075/epfl-thesis-4874","title":"Isolated Actors for Race-Free Concurrent Programming","display_name":"Isolated Actors for Race-Free Concurrent Programming","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1757021327","doi":"https://doi.org/10.5075/epfl-thesis-4874","mag":"1757021327"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.tind.io:151999","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/54064","pdf_url":"http://infoscience.epfl.ch/record/151999","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/151999","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044900918","display_name":"Philipp Haller","orcid":"https://orcid.org/0000-0002-2659-5271"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Haller, Philipp","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5044900918"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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.9994999766349792,"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.859176516532898},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6831218600273132},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.602725625038147},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5988073945045471},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5290497541427612},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4436776340007782},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4404549300670624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3391522765159607},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16567349433898926}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.859176516532898},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6831218600273132},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.602725625038147},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5988073945045471},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5290497541427612},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4436776340007782},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4404549300670624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3391522765159607},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16567349433898926}],"mesh":[],"locations_count":7,"locations":[{"id":"pmh:oai:infoscience.tind.io:151999","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/54064","pdf_url":"http://infoscience.epfl.ch/record/151999","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},{"id":"pmh:doi:10.5075/epfl-thesis-4874","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.233.5347","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.5347","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/151999/files/EPFL_TH4874.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.495.7794","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.495.7794","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/151999/files/EPFL_TH4874.pdf","raw_type":"text"},{"id":"pmh:oai:infoscience.epfl.ch:151999","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/151999","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.5075/epfl-thesis-4874","is_oa":true,"landing_page_url":"https://doi.org/10.5075/epfl-thesis-4874","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:1757021327","is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/151999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:151999","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/54064","pdf_url":"http://infoscience.epfl.ch/record/151999","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5899999737739563,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1757021327.pdf"},"referenced_works_count":125,"referenced_works":["https://openalex.org/W13011609","https://openalex.org/W17837200","https://openalex.org/W46492264","https://openalex.org/W100613926","https://openalex.org/W204358304","https://openalex.org/W303190792","https://openalex.org/W1483872283","https://openalex.org/W1495368328","https://openalex.org/W1498296889","https://openalex.org/W1501335511","https://openalex.org/W1502550949","https://openalex.org/W1507902915","https://openalex.org/W1508514069","https://openalex.org/W1514258760","https://openalex.org/W1515508441","https://openalex.org/W1521891776","https://openalex.org/W1535940442","https://openalex.org/W1536513995","https://openalex.org/W1557561422","https://openalex.org/W1563513502","https://openalex.org/W1567693394","https://openalex.org/W1569479239","https://openalex.org/W1571962375","https://openalex.org/W1581908531","https://openalex.org/W1591752798","https://openalex.org/W1595593557","https://openalex.org/W1603799276","https://openalex.org/W1604472755","https://openalex.org/W1606121052","https://openalex.org/W1607770173","https://openalex.org/W1628092780","https://openalex.org/W1698939026","https://openalex.org/W1778842370","https://openalex.org/W1831755779","https://openalex.org/W1871201330","https://openalex.org/W1926153983","https://openalex.org/W1938483076","https://openalex.org/W1967738391","https://openalex.org/W1972106757","https://openalex.org/W1975579741","https://openalex.org/W1976194690","https://openalex.org/W1976247299","https://openalex.org/W1978303100","https://openalex.org/W1980939032","https://openalex.org/W1984689011","https://openalex.org/W1989293671","https://openalex.org/W1990138733","https://openalex.org/W1992788999","https://openalex.org/W2006290442","https://openalex.org/W2014257084","https://openalex.org/W2021978684","https://openalex.org/W2028038730","https://openalex.org/W2031491316","https://openalex.org/W2032204694","https://openalex.org/W2032401773","https://openalex.org/W2033348393","https://openalex.org/W2045506295","https://openalex.org/W2045719854","https://openalex.org/W2046317364","https://openalex.org/W2047420331","https://openalex.org/W2047869411","https://openalex.org/W2049984112","https://openalex.org/W2050576837","https://openalex.org/W2053154567","https://openalex.org/W2061341742","https://openalex.org/W2067152491","https://openalex.org/W2068478460","https://openalex.org/W2069732655","https://openalex.org/W2070111977","https://openalex.org/W2072794470","https://openalex.org/W2073407646","https://openalex.org/W2073904768","https://openalex.org/W2078862062","https://openalex.org/W2079333278","https://openalex.org/W2085060061","https://openalex.org/W2087875803","https://openalex.org/W2088921570","https://openalex.org/W2091712774","https://openalex.org/W2094449661","https://openalex.org/W2096588014","https://openalex.org/W2098310557","https://openalex.org/W2100207437","https://openalex.org/W2101431901","https://openalex.org/W2101900462","https://openalex.org/W2102132638","https://openalex.org/W2105526656","https://openalex.org/W2108204150","https://openalex.org/W2109795737","https://openalex.org/W2111152250","https://openalex.org/W2111531191","https://openalex.org/W2113751407","https://openalex.org/W2114980032","https://openalex.org/W2118317839","https://openalex.org/W2123683215","https://openalex.org/W2125555950","https://openalex.org/W2126022651","https://openalex.org/W2127053650","https://openalex.org/W2129990308","https://openalex.org/W2133051483","https://openalex.org/W2135523252","https://openalex.org/W2135868037","https://openalex.org/W2136618368","https://openalex.org/W2136839747","https://openalex.org/W2137472273","https://openalex.org/W2141337637","https://openalex.org/W2142329765","https://openalex.org/W2142837069","https://openalex.org/W2144519235","https://openalex.org/W2145602571","https://openalex.org/W2147112772","https://openalex.org/W2148620466","https://openalex.org/W2150101804","https://openalex.org/W2155544344","https://openalex.org/W2156428492","https://openalex.org/W2156451927","https://openalex.org/W2159119750","https://openalex.org/W2161799453","https://openalex.org/W2167756215","https://openalex.org/W2293560983","https://openalex.org/W2622427009","https://openalex.org/W2769656678","https://openalex.org/W2912106379","https://openalex.org/W2913927567","https://openalex.org/W2987803397","https://openalex.org/W3129224732"],"related_works":["https://openalex.org/W2612189320","https://openalex.org/W1871201330","https://openalex.org/W1562116418","https://openalex.org/W2899993199","https://openalex.org/W2087688016","https://openalex.org/W2886110142","https://openalex.org/W2969139959","https://openalex.org/W2414240756","https://openalex.org/W203994998","https://openalex.org/W2081438680","https://openalex.org/W2990262573","https://openalex.org/W3160340109","https://openalex.org/W2949709987","https://openalex.org/W2242016257","https://openalex.org/W3098874119","https://openalex.org/W2995576800","https://openalex.org/W2255712816","https://openalex.org/W3200725287","https://openalex.org/W2592205526","https://openalex.org/W2589044793"],"abstract_inverted_index":{"Message-based":[0],"concurrency":[1,98,215],"using":[2,240],"actors":[3,184],"has":[4],"the":[5,40,58,66,74,81,124,134,147,155,158,163,301,308,328],"potential":[6],"to":[7,12,38,90,97,118,197,233,249,271,280],"scale":[8],"from":[9,223],"multicore":[10],"processors":[11],"distributed":[13,44],"systems.":[14],"However,":[15],"several":[16],"challenges":[17],"remain":[18],"until":[19],"actor-based":[20,323],"programming":[21,159],"can":[22,185,311],"be":[23,33,186,312],"applied":[24],"on":[25,104,188,202],"a":[26,172,193,217,229,251,268,281,290,298],"large":[27],"scale.":[28],"First,":[29],"actor":[30,152,199,234],"implementations":[31,47],"must":[32],"efficient":[34],"and":[35,54,62,73,92,126,136,169,211,256,322],"highly":[36],"scalable":[37],"meet":[39],"demands":[41],"of":[42,60,64,76,83,128,149,166,204,209,214,220,254,259,265,275],"large-scale":[43,140],"applications.":[45],"Existing":[46],"for":[48,286,300],"mainstream":[49,189],"platforms":[50,190],"achieve":[51],"high":[52],"performance":[53,91,148],"scalability":[55,137],"only":[56,192,337],"at":[57],"cost":[59],"flexibility":[61],"ease":[63],"use:":[65],"control":[67,164],"inversion":[68,165,203],"introduced":[69],"by":[70,114,139],"event-driven":[71,167],"designs":[72],"absence":[75],"fine-grained":[77],"message":[78,174],"filtering":[79],"complicate":[80],"logic":[82],"application":[84],"programs.":[85],"Second,":[86],"common":[87],"requirements":[88],"pertaining":[89],"interoperability":[93],"make":[94],"programs":[95,325],"prone":[96],"bugs:":[99],"reusing":[100],"code":[101,222,335],"that":[102,182,307,327],"relies":[103],"lower-level":[105],"synchronization":[106],"primitives":[107],"may":[108,116],"introduce":[109,228],"livelocks;":[110],"passing":[111],"mutable":[112],"messages":[113],"reference":[115],"lead":[117],"data":[119,238],"races.":[120],"This":[121],"thesis":[122],"describes":[123],"design":[125],"implementation":[127,296],"Scala":[129,303,334],"Actors.":[130],"Our":[131,262],"system":[132,310,329],"offers":[133],"efficiency":[135],"required":[138],"production":[141],"systems,":[142],"in":[143],"some":[144],"cases":[145],"exceeding":[146],"state-of-the-art":[150],"JVM-based":[151],"implementations.":[153],"At":[154],"same":[156],"time,":[157],"model":[160],"(a)":[161],"avoids":[162,237],"designs,":[168],"(b)":[170],"supports":[171],"flexible":[173,252],"reception":[175],"operation.":[176],"Thereby,":[177],"we":[178,227,288,305],"provide":[179,289],"experimental":[180],"evidence":[181],"Erlang-style":[183],"implemented":[187],"with":[191,319,336],"modest":[194],"overhead":[195],"compared":[196],"simpler":[198],"abstractions":[200],"based":[201],"control.":[205],"A":[206],"novel":[207,269],"integration":[208],"event-based":[210],"thread-based":[212],"models":[213],"enables":[216],"safe":[218],"reuse":[219],"lock-based":[221],"inside":[224],"actors.":[225],"Finally,":[226],"new":[230],"type-based":[231],"approach":[232],"isolation":[235],"which":[236,278,287],"races":[239],"unique":[241,260,276],"object":[242],"references.":[243,261],"Simple,":[244],"static":[245],"capabilities":[246],"are":[247],"used":[248],"enforce":[250],"notion":[253],"uniqueness":[255],"at-most-once":[257],"consumption":[258],"main":[263],"point":[264],"innovation":[266],"is":[267],"way":[270],"support":[272],"internal":[273],"aliasing":[274],"references":[277],"leads":[279],"surprisingly":[282],"simple":[283],"type":[284,309,331],"system,":[285],"complete":[291],"soundness":[292],"proof.":[293],"Using":[294],"an":[295],"as":[297],"plug-in":[299],"EPFL":[302],"compiler,":[304],"show":[306],"integrated":[313],"into":[314],"full-featured":[315],"languages.":[316],"Practical":[317],"experience":[318],"collection":[320],"classes":[321],"concurrent":[324],"suggests":[326],"allows":[330],"checking":[332],"real-world":[333],"few":[338],"changes.":[339]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-23T05:56:39.545243","created_date":"2025-10-10T00:00:00"}