https://natefoster.org/portfolio/portfolio-1/ https://natefoster.org/portfolio/portfolio-2/ https://natefoster.org/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://natefoster.org/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://natefoster.org/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://natefoster.org/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://natefoster.org/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://natefoster.org/talks/2012-03-01-talk-1 2012-03-01T00:00:00-08:00 https://natefoster.org/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00-08:00 https://natefoster.org/talks/2014-02-01-talk-2 2014-02-01T00:00:00-08:00 https://natefoster.org/talks/2014-03-01-talk-3 2014-03-01T00:00:00-08:00 https://natefoster.org/teaching/2014-spring-teaching-1 2014-01-01T00:00:00-08:00 https://natefoster.org/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://natefoster.org/ https://natefoster.org/archive-layout-with-content/ https://natefoster.org/bellairs22/ https://natefoster.org/bio/ https://natefoster.org/calendar/ https://natefoster.org/categories/ https://natefoster.org/collection-archive/ https://natefoster.org/cv/ https://natefoster.org/markdown/ https://natefoster.org/news/ https://natefoster.org/non-menu-page/ https://natefoster.org/page-archive/ https://natefoster.org/portfolio/ https://natefoster.org/publications/ https://natefoster.org/sitemap/ https://natefoster.org/students/ https://natefoster.org/tags/ https://natefoster.org/talkmap.html https://natefoster.org/talks/ https://natefoster.org/tapopf21/ https://natefoster.org/teaching/ https://natefoster.org/teaching/ https://natefoster.org/terms/ https://natefoster.org/year-archive/ https://natefoster.org/markdown_generator/ https://natefoster.org/cv.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/files/paper1.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/files/paper2.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/files/paper3.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/images/sloan.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/2014-10-onug.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/FJ-document.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/FJ-outline.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/ancile.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/avenir-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/avenir.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/boomerang-popl.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/boomerang-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/boomerang-tr.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/boomerang.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/cantor-scott.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/capisce-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/capisce.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/causal-network-telemetry.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/cl-diss.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/complementary-ssgip12.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/consistent-updates-hotnets11.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/consistent-updates-sigcomm12.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/conveyances-yjolt.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/conveyances.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/conveyances19.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/cpg-lada.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/cpg-lada12.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dagstuhl-tutorial.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dbir05-poster.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/debull-jnfoster-gkarvoun.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dissertation-proposal.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dsu-correct-draft.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dsu-correct-vstte12.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dsu-correct.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dtts-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/dtts.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/edgewise.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/focal-popl.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/focal-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/focal-toplas.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/focal-tr.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/focal.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/forest-draft.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/forest-icfp.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/forest-icfp11.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/formal-foundations-ons13.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/formal-scheduling-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/formal-scheduling.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/formlenses.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/foster-icfp-deep-programmability.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-change.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-compiler.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-consistent-updates.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-draft.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-event-driven-pldi16.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-fattire.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-felix-sosr16.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-hotnets11.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-hotswap.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-icfp-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-icfp.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-lada.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-lada12.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-morpheus-sosr16.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-netkat.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-plday-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-presto-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-presto.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-update-synthesis-pldi15.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-update-synthesis.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-verified-controllers-ons.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/frenetic-verified-controllers.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/ftl.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/gkat.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/grace-report.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hardware-burger.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/homeostasis.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hps-app.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hps-diss-slides.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hps-diss.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hps-paper1.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hps-paper2.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hps-paper3.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/hydra.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/incremental-forest.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-cv.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-dissertation-defense.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-dissertation-nocolor.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-dissertation-proposal.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-dissertation.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-job-talk.pdf 2026-01-01T06:29:31-08:00 https://natefoster.org/papers/jnfoster-research.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/jnfoster-teaching.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/katch-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/katch.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/leapfrog.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/lenses-toplas-final.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/lenses.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/linear-road.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/looj-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/looj.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/lstar-with-blanks-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/lstar-with-blanks.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/matching-lenses-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/matching-lenses-tr.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/matching-lenses.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/mcnetkat.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/merlin-hotnets13.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/merlin.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/microp4.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/msr15-talk.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/ndcts-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/ndcts.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/nepls-schema-sync-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netcache.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netchain.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netcore-popl12.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netkat-coalgebra.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netkat-compiler-icfp15.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netkat-compiler.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/netkat-popl14.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/nklstar.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/onward-provenance.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/optimal-repair.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/optimal-updates.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/p4cub.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/p4fpga.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/p4testgen.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/p4v.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/packet-subscriptions.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/pads-first-class.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/pcnc.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/petr4.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/pi4.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/picnic.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/predictive-treaties.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/probnetkat.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/pronto-ccr.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/pyretic-nsdi13.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/quotient-lenses-icfp.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/quotient-lenses-plday-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/quotient-lenses-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/quotient-lenses-tr.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/quotient-lenses.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/safep4.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/schema-sync-dbpl.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/schema-sync-full.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/schema-sync-jcss.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/schema-sync-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/schema-sync.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/sdn-abstractions.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/smore.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/sop.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/splendid-isolation-hotsdn12.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/splendid-isolation.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/ssgip-bidirectional.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/stackat.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/sync-provenance.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/tracking-integrity.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/txforest.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/updatable-security-views-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/updatable-security-views.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/verified-controllers-pldi13.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/williams-thesis.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/wpe2-final.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/wpe2.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/xml-provenance.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/xquery-maintenance-slides.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/xquery-maintenance.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/papers/yates.pdf 2026-01-01T06:29:32-08:00 https://natefoster.org/talkmap/map.html 2026-01-01T06:29:32-08:00