{"id":"https://openalex.org/W2963153477","doi":"https://doi.org/10.1007/978-3-319-89366-2_8","title":"Fab ous Interoperability for ML and a Linear Language","display_name":"Fab ous Interoperability for ML and a Linear Language","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2963153477","doi":"https://doi.org/10.1007/978-3-319-89366-2_8","mag":"2963153477"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89366-2_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89366-2_8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047042180","display_name":"Gabriel Scherer","orcid":"https://orcid.org/0000-0003-1758-3938"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I4210126360","display_name":"Centre Inria de Saclay","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]}],"countries":["FR","US"],"is_corresponding":true,"raw_author_name":"Gabriel Scherer","raw_affiliation_strings":["Inria Saclay, Palaiseau, France","Northeastern University, Boston, USA","Northeastern University [Boston]","Proof search and reasoning with logic specifications"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria Saclay, Palaiseau, France","institution_ids":["https://openalex.org/I4210126360"]},{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Northeastern University [Boston]","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Proof search and reasoning with logic specifications","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050680882","display_name":"Max S. New","orcid":"https://orcid.org/0000-0001-8141-195X"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Max New","raw_affiliation_strings":["Northeastern University, Boston, USA","Northeastern University [Boston]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Northeastern University [Boston]","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054056040","display_name":"Nick Rioux","orcid":"https://orcid.org/0000-0001-5277-8920"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nick Rioux","raw_affiliation_strings":["Northeastern University, Boston, USA","Northeastern University [Boston]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Northeastern University [Boston]","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084250644","display_name":"Amal Ahmed","orcid":"https://orcid.org/0000-0001-7424-572X"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN","FR","US"],"is_corresponding":false,"raw_author_name":"Amal Ahmed","raw_affiliation_strings":["Inria Paris, Paris, France","Northeastern University, Boston, USA","Northeastern University [Boston]","Programming securely with cryptography"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria Paris, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Northeastern University [Boston]","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Programming securely with cryptography","institution_ids":["https://openalex.org/I4210132990"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5047042180"],"corresponding_institution_ids":["https://openalex.org/I12912129","https://openalex.org/I4210126360"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.6789,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.76543241,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"146","last_page":"162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983000159263611,"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/T11424","display_name":"Security and Verification in Computing","score":0.9975000023841858,"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.8615895509719849},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.831641435623169},{"id":"https://openalex.org/keywords/low-level-programming-language","display_name":"Low-level programming language","score":0.6190212965011597},{"id":"https://openalex.org/keywords/language-primitive","display_name":"Language primitive","score":0.6154260039329529},{"id":"https://openalex.org/keywords/first-generation-programming-language","display_name":"First-generation programming language","score":0.5689297318458557},{"id":"https://openalex.org/keywords/high-level-programming-language","display_name":"High-level programming language","score":0.567750096321106},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5517327189445496},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5397058725357056},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.4928148090839386},{"id":"https://openalex.org/keywords/very-high-level-programming-language","display_name":"Very high-level programming language","score":0.46731847524642944},{"id":"https://openalex.org/keywords/fourth-generation-programming-language","display_name":"Fourth-generation programming language","score":0.4439881443977356},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3677138388156891},{"id":"https://openalex.org/keywords/programming-domain","display_name":"Programming domain","score":0.2751826345920563},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.252890408039093},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2038905918598175},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.1913074553012848}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8615895509719849},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.831641435623169},{"id":"https://openalex.org/C124577441","wikidata":"https://www.wikidata.org/wiki/Q558937","display_name":"Low-level programming language","level":5,"score":0.6190212965011597},{"id":"https://openalex.org/C20724563","wikidata":"https://www.wikidata.org/wiki/Q3075258","display_name":"Language primitive","level":4,"score":0.6154260039329529},{"id":"https://openalex.org/C570499","wikidata":"https://www.wikidata.org/wiki/Q1289116","display_name":"First-generation programming language","level":3,"score":0.5689297318458557},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.567750096321106},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5517327189445496},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5397058725357056},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.4928148090839386},{"id":"https://openalex.org/C169796678","wikidata":"https://www.wikidata.org/wiki/Q835124","display_name":"Very high-level programming language","level":5,"score":0.46731847524642944},{"id":"https://openalex.org/C145628200","wikidata":"https://www.wikidata.org/wiki/Q238137","display_name":"Fourth-generation programming language","level":5,"score":0.4439881443977356},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3677138388156891},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.2751826345920563},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.252890408039093},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2038905918598175},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.1913074553012848},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-89366-2_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89366-2_8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89366-2_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89366-2_8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4898729800","display_name":"SHF: Small: Secure Compilation of Advanced Languages","funder_award_id":"1422133","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6014218453","display_name":"CAREER: Verified Compilers for a Multi-Language World","funder_award_id":"1453796","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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963153477.pdf","grobid_xml":"https://content.openalex.org/works/W2963153477.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W30585784","https://openalex.org/W53839316","https://openalex.org/W188282463","https://openalex.org/W1550526517","https://openalex.org/W1773735832","https://openalex.org/W2005403834","https://openalex.org/W2017055028","https://openalex.org/W2020899082","https://openalex.org/W2039112578","https://openalex.org/W2046697462","https://openalex.org/W2048083627","https://openalex.org/W2114702512","https://openalex.org/W2116509046","https://openalex.org/W2123691799","https://openalex.org/W2134056477","https://openalex.org/W2142837069","https://openalex.org/W2165446401","https://openalex.org/W2168743513","https://openalex.org/W2293692853","https://openalex.org/W2293786458","https://openalex.org/W2430362266","https://openalex.org/W2476818328","https://openalex.org/W2510433231","https://openalex.org/W2514838807","https://openalex.org/W2625268615","https://openalex.org/W2766220735","https://openalex.org/W3103649929","https://openalex.org/W3121479906","https://openalex.org/W4242150334","https://openalex.org/W4242423436","https://openalex.org/W4249824250"],"related_works":["https://openalex.org/W134217928","https://openalex.org/W2133376498","https://openalex.org/W2216440867","https://openalex.org/W2235266364","https://openalex.org/W2010145286","https://openalex.org/W2230513087","https://openalex.org/W2238450825","https://openalex.org/W977496018","https://openalex.org/W2198524561","https://openalex.org/W1027574829"],"abstract_inverted_index":{"Instead":[0],"of":[1,11,48,60,69,159,162,176,184,203],"a":[2,46,75,83,87,102,130,156,174],"monolithic":[3],"programming":[4,14,132,167],"language":[5,53,85,141,144],"trying":[6],"to":[7,25,54,90,154],"cover":[8,26,155],"all":[9],"features":[10],"interest,":[12],"some":[13,68],"systems":[15],"are":[16],"designed":[17],"by":[18,35,227,231],"combining":[19],"together":[20],"simpler":[21,39],"languages":[22,163],"that":[23,56,106,134,164,181],"cooperate":[24],"the":[27,41,61,70,99,115,160,177,182,187,232,239,245],"same":[28],"feature":[29],"space.":[30],"This":[31,234],"can":[32],"improve":[33],"usability":[34],"making":[36],"each":[37],"part":[38,158],"than":[40],"whole,":[42],"but":[43],"there":[44],"is":[45,153,190,236],"risk":[47],"abstraction":[49,198],"leaks":[50],"from":[51],"one":[52,66],"another":[55,143],"would":[57],"break":[58],"expectations":[59],"users":[62],"familiar":[63],"with":[64,145,219],"only":[65,173],"or":[67],"involved":[71],"languages.":[72],"We":[73,179,200],"propose":[74],"formal":[76,125],"specification":[77,126],"for":[78,82],"what":[79],"it":[80,95],"means":[81],"given":[84],"in":[86,101,114],"multi-language":[88,100,131,188],"system":[89,133,189],"be":[91,112,242],"usable":[92],"without":[93],"leaks:":[94],"should":[96,111,195],"embed":[97],"into":[98,186],"fully":[103,191],"abstract":[104],"way,":[105],"is,":[107],"its":[108],"contextual":[109],"equivalence":[110],"unchanged":[113],"larger":[116],"system.":[117],"To":[118],"demonstrate":[119],"our":[120,220],"proposed":[121],"design":[122,129],"principle":[123],"and":[124,142,148,168,210,214,229,238],"criterion,":[127],"we":[128],"combines":[135],"an":[136,215],"ML-like":[137],"statically":[138],"typed":[139],"functional":[140,166,193],"linear":[146,149,169,221],"types":[147],"state.":[150],"Our":[151],"goal":[152],"good":[157],"expressiveness":[161],"mix":[165],"state":[170],"(ownership),":[171],"at":[172],"fraction":[175],"complexity.":[178],"prove":[180],"embedding":[183],"ML":[185],"abstract:":[192],"programmers":[194],"not":[196,230],"fear":[197],"leaks.":[199],"show":[201],"examples":[202],"combined":[204],"programs":[205],"demonstrating":[206],"in-place":[207],"memory":[208],"updates":[209],"safe":[211],"resource":[212],"handling,":[213],"implementation":[216],"extending":[217],"OCaml":[218],"language.":[222],"These":[223],"keywords":[224,240],"were":[225],"added":[226],"machine":[228],"authors.":[233],"process":[235],"experimental":[237],"may":[241],"updated":[243],"as":[244],"learning":[246],"algorithm":[247],"improves.":[248]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2019-07-30T00:00:00"}