pith. sign in

Nate Foster

Identifiers

  • name variant Nate Foster 0.60 · backfill

Papers (16)

  1. NEST: Network Enforced Session Types (Technical Report) cs.PL · 2026 · author #6
  2. Weighted NetKAT: A Programming Language For Quantitative Network Verification cs.PL · 2026 · author #5
  3. Building Better Environments for Autonomous Cyber Defence cs.CR · 2026 · author #12
  4. How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 cs.PL · 2019 · author #3
  5. Scalable Verification of Probabilistic Networks cs.PL · 2019 · author #4
  6. NetChain: Scale-Free Sub-RTT Coordination (Extended Version) cs.DC · 2018 · author #4
  7. Probabilistic Program Equivalence for NetKAT cs.PL · 2017 · author #3
  8. Cantor meets Scott: Semantic Foundations for Probabilistic Networks cs.PL · 2016 · author #3
  9. Optimal Consistent Network Updates in Polynomial Time cs.NI · 2016 · author #2
  10. Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing cs.NI · 2016 · author #4
  11. Morpheus: Safe and Flexible Dynamic Updates for SDNs cs.NI · 2015 · author #3
  12. Event-Driven Network Programming cs.PL · 2015 · author #3
  13. A Fast Compiler for NetKAT cs.PL · 2015 · author #3
  14. Merlin: A Language for Provisioning Network Resources cs.NI · 2014 · author #7
  15. Efficient Synthesis of Network Updates cs.PL · 2014 · author #4
  16. The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis cs.DB · 2014 · author #7

Mentions

  • 1407.1199 #7 · backfill · confidence 0.70 Nate Foster
  • 1403.5843 #4 · backfill · confidence 0.70 Nate Foster
  • 1403.2307 #7 · backfill · confidence 0.70 Nate Foster

Frequent Coauthors