reconcilable differences, penn copy
A Linear Logic Programming Language for Concurrent Programming over
Graph Structures
http://www.cs.cmu.edu/~fp/papers/iclp14.pdf
Advanced Analysis Techniques
course site: http://research.microsoft.com/en-us/events/z3dtu/
Oregon Programming Languages Summer School
with videos, notes,
2015, Frank Pfenning, Robert
Harper
https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html
Network Architecture for Joint Failure Recovery and Traffic Engineering
https://www.cs.princeton.edu/~jrex/papers/sigmetrics11.pdf
Random Early Detection Gateways for Congestion Avoidance
http://www.icir.org/floyd/papers/early.twocolumn.pdf
Stratos: A Network-Aware Orchestration Layer for Virtual
Middleboxes in Clouds
http://stratos.cs.wisc.edu/docs/stratos_technical_report.pdf
Active Switching: Packet Steering Flow Annotations
http://arxiv.org/pdf/1403.7115v1.pdf
cited 500-
cited 30+
cited 1300+