{"id":"https://openalex.org/W4411606564","doi":"https://doi.org/10.1145/3735106.3736534","title":"Towards Automatically Extracting the Relational Model of an Operating System","display_name":"Towards Automatically Extracting the Relational Model of an Operating System","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411606564","doi":"https://doi.org/10.1145/3735106.3736534"},"language":"en","primary_location":{"id":"doi:10.1145/3735106.3736534","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735106.3736534","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735106.3736534","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Symposium on Database Programming Languages","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/3735106.3736534","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040288460","display_name":"Brian Choi","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Brian Choi","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086373341","display_name":"George V. Neville-Neil","orcid":"https://orcid.org/0000-0003-1223-2637"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George Neville-Neil","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081003377","display_name":"Alex Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Yuan","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109060142","display_name":"Avi Silberschatz","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Avi Silberschatz","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065602825","display_name":"Peter Alvaro","orcid":"https://orcid.org/0000-0001-6672-240X"},"institutions":[{"id":"https://openalex.org/I1333153716","display_name":"University City Science Center","ror":"https://ror.org/00s5a4h94","country_code":"US","type":"facility","lineage":["https://openalex.org/I1333153716"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Alvaro","raw_affiliation_strings":["UCSC, USA"],"affiliations":[{"raw_affiliation_string":"UCSC, USA","institution_ids":["https://openalex.org/I1333153716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017570270","display_name":"Robert Soul\u00e9","orcid":"https://orcid.org/0000-0002-2825-6660"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Soul\u00e9","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5040288460"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17070696,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9993000030517578,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7621326446533203},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.5319255590438843},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.46088075637817383},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4025627672672272},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.40084442496299744},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3311932384967804}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7621326446533203},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.5319255590438843},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.46088075637817383},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4025627672672272},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.40084442496299744},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3311932384967804}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3735106.3736534","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735106.3736534","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735106.3736534","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Symposium on Database Programming Languages","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3735106.3736534","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735106.3736534","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735106.3736534","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Symposium on Database Programming Languages","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411606564.pdf","grobid_xml":"https://content.openalex.org/works/W4411606564.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1502954553","https://openalex.org/W1537955876","https://openalex.org/W1744189505","https://openalex.org/W1965174751","https://openalex.org/W1985581502","https://openalex.org/W2158047578","https://openalex.org/W2166549982","https://openalex.org/W2184148260","https://openalex.org/W2439326083","https://openalex.org/W2908198836","https://openalex.org/W4403754235","https://openalex.org/W6634179062","https://openalex.org/W6683765213"],"related_works":["https://openalex.org/W3204019825","https://openalex.org/W2267077731","https://openalex.org/W2386578196","https://openalex.org/W3091612633","https://openalex.org/W2483382562","https://openalex.org/W2085988990","https://openalex.org/W1528519853","https://openalex.org/W1510134535","https://openalex.org/W2376710457","https://openalex.org/W2041574431"],"abstract_inverted_index":{"Several":[0],"recent":[1],"projects":[2],"have":[3],"argued":[4],"that":[5,49],"users":[6],"would":[7],"benefit":[8],"from":[9,77,102],"having":[10],"a":[11,27,91],"relational":[12,134],"interface":[13],"to":[14,29,44,95,116],"operating":[15,58,104,129],"systems":[16],"state.":[17],"In":[18],"this":[19,31],"paper,":[20],"we":[21,47],"report":[22],"on":[23,65],"the":[24,40,54,66,78,123,128,133],"progress":[25],"of":[26,57,125,127],"tool":[28],"automate":[30],"data":[32],"modeling":[33],"process.":[34],"While":[35],"automating":[36],"schema":[37],"inference":[38],"in":[39,53,71],"general":[41],"case":[42],"appears":[43],"be":[45],"intractable,":[46],"argue":[48],"it":[50],"is":[51],"feasible":[52],"limited":[55],"domain":[56],"system.":[59],"Our":[60,119],"approach":[61],"leverages":[62],"static":[63,93],"analysis":[64,94],"tightly-controlled":[67],"coding":[68],"styles":[69],"common":[70],"OS":[72],"kernels":[73],"and":[74,81,86,100,113],"hybridized":[75],"techniques":[76],"programming":[79],"languages":[80],"databases":[82],"literature":[83],"for":[84],"inferring":[85],"propagating":[87],"constraints.":[88,118],"We":[89,109],"use":[90],"simple":[92],"extract":[96],"relation":[97],"names,":[98],"types,":[99],"arity":[101],"constrained":[103],"system":[105,130],"source":[106],"code":[107],"patterns.":[108],"then":[110],"leverage":[111],"LLMs":[112],"iterative":[114],"refinement":[115],"identify":[117],"prototype":[120],"implementation":[121],"automates":[122],"extraction":[124],"10%":[126],"structure":[131],"into":[132],"model.":[135]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}