Vernon, Mary K.

Eager, D., Vernon, M., & Zahorjan, J., "Optimal and Efficient Merging Schedules for Video-on-Demand Servers," Proc. 7th ACM Multimedia Conf. (Multimedia '99), Orlando, pp. 199-202, 1999.
Sundaram-Stukel, D. & Vernon, M.K., "Predictive Analysis of a Wavefront Application Using LogGP," Proc. 7th ACM SIGPLAN Symp. on Principles and Practices of Parallel Programming (PPoPP '99), Atlanta, GA, pp. 141-150, 1999.
Eager, D., Vernon, M., & Zahorjan, J., "Bandwidth Skimming: A Technique for Cost-Effective Video-on-Demand," Proc. Multimedia Computing and Networking 2000 (MMCN'00), San Jose, CA, 2000.
Krishnamurthy, A., Suri, R., & Vernon, M.K., "A New Approach for Analyzing Queueing Models of Material Control Strategies in Manufacturing Systems," Proc. 4th Int'l. Workshop on Queueing Netwoerks with Finite Capacity (QNETs2000), West Yorkshire, UK, 2000.
Eager, D.L., Sorin, D.J., & Vernon, M.K., "AMVA Techniques for High Service Time Variability," Proc. ACM SIGMETRICS 2000 Int'l. Conf. on Measurement and Modeling of Computer Systems, Santa Clara, CA, 2000.
Krishnamurthy, A., Suri, R., & Vernon, M.K., "Push Can PErform Better than Pull for Flexible Manufacturing Systems with Multiple Products," Proc. Industrial Engineering Research Conf., Cleveland, OH, 2000.
Adve, V.S., Bagrodia, R., Browne, J.C., Deelman, E., Dube, A., Houstis, E., Rice, J., Sakellariou, R., Sundaram-Stukel, D., Teller, P.J., & Vernon, M.K., "POEMS: End-to-end Performance Design of Large Parallel Adaptive Computational Systems," IEEE Transactions on Software Engineering, Special Section of invited papers from the WOSP '98 Workshop, 26(11):1027-1048, 2000.
Eager, D.L., Ferris, M.C., & Vernon, M.K., "Optimized Caching in Systems with Heterogeneous Client Populations," Performance Evaluation, Special Issue on Internet Performance Modeling, pp. 163-185, 2000.
Chiang, S.-H. & Vernon, M., "Characteristics of a Large Shared Memory Production Workload," Proc. 7th Workshop on Job Scheduling Strategies for Parallel Processing, Cambrdige, MA, 2001.
Chiang, S.-H. & Vernon, M.K., "Production Job Scheduling for Parallel Shared Memory Systems," Proc. Int'l. Parallel and Distributed Processing Symp. 2001 (IPDPS 2001), San Francisco, 2001.
Mahanti, A., Eager, D.L., Vernon, M.K., & Sundaram-Stukel, D., "Scalable On-Demand Media Streaming with Packet Loss Recovery," Proc. ACM SIGCOMM Conf. on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM 2001), San Diego, pp. 97-108, 2001.
Almeida, J.M., Krueger, J., Eager, D.L., & Vernon, M.K., "Analysis of Educational Media Server Workloads," Proc. 11th Int'l. Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV 2001), 2001.
Almeida, J.M., Eager, D.L., & Vernon, M.K., "A Hybrid Caching Strategy for Streaming Media Files," Proc. Multimedia Computing and Networking 2001, San Jose, 2001.
Zhao, Y., Eager, D.L., & Vernon, M.K., "Efficient Delivery Techniques for Variable Bit Rate Multimedia," to appear in Proc. Multimedia Computing and Networking 2002, San Jose, 2002.

Selected Awards, Honors and Societies

Best Papers Award, 5th International Workshop on Multimedia Information Systems (MIS'99), Indian Wells, CA, October 21-23, 1999.
Vilas Associate, University of Wisconsin-Madison, 2000-2002.

Summary

Professor Vernon's research focuses on analytic performance modeling techniques and their application to computer system design issues, with an emphasis on design issues for streaming media delivery and caching, parallel architectures, distributed systems, security and trustworthiness. The modeling techniques developed together with graduate students, an undergraduate student, 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, complex parallel applications, parallel shared memory architectures (with complex modern processors), parallel processor scheduling policies, global memory management in NOWs, scalable on-demand continuous media delivery techniques, and optimized regional (proxy) caching strategies for large popular widely-shared data.

Copyright 2008 The Board of Regents of the University of Wisconsin System
Date last modified: 25-Jan-2008
Content by: vernon@ie.engr.wisc.edu
Accessibility

Web services
Thank you for visiting http://www.engr.wisc.edu/ie/faculty/vernon_mary.html

UPDATE PROFILE