{"id":"https://openalex.org/W4251921850","doi":"https://doi.org/10.1145/2692915.2628157","title":"Concurrent NetCore: from policies to pipelines","display_name":"Concurrent NetCore: from policies to pipelines","publication_year":2014,"publication_date":"2014-08-19","ids":{"openalex":"https://openalex.org/W4251921850","doi":"https://doi.org/10.1145/2692915.2628157"},"language":"en","primary_location":{"id":"doi:10.1145/2692915.2628157","doi":"https://doi.org/10.1145/2692915.2628157","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2692915.2628157","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGPLAN Notices","raw_type":"journal-article"},"parent_works":[],"lineage":["https://openalex.org/W4251921850"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012489417","display_name":"Cole Schlesinger","orcid":"https://orcid.org/0009-0004-9350-3041","observed_orcids":["https://orcid.org/0009-0004-9350-3041"]},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cole Schlesinger","raw_affiliation_strings":["Princeton University, Princeton, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075185353","display_name":"Michael Greenberg","orcid":"https://orcid.org/0000-0003-0014-7670","observed_orcids":["https://orcid.org/0000-0003-0014-7670"]},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Greenberg","raw_affiliation_strings":["Princeton University, Princeton, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049454219","display_name":"David Walker","orcid":"https://orcid.org/0000-0003-3681-149X","observed_orcids":["https://orcid.org/0000-0003-3681-149X"]},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Walker","raw_affiliation_strings":["Princeton University, Princeton, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":1.2485,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81944058,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"49","issue":"9","first_page":"11","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9442999958992004,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9442999958992004,"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/T10126","display_name":"Logic, programming, and type systems","score":0.03319999948143959,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.0027000000700354576,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"software-defined networking","score":0.9570000171661377},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.7720000147819519},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"denotational semantics","score":0.9779999852180481},{"id":"https://openalex.org/keywords/strong-normalization","display_name":"strong normalization","score":0.8939999938011169},{"id":"https://openalex.org/keywords/determinism","display_name":"determinism","score":0.9800000190734863},{"id":"https://openalex.org/keywords/switch-configuration","display_name":"switch configuration","score":0.49799999594688416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8720389604568481},{"id":"https://openalex.org/C2779581428","wikidata":"https://www.wikidata.org/wiki/Q7122997","display_name":"Packet processing","level":3,"score":0.6419100165367126},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6011342406272888},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5947909951210022},{"id":"https://openalex.org/C113508815","wikidata":"https://www.wikidata.org/wiki/Q193446","display_name":"Packet switching","level":3,"score":0.5122770667076111},{"id":"https://openalex.org/C192697461","wikidata":"https://www.wikidata.org/wiki/Q4045918","display_name":"OpenFlow","level":3,"score":0.5016863346099854},{"id":"https://openalex.org/C44010500","wikidata":"https://www.wikidata.org/wiki/Q1422567","display_name":"Source routing","level":5,"score":0.4872511923313141},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.4332563281059265},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4307655394077301},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.38655877113342285},{"id":"https://openalex.org/C184896649","wikidata":"https://www.wikidata.org/wiki/Q290066","display_name":"Routing table","level":4,"score":0.37410467863082886},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3559231162071228},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.19581788778305054},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2692915.2628157","doi":"https://doi.org/10.1145/2692915.2628157","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2692915.2628157","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGPLAN Notices","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.649.5195","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.5195","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.princeton.edu/~mg19/papers/icfp2014_cnc.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3523499092","display_name":null,"funder_award_id":"CNS-1111520","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G6317947964","display_name":null,"funder_award_id":"N00014-12-1-0757","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8929602251","display_name":"SHF:Small:Language Support for Ad Hoc Data Processing","funder_award_id":"1016937","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"},{"id":"https://openalex.org/F4320309327","display_name":"Google","ror":"https://ror.org/00njsd438"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1590488181","https://openalex.org/W1994926493","https://openalex.org/W2104255209","https://openalex.org/W2116995348","https://openalex.org/W2124497098","https://openalex.org/W2126822952","https://openalex.org/W2130210899","https://openalex.org/W2134519279","https://openalex.org/W2138230945","https://openalex.org/W2147118406","https://openalex.org/W4234045312","https://openalex.org/W4255282609"],"related_works":["https://openalex.org/W7098188908","https://openalex.org/W2047339217","https://openalex.org/W2520416542","https://openalex.org/W1506892988","https://openalex.org/W2686076845","https://openalex.org/W7096742570","https://openalex.org/W7097276729","https://openalex.org/W2522859163","https://openalex.org/W2106863923"],"abstract_inverted_index":{"In":[0,141],"a":[1,5,11,22,125,131,150,186,218,231,274],"Software-Defined":[2],"Network":[3],"(SDN),":[4],"central,":[6],"computationally":[7,15],"powerful":[8],"controller":[9,20,50,146],"manages":[10],"set":[12],"of":[13,157,199,245,257,264],"distributed,":[14],"simple":[16],"switches":[17,58],".":[18],"The":[19],"computes":[21],"policy":[23,62],"describing":[24,152],"how":[25],"each":[26,36,113],"switch":[27,37,93,122,132,149,174],"should":[28],"route":[29],"packets":[30],"and":[31,54,85,103,117,155,197,210,225,251,268,271,281],"populates":[32],"packet-processing":[33,101,200,214],"tables":[34,98,161],"on":[35],"with":[38,95,170,230],"rules":[39,56],"to":[40,52,59,71,284],"enact":[41],"the":[42,49,61,66,109,136,142,145,148,153,158,166,173,223,255,258,266,285],"routing":[43,195,282],"policy.":[44],"As":[45],"network":[46],"conditions":[47],"change,":[48],"continues":[51],"add":[53],"remove":[55],"from":[57],"adjust":[60],"as":[63,73,82],"needed.":[64],"Recently,":[65],"SDN":[67,127],"landscape":[68],"has":[69],"begun":[70],"change":[72],"several":[74,242],"proposals":[75],"for":[76,99,193,206,222],"new,":[77,187],"reconfigurable":[78,121],"switching":[79],"architectures,":[80],"such":[81],"RMT":[83,267,286],"[5]":[84],"FlexPipe":[86,269],"[14]":[87],"have":[88],"emerged.":[89],"These":[90,120],"platforms":[91],"provide":[92],"programmers":[94,106],"many,":[96],"flexible":[97],"storing":[100],"rules,":[102],"they":[104],"offer":[105],"control":[107],"over":[108],"packet":[110,159],"fields":[111],"that":[112,278],"table":[114],"can":[115,175],"analyze":[116],"act":[118],"on.":[119],"architectures":[123,270],"support":[124],"richer":[126],"model":[128,221,228,234],"in":[129],"which":[130],"configuration":[133,143],"phase":[134,139],"precedes":[135],"rule":[137],"population":[138,167],"[4].":[140],"phase,":[144],"sends":[147],"graph":[151],"layout":[154],"capabilities":[156],"processing":[160],"it":[162],"will":[163],"require":[164],"during":[165],"phase.":[168],"Armed":[169],"this":[171,227],"foreknowledge,":[172],"allocate":[176],"its":[177],"hardware":[178],"(or":[179],"software)":[180],"resources":[181],"more":[182],"efficiently.":[183],"We":[184,216,239],"present":[185],"typed":[188],"language,":[189,259],"called":[190],"Concurrent":[191,202],"NetCore,":[192],"specifying":[194,207],"policies":[196,283],"graphs":[198,280],"tables.":[201,215],"NetCore":[203],"includes":[204],"features":[205],"sequential,":[208],"conditional":[209],"concurrent":[211],"control-flow":[212],"between":[213],"develop":[217,261],"fine-grained":[219],"operational":[220],"language":[224],"prove":[226,241],"coincides":[229],"higher-level":[232],"denotational":[233],"when":[235],"programs":[236],"are":[237],"well-typed.":[238],"also":[240],"additional":[243],"properties":[244],"well-typed":[246],"programs,":[247],"including":[248],"strong":[249],"normalization":[250],"determinism.":[252],"To":[253],"illustrate":[254],"utility":[256],"we":[260,272],"linguistic":[262],"models":[263],"both":[265],"give":[273],"multi-pass":[275],"compilation":[276],"algorithm":[277],"translates":[279],"model.":[287]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-11-14T11:04:58.165337","created_date":"2022-05-12T00:00:00"}