I couldn't quite tell what 'Bagpipe' refers to from the headline. That's a minor complaint as the site loads quickly and is very readable. As a suggestion: 'Bag

I couldn't quite tell what 'Bagpipe' refers to from the headline. That's a minor complaint as the site loads quickly and is very readable. As a suggestion: 'Bagpipe: a DSL enabling verification [...]' would have cleared things up for me. For others who might have the same issue: Bagpipe enables ISP administrators to express BGP policies in a domain-specific specification language and verify that he ISP’s router configurations implement these policies.