{"id":"https://openalex.org/W3171196510","doi":"https://doi.org/10.1145/3458336.3465292","title":"FlexOS","display_name":"FlexOS","publication_year":2021,"publication_date":"2021-06-01","ids":{"openalex":"https://openalex.org/W3171196510","doi":"https://doi.org/10.1145/3458336.3465292","mag":"3171196510"},"language":"en","primary_location":{"id":"doi:10.1145/3458336.3465292","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458336.3465292","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465292","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465292","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017970719","display_name":"Hugo Lefeuvre","orcid":"https://orcid.org/0000-0001-9547-7458"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hugo Lefeuvre","raw_affiliation_strings":["The University of Manchester"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088685497","display_name":"Vlad-Andrei B\u0103doiu","orcid":"https://orcid.org/0009-0000-2890-7980"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Vlad-Andrei B\u0103doiu","raw_affiliation_strings":["University Politehnica of Bucharest"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011035885","display_name":"Stefan Lucian Teodorescu","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"\u015etefan Teodorescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101759281","display_name":"Pierre Olivier","orcid":"https://orcid.org/0000-0001-7781-1299"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pierre Olivier","raw_affiliation_strings":["The University of Manchester"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008859835","display_name":"Tiberiu Mosnoi","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Tiberiu Mosnoi","raw_affiliation_strings":["University Politehnica of Bucharest"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072899308","display_name":"R\u0103zvan Deaconescu","orcid":"https://orcid.org/0000-0001-8287-1712"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"R\u0103zvan Deaconescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030835508","display_name":"Felipe Huici","orcid":"https://orcid.org/0009-0008-9094-3585"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Felipe Huici","raw_affiliation_strings":["NEC Laboratories Europe GmbH"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NEC Laboratories Europe GmbH","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008493066","display_name":"Costin Raiciu","orcid":"https://orcid.org/0000-0002-5937-2162"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Costin Raiciu","raw_affiliation_strings":["University Politehnica of Bucharest"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/software-deployment","display_name":"Software deployment","score":0.786299467086792},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7819184064865112},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.6567513346672058},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.5665408372879028},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5204156041145325},{"id":"https://openalex.org/keywords/code-refactoring","display_name":"Code refactoring","score":0.5180730819702148},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5152466893196106},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.437252014875412},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.41964611411094666},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35629528760910034},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3409503102302551},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.10188362002372742}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.786299467086792},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7819184064865112},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.6567513346672058},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.5665408372879028},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5204156041145325},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.5180730819702148},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5152466893196106},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.437252014875412},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.41964611411094666},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35629528760910034},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3409503102302551},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10188362002372742},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3458336.3465292","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458336.3465292","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465292","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/cb554f86-4e92-48ab-b036-4d77d79a7d4b","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/cb554f86-4e92-48ab-b036-4d77d79a7d4b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:pure.atira.dk:publications/cb554f86-4e92-48ab-b036-4d77d79a7d4b","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85107893011&partnerID=8YFLogxK","pdf_url":"https://pure.manchester.ac.uk/ws/files/195993673/flexos_hotos21.pdf","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"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":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"doi:10.1145/3458336.3465292","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458336.3465292","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458336.3465292","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Hot Topics in Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1094505489","display_name":"UniFaaS: A Unikernel-Based Serverless Operating System","funder_award_id":"EP/V012134/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1147893575","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2062432833","display_name":null,"funder_award_id":"EP/V012134/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5045220161","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6568847533","display_name":null,"funder_award_id":"825377","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G8842009309","display_name":null,"funder_award_id":"871793","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3171196510.pdf","grobid_xml":"https://content.openalex.org/works/W3171196510.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1485116738","https://openalex.org/W1529355856","https://openalex.org/W1980296610","https://openalex.org/W2005359691","https://openalex.org/W2019404692","https://openalex.org/W2027168655","https://openalex.org/W2052705820","https://openalex.org/W2060475972","https://openalex.org/W2079029390","https://openalex.org/W2083355374","https://openalex.org/W2096165352","https://openalex.org/W2098592421","https://openalex.org/W2100792372","https://openalex.org/W2107082099","https://openalex.org/W2109219878","https://openalex.org/W2121579803","https://openalex.org/W2122960384","https://openalex.org/W2130427425","https://openalex.org/W2134939854","https://openalex.org/W2136310957","https://openalex.org/W2159890891","https://openalex.org/W2171482413","https://openalex.org/W2766188225","https://openalex.org/W2899375714","https://openalex.org/W2921500326","https://openalex.org/W2930757500","https://openalex.org/W3008221320","https://openalex.org/W3009731533","https://openalex.org/W3017716388","https://openalex.org/W3018164137","https://openalex.org/W3030190323","https://openalex.org/W3041365773","https://openalex.org/W3048282123","https://openalex.org/W3049548365","https://openalex.org/W3097183624","https://openalex.org/W3097965369","https://openalex.org/W3103113662","https://openalex.org/W3113229168","https://openalex.org/W3155768088","https://openalex.org/W3158610705","https://openalex.org/W3169163703","https://openalex.org/W3186160964","https://openalex.org/W4230700489","https://openalex.org/W4239388406","https://openalex.org/W4245410964","https://openalex.org/W4246472322","https://openalex.org/W4247286944"],"related_works":["https://openalex.org/W1938356314","https://openalex.org/W2037736128","https://openalex.org/W4238190086","https://openalex.org/W2512656006","https://openalex.org/W4254068899","https://openalex.org/W2157036638","https://openalex.org/W2124353851","https://openalex.org/W2142425794","https://openalex.org/W3025214334","https://openalex.org/W2153437812"],"abstract_inverted_index":{"OS":[0],"design":[1,30],"is":[2,53],"traditionally":[3],"heavily":[4],"intertwined":[5],"with":[6,56],"protection":[7],"mechanisms.":[8],"OSes":[9],"statically":[10],"commit":[11],"to":[12,101],"one":[13],"or":[14],"a":[15],"combination":[16],"of":[17,93],"(1)":[18],"hardware":[19,58,65],"isolation,":[20,87],"(2)":[21],"runtime":[22],"checking,":[23],"and":[24,43,59,72,96],"(3)":[25],"software":[26,60],"verification":[27],"early":[28],"at":[29,54],"time.":[31,103],"Changes":[32],"after":[33],"deployment":[34,102],"require":[35],"major":[36],"refactoring;":[37],"as":[38],"such,":[39],"they":[40],"are":[41],"rare":[42],"costly.":[44],"In":[45,89],"this":[46,51],"paper,":[47],"we":[48],"argue":[49],"that":[50],"strategy":[52,95],"odds":[55],"recent":[57],"trends:":[61],"protections":[62],"break":[63],"(Meltdown),":[64],"becomes":[66],"heterogeneous":[67],"(Memory":[68],"Protection":[69],"Keys,":[70],"CHERI),":[71],"multiple":[73],"mechanisms":[74],"can":[75],"now":[76],"be":[77,99],"used":[78],"for":[79],"the":[80,91],"same":[81],"task":[82],"(software":[83],"hardening,":[84],"verification,":[85],"HW":[86],"etc).":[88],"short,":[90],"choice":[92],"isolation":[94],"primitives":[97],"should":[98],"postponed":[100]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2021-06-22T00:00:00"}