Publications
Export 139 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is V [Clear All Filters]
1998. User Interface Reengineering: A Diagnostic Approach. Technical Reports of the Computer Science Department.
2008. Deciding kCFA is Complete for EXPTIME. ICFP '08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming. :275-282.
2011. Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].
2007. Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
2008. MINT: a Market for INternet Transit. Proceedings of the 2008 ACM CoNEXT Conference. :70:1–70:6-70:1–70:6.
2010. Wide-area route control for distributed services. Proceedings of the 2010 USENIX conference on USENIX annual technical conference. :2-2.
2011. How Many Tiers? Pricing in the Internet Transit Market SIGCOMM-Computer Communication Review. 41(4):194-194.
2010. Transit portal: BGP connectivity as a service. ACM SIGCOMM Computer Communication Review. 40(4):463-464.
2007. Multiplexing BGP sessions with BGP-Mux. Proceedings of the 2007 ACM CoNEXT conference. :44:1–44:2-44:1–44:2.