{"id":"https://openalex.org/W4401943896","doi":"https://doi.org/10.1145/3677995.3678195","title":"Controlled Scheduling of Concurrent Elixir Programs","display_name":"Controlled Scheduling of Concurrent Elixir Programs","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4401943896","doi":"https://doi.org/10.1145/3677995.3678195"},"language":"en","primary_location":{"id":"doi:10.1145/3677995.3678195","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677995.3678195","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678195","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678195","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045501765","display_name":"Luis Eduardo Bueso de Barrio","orcid":"https://orcid.org/0000-0003-4040-2111"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Luis Eduardo Bueso de Barrio","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0003-4040-2111","affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048436076","display_name":"Lars\u2010\u00c5ke Fredlund","orcid":"https://orcid.org/0000-0002-8296-4609"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Lars-\u00c5ke Fredlund","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-8296-4609","affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079166867","display_name":"Clara Benac Earle","orcid":"https://orcid.org/0000-0002-8629-5289"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Clara Benac Earle","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-8629-5289","affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007895753","display_name":"\u00c1ngel Herranz","orcid":"https://orcid.org/0000-0002-6433-5681"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"\u00c1ngel Herranz","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-6433-5681","affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053984049","display_name":"Julio Mari\u00f1o","orcid":"https://orcid.org/0000-0002-2665-7612"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Julio Mari\u00f1o","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-2665-7612","affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1266766,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"75"},"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.9988999962806702,"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.9988999962806702,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9968000054359436,"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.8526980876922607},{"id":"https://openalex.org/keywords/elixir","display_name":"Elixir (programming language)","score":0.6141563057899475},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5758810639381409},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.5574328899383545},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45011600852012634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30983784794807434},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.1569216251373291}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8526980876922607},{"id":"https://openalex.org/C103472402","wikidata":"https://www.wikidata.org/wiki/Q5362035","display_name":"Elixir (programming language)","level":2,"score":0.6141563057899475},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5758810639381409},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.5574328899383545},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45011600852012634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30983784794807434},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.1569216251373291},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3677995.3678195","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677995.3678195","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678195","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3677995.3678195","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677995.3678195","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678195","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401943896.pdf","grobid_xml":"https://content.openalex.org/works/W4401943896.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1971316072","https://openalex.org/W1978899117","https://openalex.org/W1987557201","https://openalex.org/W2018450316","https://openalex.org/W2096425305","https://openalex.org/W2101939036","https://openalex.org/W2120027538","https://openalex.org/W2122811495","https://openalex.org/W2155298875","https://openalex.org/W2799377964","https://openalex.org/W4294844552"],"related_works":["https://openalex.org/W3160690796","https://openalex.org/W2945781956","https://openalex.org/W2966875286","https://openalex.org/W2900692317","https://openalex.org/W3003405015","https://openalex.org/W2559735202","https://openalex.org/W2902444920","https://openalex.org/W2991909289","https://openalex.org/W2132325017","https://openalex.org/W2558474902"],"abstract_inverted_index":{"We":[0],"describe":[1],"the":[2,23,59,68,92,100,105,110,119,123,137,142,156,162],"design":[3],"and":[4,49,51,94,144],"implementation":[5],"of":[6,58,104,115,122,135,141,164,169],"Scheduler,":[7],"a":[8,15,55,113,145,167],"new":[9],"library":[10,82,111,158],"for":[11,72],"Elixir":[12,96,106],"which":[13,29,33,45,52,149],"provides":[14,112],"user-level":[16,70],"scheduler.":[17],"The":[18],"goal":[19],"is":[20,65,83,159],"to":[21,37,117,161],"improve":[22],"control":[24],"over":[25],"scheduling":[26,60],"decisions,":[27],"i.e.,":[28],"process":[30],"runs":[31],"at":[32],"time,":[34],"in":[35],"order":[36],"obtain":[38],"executions":[39],"that":[40],"are":[41,46,172],"more":[42],"random,":[43],"but":[44],"also":[47],"repeatable":[48],"modifiable,":[50],"moreover":[53],"provide":[54],"detailed":[56],"explanation":[57],"decisions":[61],"taken.":[62],"This":[63],"work":[64],"inspired":[66],"by":[67],"Pulse":[69],"scheduler":[71,101],"Erlang":[73],"programs,":[74],"as":[75,77],"well":[76],"other":[78,87],"related":[79],"tools.":[80],"Our":[81],"agnostic":[84],"regarding":[85],"what":[86],"testing/execution/formal":[88],"verification":[89],"tool":[90],"uses":[91],"scheduler,":[93],"instruments":[95],"code":[97],"running":[98],"under":[99,126],"through":[102],"use":[103],"macro":[107],"facility.":[108],"Moreover,":[109],"number":[114,168],"algorithms":[116,171],"explore":[118],"state":[120,139],"space":[121,140],"concurrent":[124],"programs":[125],"study,":[127],"including":[128],"random":[129],"search,":[130],"depth-first":[131],"search":[132,147],"(potentially":[133],"capable":[134],"exploring":[136],"whole":[138],"program-under-study),":[143],"novel":[146],"algorithm":[148],"selects":[150],"schedules":[151],"randomly.":[152],"As":[153],"an":[154],"example":[155],"Scheduler":[157],"applied":[160],"task":[163],"checking":[165],"whether":[166],"snapshot":[170],"correct.":[173]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}