http://wadaries.github.com/pages/Research_to_Read http://wadaries.github.com/pages/books/Road-less-traveled http://wadaries.github.com/pages/SDN-courses http://wadaries.github.com/pages/books/Tess http://wadaries.github.com/pages/books/The%20Narrative%20of%20Arthur%20Gordon%20Pym%20of%20Nantucket http://wadaries.github.com/pages/books/The-Catcher-in-the-Rye http://wadaries.github.com/pages/archive http://wadaries.github.com/atom.xml http://wadaries.github.com/pages/cache http://wadaries.github.com/categories http://wadaries.github.com/cn.index http://wadaries.github.com/ http://wadaries.github.com/pages/jokes http://wadaries.github.com/pages/tools/macos http://wadaries.github.com/pages/tools/misc http://wadaries.github.com/pages http://wadaries.github.com/pages/tools/python http://wadaries.github.com/rss.xml http://wadaries.github.com/search http://wadaries.github.com/sitemap.txt http://wadaries.github.com/pages/tools/sql http://wadaries.github.com/tags http://wadaries.github.com/pages/talk http://wadaries.github.com/pages/test http://wadaries.github.com/pages/cn/%E4%B8%AD%E5%9B%BD%E6%96%87%E5%AD%97%E7%BB%93%E6%9E%84%E9%80%89%E8%A7%A3 http://wadaries.github.com/pages/cn/%E6%99%9A%E6%98%8E%E6%80%9D%E6%83%B3%E5%8F%B2%E8%AE%BA http://wadaries.github.com/2016/03/17/up-the-ladder http://wadaries.github.com/2016/03/01/shadow-configuration-as-a-network-management-primitive http://wadaries.github.com/2016/02/27/setup-jekyllbootcamp http://wadaries.github.com/2016/02/26/test-test http://wadaries.github.com/networking/2016/02/15/netpilot-automating-datacenter-network-failure-mitigation http://wadaries.github.com/networking/2016/02/15/automating-network-application-dependency-discovery-experiences-limitations-and-new-solutions http://wadaries.github.com/2016/01/21/ted http://wadaries.github.com/database/2016/01/11/concurrency-control-and-recovery-in-database-systems http://wadaries.github.com/database/2016/01/11/an-algorithm-for-concurrency-control-and-recovery-in-replicated-distributed-databases http://wadaries.github.com/database/2016/01/09/transactions-and-consistency-in-distributed-database-systems http://wadaries.github.com/networking/2016/01/07/softcell-scalable-and-flexible-cellular-core-network-architecture http://wadaries.github.com/networking/2016/01/01/internet-traffic-engineering-by-optimizing-ospf-weights http://wadaries.github.com/networking/2015/12/26/vericon-towards-verifying-controller-programs-in-software-defined-networks http://wadaries.github.com/networking/2015/12/25/virtualizing-the-network-forwarding-plane http://wadaries.github.com/networking/2015/12/25/there-is-more-to-ixps-than-meets-the-eye http://wadaries.github.com/database/2015/12/25/chapter-3-complementary-and-independent-views http://wadaries.github.com/programming/2015/12/25/aspect-oriented-programming-ecoop http://wadaries.github.com/networking/2015/12/24/enabling-end-host-network-functions http://wadaries.github.com/networking/2015/12/22/rollback-recovery-for-middleboxes http://wadaries.github.com/networking/2015/12/22/declarative-and-expressive-approach-to-control-forwarding-paths-in-carrier-grade-networks http://wadaries.github.com/networking/2015/12/21/sdn-for-the-cloud http://wadaries.github.com/networking/2015/12/21/network-wide-decision-making-toward-a-wafer-thin-control-plane http://wadaries.github.com/database/2015/12/21/an-authorization-mechanism-for-a-relational-database-system http://wadaries.github.com/networking/2015/12/21/a-policy-framework-for-integrated-and-differentiated-services-in-the-internet http://wadaries.github.com/database/2015/12/20/access-control-in-a-relational-data-base-management-system-by-query-modification http://wadaries.github.com/misc/2015/12/18/will-computers-redefine-the-roots-of-math http://wadaries.github.com/networking/2015/12/17/software-defined-networking-paradigms-in-wireless-networks-a-survey http://wadaries.github.com/networking/2015/12/17/openflow-enabled-mobile-and-wireless-networks http://wadaries.github.com/system/2015/12/17/making-big-data-processing-simple-with-spark http://wadaries.github.com/networking/2015/12/15/vproof-lightweight-privacy-preserving-vehicle-location-proofs http://wadaries.github.com/networking/2015/12/15/smartargos-improving-mobile-surveillance-systems-with-software-defined-networks http://wadaries.github.com/networking/2015/12/15/a-survey-of-urban-vehicular-sensing-platforms http://wadaries.github.com/networking/2015/12/12/vehicular-networking-a-survey-and-tutorial-on-requirements-architectures-challenges-standards-and-solutions http://wadaries.github.com/database/2015/12/12/rethinking-eventual-consistency http://wadaries.github.com/networking/2015/12/12/dynamic-connectivity-management-with-an-intelligent-route-service-control-point http://wadaries.github.com/system/2015/12/11/the-rise-and-fall-of-the-operating-system http://wadaries.github.com/networking/2015/12/10/kandoo-a-framework-for-efficient-and-scalable-offloading-of-control-applications http://wadaries.github.com/system/2015/12/10/arrakis-the-operating-system-is-the-control-plane http://wadaries.github.com/networking/2015/12/08/openflow-enabling-innovation-in-campus-networks http://wadaries.github.com/networking/2015/12/07/the-road-to-sdn-an-intellectual-history-of-programmable-networks http://wadaries.github.com/networking/2015/12/07/compiling-path-queries-in-software-defined-networks http://wadaries.github.com/networking/2015/12/06/reproducible-network-experiments-using-container-based-emulation http://wadaries.github.com/networking/2015/12/06/mining-policies-from-enterprise-network-configuration http://wadaries.github.com/networking/2015/12/06/flow-level-state-transition-as-a-new-switch-primitive-for-sdn http://wadaries.github.com/networking/2015/12/06/espres-transparent-sdn-update-scheduling http://wadaries.github.com/misc/2015/12/06/50-years-of-data-science http://wadaries.github.com/networking/2015/12/05/high-fidelity-switch-models-for-software-defined-network-emulation http://wadaries.github.com/networking/2015/12/05/a-network-in-a-laptop-rapid-prototyping-for-software-defined-networks http://wadaries.github.com/networking/2015/12/02/millions-of-little-minions-using-packets-for-low-latency-network-programming-and-visibility http://wadaries.github.com/networking/2015/12/02/exploring-controller-area-networks http://wadaries.github.com/networking/2015/11/30/a-general-approach-to-network-configuration-analysis http://wadaries.github.com/database/2015/11/25/the-integration-of-rule-systems-and-database-systems http://wadaries.github.com/database/2015/11/25/deriving-production-rules-for-constraint-maintenance http://wadaries.github.com/networking/2015/11/25/abstractions-for-network-update http://wadaries.github.com/database/2015/11/24/local-ambiguity-and-derived-data-update http://wadaries.github.com/networking/2015/11/23/model-checking-invariant-security-properties-in-openflow http://wadaries.github.com/networking/2015/11/21/software-transactional-networking-concurrent-and-consistent-policy-composition http://wadaries.github.com/networking/2015/11/19/anatomy-of-a-large-european-ixp http://wadaries.github.com/database/2015/11/18/view-based-data-integration http://wadaries.github.com/networking/2015/11/18/improiving-network-management-with-software-defined-networking http://wadaries.github.com/database/2015/11/18/data-integration-a-theoretical-perspective http://wadaries.github.com/networking/2015/11/16/sdx-a-software-defined-internet-exchange http://wadaries.github.com/networking/2015/11/16/network-service-header-draft-ietf-sfc-nsh-01 http://wadaries.github.com/database/2015/11/16/architecture-of-a-database-system http://wadaries.github.com/database/2015/11/16/a-federated-architecture-for-information-management http://wadaries.github.com/programming/2015/11/15/logic-programming http://wadaries.github.com/networking/2015/11/13/network-management-by-delegation-the-mad-approach http://wadaries.github.com/database/2015/11/12/updating-derived-relations-detecting-irrelevant-and-autonomously-computable-updates http://wadaries.github.com/automated%20reasoning/2015/11/12/automated-theorem-proving http://wadaries.github.com/networking/2015/11/09/network-virtualization-in-multi-tenant-datacenters http://wadaries.github.com/database/2015/11/08/implementation-of-integrity-constraints-and-views-by-query-modification http://wadaries.github.com/database/2015/11/08/an-overview-of-query-optimization-in-relational-systems http://wadaries.github.com/networking/2015/11/04/networking-the-last-bastion-of-mainframe-computing http://wadaries.github.com/database/2015/11/04/how-schema-independent-are-schema-free-query-interfaces http://wadaries.github.com/theory/2015/11/04/automata-computability-and-complexity http://wadaries.github.com/networking/2015/11/01/software-defined-internet-architecture-decoupling-architecture-from-infrastructure http://wadaries.github.com/database/2015/11/01/query-containment-for-data-integration-systems http://wadaries.github.com/database/2015/11/01/protocols-for-integrity-constraint-checking-in-federated-databases http://wadaries.github.com/database/2015/11/01/a-principle-for-resilient-sharing-of-distributed-resources http://wadaries.github.com/database/2015/10/30/the-programmer-as-navigator http://wadaries.github.com/networking/2015/10/29/the-design-and-implementation-of-open-vswitch http://wadaries.github.com/automated%20reasoning/2015/10/29/stoke-program-optimization-and-synthesis-using-randomized-search http://wadaries.github.com/networking/2015/10/29/beehive-towards-a-simple-abstraction-for-scalable-software-defined-networking http://wadaries.github.com/networking/2015/10/28/declarative-routing-extensible-routing-with-declarative-queries http://wadaries.github.com/database/2015/10/28/declarative-networking-language-execution-and-optimization http://wadaries.github.com/networking/2015/10/27/tierless-programming-and-reasoning-for-software-defined-networks http://wadaries.github.com/networking/2015/10/26/netkat-semantic-foundations-for-networks http://wadaries.github.com/database/2015/10/23/views-for-multilevel-database-security http://wadaries.github.com/networking/2015/10/23/onix-a-distributed-control-platform-for-large-scale-production-networks http://wadaries.github.com/database/2015/10/23/mauvedb-supporting-model-based-user-views-in-database-systems http://wadaries.github.com/networking/2015/10/22/resilient-distributed-datasets-a-fault-tolerant-abstraction-for-in-memory-cluster-computing http://wadaries.github.com/database/2015/10/22/maintaining-views-incrementally http://wadaries.github.com/database/2015/10/22/human-factors-studies-of-database-query-languages-a-survey-and-assessment http://wadaries.github.com/database/2015/10/22/active-database-systems-widom http://wadaries.github.com/networking/%E4%B8%8D%E4%BA%A6%E8%AF%B4%E4%B9%8E/2015/10/19/discovering-dependencies-for-network-management http://wadaries.github.com/database/2015/10/19/databases-db10-indexes-and-transactions http://wadaries.github.com/networking/2015/10/18/stratos-a-network-aware-orchestration-layer-for-virtual-middleboxes-in-clouds http://wadaries.github.com/networking/2015/10/18/conman-taking-the-complexity-out-of-network-management http://wadaries.github.com/networking/2015/10/17/flowvisor-a-network-virtualization-layer http://wadaries.github.com/programming/2015/10/16/relational-lenses-a-language-for-updatable-views http://wadaries.github.com/system/2015/10/16/mesos-a-platform-for-fine-grained-resource-sharing-in-the-data-center http://wadaries.github.com/networking/2015/10/16/hercules-integrated-control-framework-for-datacenter-traffic-management http://wadaries.github.com/database/2015/10/16/data-independence-and-database-views http://wadaries.github.com/networking/2015/10/16/corybantic-towards-the-modular-composition-of-sdn-control-programs http://wadaries.github.com/networking/2015/10/16/carving-research-slices-out-ofyour-production-networks-with-openflow http://wadaries.github.com/networking/2015/10/15/splendid-isolation-a-slice-abstraction-for-software-defined-networks http://wadaries.github.com/networking/2015/10/15/simplifying-network-administration-using-policy-based-management http://wadaries.github.com/networking/2015/10/15/covisor-a-compositional-hypervisor-for-software-defined-networks http://wadaries.github.com/networking/%E4%B8%8D%E4%BA%A6%E8%AF%B4%E4%B9%8E/2015/10/15/a-clean-slate-4d-approach-to-network-control-and-management http://wadaries.github.com/networking/2015/10/14/a-compiler-and-run-time-system-for-network-programming-languages http://wadaries.github.com/database/2015/10/13/the-tsimmis-project-integration-of-heterogenous-information-sources http://wadaries.github.com/database/2015/10/13/reconciling-while-tolerating-disagreement-in-collaborative-data-sharing http://wadaries.github.com/networking/%E4%B8%8D%E4%BA%A6%E8%AF%B4%E4%B9%8E/2015/10/13/micro-load-balancing-in-data-centers-with-drill http://wadaries.github.com/networking/2015/10/13/an-integrated-experimental-environment-for-distributed-systems-and-networks http://wadaries.github.com/database/2015/10/13/a-relational-model-of-data-for-large-shared-data-banks http://wadaries.github.com/networking/2015/10/12/the-preliminary-design-and-implementation-of-the-maestro-network-control-platform http://wadaries.github.com/database/2015/10/12/the-impact-of-the-constant-complement-approach-towards-view-updating http://wadaries.github.com/networking/2015/10/12/rethinking-enterprise-network-control http://wadaries.github.com/networking/2015/10/12/nox-towards-an-operating-system-for-networks http://wadaries.github.com/database/2015/10/12/database-system-concepts http://wadaries.github.com/networking/2015/10/12/a-knowledge-plane-for-the-internet http://wadaries.github.com/database/2015/10/11/relational-database-a-practical-foundation-for-productivity http://wadaries.github.com/database/2015/10/10/orchestra-rapid-collaborative-sharing-of-dynamic-data http://wadaries.github.com/database/2015/10/10/data-sharing-in-group-work http://wadaries.github.com/database/2015/10/10/alice-book http://wadaries.github.com/networking/2015/10/09/towards-systematic-design-of-enterprise-networks http://wadaries.github.com/database/2015/10/09/schema-mediation-in-peer-data-management-systems http://wadaries.github.com/database/2015/10/09/provenance-and-data-synchronization http://wadaries.github.com/networking/2015/10/09/practical-declarative-network-management http://wadaries.github.com/database/2015/10/09/orchestra-facilitating-collaborative-data-sharing http://wadaries.github.com/programming/2015/10/09/on-the-criteria-to-be-used-in-decomposing-systems-into-modules http://wadaries.github.com/database/2015/10/09/on-rules-procedures-caching-and-views-in-database-systems http://wadaries.github.com/networking/2015/10/09/kinetic-verifiable-dynamic-network-control http://wadaries.github.com/beauty%20and%20the%20beast/2015/10/08/emacs http://wadaries.github.com/networking/%E4%B8%8D%E4%BA%A6%E8%AF%B4%E4%B9%8E/2015/10/08/a-network-state-management-service http://wadaries.github.com/database/2015/10/07/virtual-schemas-and-bases http://wadaries.github.com/networking/2015/10/07/pga-using-graphs-to-express-and-automatically-reconcile-network-policies http://wadaries.github.com/networking/2015/10/06/merlin-a-language-for-provisioning-network-resources http://wadaries.github.com/database/2015/10/06/cologne-a-declarative-distributed-constraint-optimization-platform http://wadaries.github.com/database/2015/10/06/active-database-systems http://wadaries.github.com/database/2015/10/05/views-objects-and-databases http://wadaries.github.com/networking/2015/10/05/the-softrouter-architecture http://wadaries.github.com/database/2015/10/05/interoperability-of-multiple-autonomous-databases http://wadaries.github.com/networking/2015/10/05/find-observer-panel-report-april-2009 http://wadaries.github.com/networking/2015/10/04/shedding-light-on-the-glue-logic-of-the-internet-routing-architecture http://wadaries.github.com/database/2015/10/04/operating-system-support-for-database-management http://wadaries.github.com/networking/2015/10/04/new-frontiers-in-internet-network-management http://wadaries.github.com/automated%20reasoning/2015/10/04/checking-beliefs-in-dynamic-networks http://wadaries.github.com/networking/2015/10/03/plug-n-serve-load-balancing-web-traffic-using-openflow http://wadaries.github.com/database/2015/10/03/gigascope-high-performance-network-monitoring-with-an-sql-interface http://wadaries.github.com/database/2015/10/03/gigascope-a-stream-database-for-network-applications http://wadaries.github.com/networking/2015/10/03/flowtags-enforcing-network-wide-policies-in-the-presence-of-dynamic-middlebox-actions http://wadaries.github.com/networking/2015/10/03/dynamic-placement-of-virtual-machines-for-managing-sla-violations http://wadaries.github.com/beauty%20and%20the%20beast/2015/10/03/bash http://wadaries.github.com/networking/2015/10/02/participatory-networking http://wadaries.github.com/database/2015/10/02/maintenance-of-materialized-views-problems-techniques-and-applications http://wadaries.github.com/networking/2015/10/02/fattire-declarative-fault-tolerance-for-software-defined-networks http://wadaries.github.com/networking/2015/10/01/real-time-network-policy-checking-using-header-space-analysis http://wadaries.github.com/networking/2015/10/01/composing-software-defined-networks http://wadaries.github.com/networking/2015/09/30/modular-sdn-programming-with-pyretic http://wadaries.github.com/programming/2015/09/30/aspect-oriented-programming http://wadaries.github.com/programming/2015/09/30/aspect-oriented-programming-is-quantification-and-obliviousness http://wadaries.github.com/networking/2015/09/29/onos-towards-an-open-distributed-sdn-os http://wadaries.github.com/networking/2015/09/29/leveraging-sdn-layering-to-systematically-troubleshoot-networks http://wadaries.github.com/beauty%20and%20the%20beast/2015/09/29/jekyll