Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Nate Foster
Map detail
Nate Foster10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNate FosterANate FosterResearcherOptimal Consistent Network Updates in Polynomial TimeWOptimal Consistent Netw...preprint / 2016Morpheus: Safe and Flexible Dynamic Updates for SDNsWMorpheus: Safe and Flex...preprint / 2015Event-Driven Network ProgrammingWEvent-Driven Network Pr...preprint / 2016A Fast Compiler for NetKATWA Fast Compiler for NetKATpreprint / 2015Dependently-Typed Data Plane ProgrammingWDependently-Typed Data ...preprint / 2022Toward Synthesis of Network UpdatesWToward Synthesis of Net...preprint / 2014Efficient Synthesis of Network UpdatesWEfficient Synthesis of ...preprint / 2015Merlin: A Language for Provisioning Network ResourcesWMerlin: A Language for ...preprint / 2014The Homeostasis Protocol: Avoiding Transaction Coordination Through Program AnalysisWThe Homeostasis Protoco...preprint / 2015
Person9 links

Nate Foster

Researcher