Computer Sciences Dept.

Mary K. Vernon

Professor of Computer Science
                  and Industrial Engineering
Picture of Mary K. Vernon
Research Interests: Techniques and applications of computer systems performance analysis, high performance network protocols, networked system security, parallel/distributed applications and architectures, Grid and cluster job scheduling.

Ph.D.: Computer Science, University of California - Los Angeles, 1983.

Mary Vernon is a Professor of Computer Science and Industrial Engineering at the University of Wisconsin-Madison. Her research targets the development and state-of-the-art application of computer systems performance modeling techniques that can be used to design new near-optimal computer/communication system architectures with known performance properties. She has made contributions to commercial bus arbiters, cache coherence protocols, mesh interconnection networks with wormhole routing, the Sequent Symmetry bus design, commercial memory system design methods, analysis of parallel shared memory system architectures, commercial operating system semaphore architectures, production parallel system job scheduling policies, the design of grid applications and middleware, near-optimal scalable video streaming protocols, media content delivery cost models, network security, network traffic characterization, reliable network transport (TCP) protcols, customized MVA modeling techniques, LogP modeling techniques, task graph analysis techniques, interpolation approximation techniques, workload characterization methods, and Petri net modeling techniques. Her current research includes development of analytic modeling methods, high performance network transport protocols, network traffic analysis and workload characterization, and optimized chip multiprocessor hardware/software co-design.

Vernon received the NSF Presidential Young Investigator Award in 1985, the ACM Fellow award in 1995 for "fundamental contributions to performance analysis of parallel computer architectures and for leadership in the computing research community", a UW-Madison Vilas Associate award in 2000, and the UW-Madison Kellett Midcareer Award in 2006. She is a co-inventor on two U.S. patents for bus arbitration protocols, and on four U.S. patents for streaming media delivery protocols. She has co-authored over 80 technical papers, including seven award papers (most recent: Sigcomm 2001, Infocom 2004, 2005 USENIX Security Symposium). She has served on the editorial boards of the IEEE Transactions on Parallel and Distributed Systems and the IEEE Transactions on Software Engineering, the 1993 NSF Blue Ribbon Panel for High Performance Computing, the NSF CISE Advisory Board, the CRA Board of Directors, on external review committees for various engineering colleges and computer science departments, and as Chair of the ACM SIGMETRICS.

Computer Sciences | UW Home