Research

2005--2007: 'unified theory of policy-based routing'; 'internet routing policies'; 'TIE breaking'; 'tunable interdomain egress selection';

2000--2004: 'interdomain routing'; 'path vector protocols'; 'virtual private routed networks'; 'hot potato disruptions'; 'BGP convergence time'; 'planetlab nodes'; 'hot-potato routing in IP networks'; 'detection of IP forwarding anomalies'; 'correctness of IBGP configuration'; 'MED oscillation problem in BGP'; 'stable paths problem'; 'multiple data sources'; 'interdoman connectivity'; 'BGP beacons'; 'BGP wedgies'; 'incremental approach'; 'p61-griffindesign principles'; 'IP forwarding anamolies'; 'safe backup routing'; 'traffic data'; 'experimental analysis'; 'network sensitivity';

1995--1999: 'database transactions'; 'verifiable properties'; 'BGP convergence properties'; 'deferred view maintenance'; 'using redundant data to optimise read-intensive database applications'; 'implementing hypothetical queries'; 'incremental recomputation of active relational expressions'; 'algebraic change propagation'; 'policy disputes'; 'outerjoin queries'; 'algebraic approach'; 'improved algorithms';

1990--1994: 'formulae-as-types notion'; 'telecommunications switch'; 'integrity maintenance';

1985--1989: 'formal systems'; 'formal account'; 'interactive environments'; 'notational definitions';