鵝
歷
㊪
類
簽
☌
⇡

Categories

• beauty and the beast 3
• networking 89
• programming 6
• database 52
• automated reasoning 3
• 不亦说乎 4
• system 4
• theory 1
• misc 2

beauty and the beast

• emacs
• bash
• jekyll

networking

• NetPilot: Automating Datacenter Network Failure Mitigation
• Automating network application dependency discovery: experiences, limitations, and new solutions
• SoftCell: Scalable and Flexible Cellular Core Network Architecture
• Internet Traffic Engineering by Optimizing OSPF Weights
• VeriCon: towards verifying controller programs in software defined networks
• Virtualizing the network forwarding plane
• There is more to IXPs than meets the eye
• Enabling End host Network Functions
• Rollback Recovery for Middleboxes
• Declarative and Expressive Approach to Control Forwarding Paths in Carrier Grade Networks
• SDN for the Cloud
• Network Wide Decision Making: Toward A Wafer Thin Control Plane
• A policy framework for integrated and differentiated services in the Internet
• Software Defined Networking Paradigms in Wireless Networks: A Survey
• OpenFlow Enabled Mobile and Wireless Networks
• VProof: Lightweight Privacy Preserving Vehicle Location Proofs
• SmartArgos: Improving Mobile Surveillance Systems with Software Defined Networks
• A survey of urban vehicular sensing platforms
• Vehicular Networking: A Survey and Tutorial on Requirements, Architectures, Challenges, Standards and Solutions
• Dynamic Connectivity Management with an Intelligent Route Service Control Point
• Kandoo: A Framework for Efficient and Scalable Offloading of Control Applications
• OpenFlow: Enabling Innovation in Campus Networks
• The road to SDN: an intellectual history of programmable networks
• Compiling Path Queries in Software Defined Networks
• Reproducible network experiments using container based emulation
• Mining Policies From Enterprise Network Configuration
• Flow level State Transition as a New Switch Primitive for SDN
• ESPRES: Transparent SDN Update Scheduling
• High fidelity switch models for software defined network emulation
• A Network in a Laptop: Rapid Prototyping for Software Defined Networks
• Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility
• Exploring Controller Area Networks
• A General Approach to Network Configuration Analysis
• Abstractions for Network Update
• Model Checking Invariant Security Properties in OpenFlow
• Software transactional networking: concurrent and consistent policy composition
• Anatomy of a Large European IXP
• Improiving Network Management with Software Defined Networking
• SDX: A Software Defined Internet Exchange
• Network Service Header draft ietf sfc nsh 01
• Network management by delegation: the MAD approach
• Network Virtualization in Multi tenant Datacenters
• Networking: The Last Bastion of Mainframe Computing
• Software Defined Internet Architecture: Decoupling Architecture from Infrastructure
• The Design and Implementation of Open vSwitch
• Beehive: Towards a Simple Abstraction for Scalable Software Defined Networking
• Declarative Routing: Extensible Routing with Declarative Queries
• Tierless Programming and Reasoning for Software Defined Networks
• NetKAT: Semantic Foundations for Networks
• Onix: A Distributed Control Platform for Large scale Production Networks
• Resilient Distributed Datasets: A Fault Tolerant. Abstraction for In Memory Cluster Computing
• Discovering Dependencies for Network Management
• Stratos: A Network Aware Orchestration Layer for Virtual Middleboxes in Clouds
• CONMan: Taking the Complexity out of Network Management
• FlowVisor: A Network Virtualization Layer
• HERCULES: Integrated Control Framework for Datacenter Traffic Management
• Corybantic: Towards the Modular Composition of SDN Control Programs
• Carving Research Slices Out of Your Production Networks with OpenFlow
• Splendid Isolation: A Slice Abstraction for Software Defined Networks
• Simplifying network administration using policy based management
• CoVisor: A Compositional Hypervisor for Software Defined Networks
• A Clean Slate 4D Approach to Network Control and Management
• A Compiler and Run time System for Network Programming Languages
• Micro Load Balancing in Data Centers with DRILL
• An Integrated Experimental Environment for Distributed Systems and Networks
• The Preliminary Design and Implementation of the Maestro Network Control Platform
• Rethinking Enterprise Network Control
• NOX: Towards an Operating System for Networks
• A Knowledge Plane for the Internet
• Towards Systematic Design of Enterprise Networks
• Practical Declarative Network Management
• Kinetic: Verifiable Dynamic Network Control
• A Network-state Management Service
• PGA: Using Graphs to Express and Automatically Reconcile Network Policies
• Merlin: A Language for Provisioning Network Resources
• The SoftRouter Architecture
• FIND Observer Panel Report April, 2009
• Shedding light on the glue logic of the Internet routing architecture
• New Frontiers in Internet Network Management
• Plug-n-Serve: Load Balancing Web Traffic using OpenFlow
• FlowTags: Enforcing Network Wide Policies in the Presence of Dynamic Middlebox Actions
• Dynamic Placement of Virtual Machines for Managing SLA Violations
• Participatory Networking: An API for Application Control of SDNs
• FatTire: Declarative Fault Tolerance for Software Defined Networks
• Real Time Network Policy Checking using Header Space Analysis
• Composing Software Defined Networks
• Modular SDN Programming with Pyretic
• ONOS: Towards an Open, Distributed SDN OS
• Leveraging SDN Layering to Systematically Troubleshoot Networks

programming

• Aspect oriented programming ECOOP
• Logic Programming
• Relational Lenses: A Language for Updatable Views
• On the Criteria To Be Used in Decomposing Systems into Modules
• Aspect Oriented Programming
• Aspect Oriented Programming is Quantification and Obliviousness

database

• concurrency control and recovery in database systems
• An Algorithm for Concurrency Control and Recovery in Replicated Distributed Databases
• Transactions and consistency in distributed database systems
• chapter 3 complementary and independent views
• An Authorization Mechanism for a Relational Database System
• Access control in a relational data base management system by query modification
• Rethinking Eventual Consistency
• The Integration of Rule Systems and Database Systems
• Deriving Production Rules for Constraint Maintenance
• Local ambiguity and derived data update
• View based Data Integration
• Data Integration: A Theoretical Perspective
• Architecture of a Database System
• A federated architecture for information management
• Updating derived relations: detecting irrelevant and autonomously computable updates
• Implementation of integrity constraints and views by query modification
• An overview of query optimization in relational systems
• How Schema Independent Are Schema Free Query Interfaces?
• Query containment for data integration systems
• Protocols for Integrity Constraint Checking in Federated Databases
• A principle for resilient sharing of distributed resources
• The programmer as navigator
• Declarative Networking: Language, Execution and Optimization
• Views for Multilevel Database Security
• MauveDB: Supporting Model based User Views in Database Systems
• Maintaining views incrementally
• Human Factors Studies of Database Query Languages: A Survey and Assessment
• Active Database Systems (Widom)
• Databases: DB10 Indexes and Transactions
• Data Independence and Database Views
• The TSIMMIS Project: Integration of Heterogenous Information Sources
• Reconciling while Tolerating Disagreement in. Collaborative Data Sharing
• A relational model of data for large shared data banks
• The impact of the constant complement approach towards view updating
• Database System Concepts
• Relational database: a practical foundation for productivity
• ORCHESTRA: Rapid, Collaborative Sharing of Dynamic Data
• Data sharing in group work
• Alice book
• Schema Mediation in Peer Data Management Systems
• Provenance and Data Synchronization
• Orchestra: Facilitating Collaborative Data Sharing
• On Rules, Procedures, Caching and Views In Database Systems
• Virtual Schemas and Bases
• Cologne: A Declarative Distributed Constraint Optimization Platform
• Active Database Systems
• Views, Objects, and. Databases
• Interoperability of multiple autonomous databases
• Operating System Support for Database Management
• Gigascope: High Performance Network Monitoring with an. SQL Interface
• Gigascope: A Stream Database for Network Applications
• Maintenance of Materialized Views Problems Techniques and Applications

automated reasoning

• Automated Theorem Proving
• STOKE: Program Optimization and Synthesis using Randomized Search
• Checking beliefs in dynamic networks

不亦说乎

• Discovering Dependencies for Network Management
• A Clean Slate 4D Approach to Network Control and Management
• Micro Load Balancing in Data Centers with DRILL
• A Network-state Management Service

system

• Making Big Data Processing Simple with Spark
• The Rise and Fall of the Operating System
• Arrakis: The Operating System is the Control Plane
• Mesos: A Platform for Fine Grained Resource Sharing in the Data Center

theory

• Automata, Computability, and Complexity Or, Great Ideas in Theoretical Computer Science

misc

• Will Computers Redefine the Roots of Math?
• 50 years of Data Science