|
Mary K. Vernon
Professor
| Home : Faculty | |
| Mary K. Vernon |
| Mary K. Vernon Professor |
| 4375 Computer Sciences and Statistics 1210 West Dayton Street Madison, WI 53706 |
 |
Tel: 608/262-7893/262-1204 E-mail: vernon@cs.wisc.edu |
BS, 1975, chemistry, University of California-Los Angeles
MS, 1979, computer science, University of California-Los Angeles
PhD, 1983, computer science, University of California-Los Angeles
techniques and applications of computer systems performance analysis, flexible manufacturing systems, network protocols, parallel architectures, cloud computing
Govindaraju, V., P. Djeu, K. Sankaralingam, M. K. Vernon, W. R. Mark, “Toward a Multicore Architecture for Real-time Ray-tracing”, Proc. 41st Annual IEEE/ACM Int’l. Symp. On Microarchitecture (MICRO 2008), November 2008, pp. 176-187.
Mudalige, G., M. K. Vernon, and S. Jarvis, “A Plug-and-Play Model for Evaluating Wavefront Computations on Parallel Architectures,” Proc. 22nd IEEE International Parallel and Distributed Processing Symp. (IPDPS 2008), Miami, April 2008, pp. 1-14.
Zhao, Y, D. L. Eager, and M. K. Vernon, "Scalable On-Demand Streaming of Non-linear Media", IEEE/ACM Trans. on Networking, Vol. 15, No. 5, Oct. 2007, pp. 1149-1162. (Earlier version is one of four Award Papers in Proc. 23rd Annual Joint Conf. of IEEE Computer and Communications Societies (Infocom 2004), Vol. 3, Hong Kong, March 2004, pp. 1522).
Kola, G., and M. K. Vernon, “Target Bandwidth Sharing Using Endhost Measures”, Performance Evaluation, Proc. 26th Int'l. Symp. on Computer Performance, Modeling, Measurements, and Evaluation (Performance 2007), Vol. 64, Nos. 9-12, October 2007, pp. 948-964.
Zhao, Y., D. L. Eager, and M. K. Vernon, "Network Bandwidth Requirements for Scalable On-demand Streaming", IEEE/ACM Trans. on Networking, Vol. 15, No. 4, Aug. 2007, pp. 878-891.
Suri, R., S. Sahu and M. K. Vernon, “Approximate Mean Value Analysis of Closed Queueing Networks with Multiple Server Stations”, Proc. 2007 Industrial Engineering Research Conf. (IERC 2007), G. Bayraksan, W. Lin, Y. son, and R. Wysk, eds., Nashville, May 2007.
Zhang, S. and M. K. Vernon, “Offline and Online Network Traffic Characterization”, Proc. IFIP TC6 Networking 2007, Lecture Notes in Computer Science 4479, edited by I.F. Akyildiz et al., Springer, Atlanta, May 2007.
Carlsson, N., D. L. Eager, and M. K. Vernon, "Multicast Protocols for Scalable On-Demand Download", Performance Evaluation, Vol. 63, No. 8/9, Oct. 2006, pp. 864-891.
Bethencourt, J., J. Franklin, and M. K. Vernon, "Mapping Internet Sensors with Probe Response Attacks", Best Paper Award, Proc. 14th USENIX Security Symp., Baltimore, Aug. 2005, pp. 193-208.
El Rakabawy, S. M., C. Lindemann, and M. K. Vernon, "Optimizing TCP Performance for Multihop Wireless Networks", Int’l. Conf. on Dependable Systems and Networks (DSN 2005), Yokohama, Japan, June 2005.
Mahanti, A., D. L. Eager, and M. K. Vernon, "Improving Multirate Congestion Control Using TCP Vegas", Computer Networks, Vol. 48, No.2, June 2005, pp. 113-136.
Klemm, A., C. Lindemann, M. K. Vernon, and O. P. Waldhorst, "Characterizing the Query Behavior in Peer-to-Peer File Sharing Systems", Proc. Internet Measurement Conf. (IMC 2004), Sicily, Oct. 2004, pp. 55-67.
Krishnamurthy, A., R. Suri, and M. K. Vernon, "Re-examining the Performance of MRP and Kanban Material Control Strategies for Multi-product Flexible Manufacturing Systems" Int'l. J, of Flexible Manufacturing Systems, August 2004.
Rubin, S., 1. Alderman, D. Parter, and M. K. Vernon, "Foundations for Intrusion Prevention", Practice of Information Technology and Communication, December 2004. (One of eight “best and most interesting” papers invited for journal publication from Proc. IEEE Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA 2004), Dortmund, Germany, July 2004.)
Professor Vernon's research focuses on analytic performance modeling techniques and their application to computer/communication/manufacturing system design, with an emphasis on design issues for streaming media delivery and caching, parallel architectures, distributed systems, . The modeling techniques developed together with graduate and undergraduate students, and faculty colleagues include:
-The Generalized Timed Petri Net (GTPM) (with Mark Holliday);
-Customized Approximate Mean Value Analysis (CMVA) (with Ed Lazowska and John Zahorjan);
-Deterministic task graph analysis (with Vikram Adve);
-Interpolation approximations for evaluating parallel processor scheduling policies (with Rajesh Mansharamani);
-LoPC (with Matthew Frank and Anant Agarwal); and
-Models for determining the proxy cache content that minimizes delivery cost for multicast streaming media (with Derek Eager and Michael Ferris)
Techniques have been validated and used to explore significant design issues for cache coherence protocols, bus arbitration protocols, mesh interconnection networks with wormhole routing, the Sequent Symmetry bus, the Cray UNICOS operating system semaphores, parallel system scheduling policies, global memory management, scalable on-demand video delivery protocols, optimized regional (proxy) caching strategies for large popular widely-shared data, a new Internet transport protocol, and co-design of high-throughput software and large multi-core parallel architectures.