Publications

Export 139 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Vanniamparampil AJ, Shneiderman B, Plaisant C, Rose A.  1998.  User Interface Reengineering: A Diagnostic Approach. Technical Reports of the Computer Science Department.
Van Horn D, Mairson HG.  2008.  Deciding kCFA is Complete for EXPTIME. ICFP '08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming. :275-282.
Van Horn D, Might M.  2011.  Systematic Abstraction of Abstract Machines. arXiv:1107.3539 [cs].
Van Horn D, Might M.  2011.  Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].
Van Horn D, Mairson HG.  2007.  Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
Van Horn D, Might M.  2010.  Abstracting Abstract Machines. arXiv:1007.4446 [cs].
Van Horn D, Mairson HG.  2008.  Flow Analysis, Linearity, and PTIME. Static Analysis. :255-269.
Van Horn D.  2009.  The complexity of flow analysis in higher-order languages.
Valancius V, Lumezanu C, Feamster N, Johari R, Vazirani VV.  2011.  How Many Tiers? Pricing in the Internet Transit Market SIGCOMM-Computer Communication Review. 41(4):194-194.
Valancius V, Kim H, Feamster N.  2010.  Transit portal: BGP connectivity as a service. ACM SIGCOMM Computer Communication Review. 40(4):463-464.
Valancius V, Feamster N.  2007.  Multiplexing BGP sessions with BGP-Mux. Proceedings of the 2007 ACM CoNEXT conference. :44:1–44:2-44:1–44:2.
Valancius V, Lumezanu C, Feamster N, Johari R, Vazirani VV.  2011.  Modeling Tiered Pricing in the Internet Transit Market. Arxiv preprint arXiv:1112.3740.
Valancius V, Feamster N, Johari R, Vazirani V.  2008.  MINT: a Market for INternet Transit. Proceedings of the 2008 ACM CoNEXT Conference. :70:1–70:6-70:1–70:6.
Valancius V, Feamster N, Rexford J, Nakao A.  2010.  Wide-area route control for distributed services. Proceedings of the 2010 USENIX conference on USENIX annual technical conference. :2-2.

Pages