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.

Recent Publications

Topics:
CIPART: networked systems security
HPJS: job scheduling
POEMS: parallel/distributed applications and architectures
SWORD: scalable & reliable streaming

2007

SWORD Zhao, Y., D. L. Eager, and M. K. Vernon, "Scalable On-Demand Streaming of Non-Linear Media", IEEE/ACM Trans. on Networking, to appear. (pdf)
SWORD Kola, G. and M. K. Vernon, Target Bandwidth Sharing Using Endhost Measures, to appear in 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. (pdf: available by email request to cathy at cs.wisc.edu)
SWORD 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. (pdf)
SWORD &POEMS Zhang, S. and M. K. Vernon, Offline and Online Network Traffic Characterization, Lecture Notes in Computer Science 4479 (Proc. IFIP TC6 Networking 2007), I.F. Akyildiz et al., eds., Springer, May 2007. (pdf)
SWORD Suri, R., S. Sahu, and M. K. Vernon, Approximate Mean Value Analysis for 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. (pdf)

2006

SWORD 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. (pdf)
SWORD Kola, G. and M. K. Vernon, QuickProbe: Available Bandwidth Estimation in Two Roundtrips", Proc. ACM SIGMETRICS 2006/Performance 2006 Joint Int'l. Conf. on Measurement and Modeling of Computer Systems, St. Malo, June 2006, pp. 359-360. (pdf)

2005

CIPART Bethencourt, J., J. Franklin, and M. K. Vernon, "Mapping Internet Sensors with Probe Response Attacks", Awarded Best Paper in Proc. 14th USENIX Security Symp., Baltimore, Aug. 2005, pp. 193-208. (pdf)
SWORD Mahanti, A., D. L. Eager, and M. K. Vernon, "Improving Multirate Congestion Control Using a TCP Vegas Throughput Model", Computer Networks, Vol. 48, No. 2, June 2005, pp. 113-136. (pdf)
SWORD ElRakabawy, S. M., C. Lindemann, and M. K. Vernon, "Improving TCP Performance for Multihop Wireless Networks", Int'l. Conf. on Dependable Systems and Networks (DSN 2005), June 2005. (pdf)
SWORD Suri, R., R. Shinde, and M. Vernon, Using Fractional Numbers of Customers to Achieve Throughputs in Queueing Networks, Proc. Industrial Engineering Research Conf. 2005, Atlanta, May 2005. (pdf)

2004

SWORD 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 '04), Sicily, Oct. 2004. (pdf)
POEMS Krishnamurthy, A. , R. Suri, and M. K. Vernon, "Re-examining the Performance of MRP and Kanban Control Strategies for Multi-product Flexible Manufacturing Systems", Int'l. J. of Flexible Manufacturing Systems, Vol. 16, No. 2, Aug. 2004, pp. 123-150. (pdf)
CIPART Rubin, S. I., I. Alderman, D. Parter, and M. K. Vernon, "Foundations for Intrusion Prevention", Proc. IEEE Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA 2004), Dortmund, Germany, July 2004. (postscript, pdf)
One of "best and most interesting papers of DIMVA 2004" invited for publication in special issue of Practice of Information Technology and Communication, December 2004.
HPJS Chiang, S.-H. and M. K. Vernon, "Class-Partitioning Job Scheduling for Large-Scale Parallel Systems", Proc. 2004 Int'l. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'04), Las Vegas, June 2004. (postscript, pdf)
SWORD &POEMS Rai, I., G. Urvoy-Keller, M. K. Vernon, and E. Biersack, "Performance of LAS-based Scheduling Disciplines in a Packet Switched Network", Proc. ACM SIGMETRICS 2004/Performance 2004 Joint Int'l. Conf. on Measurement and Modeling of Computer Systems, New York, June 2004. (postscript, pdf)
SWORD Carlsson, N., D. L. Eager, and M. K. Vernon, "Multicast Protocols for Scalable On-Demand Download", Proc. ACM SIGMETRICS 2004/Performance 2004 Joint Int'l. Conf. on Measurement and Modeling of Computer Systems, New York, June 2004. (pdf)
Full version of this paper is published in Performance Evaluation, Oct. 2006. See the journal version above.
POEMS Krishnamurthy, A. , R. Suri, and M. K. Vernon, "Analysis of a Fork/Join Station with Inputs from Coxian Servers in a Closed Queueing Network", Annals of Operations Research Special Volume on Stochastic Models of Production-Inventory Systems, Vol. 125, 2004, pp. 69-94. (postscript, pdf)
SWORD Almeida, J. M., D. L. Eager, M. K. Vernon, and S. Wright, "Minimizing Delivery Cost in Scalable Streaming Content Distribution Systems", IEEE Trans. on Multimedia, Special Issue on Streaming Media, April 2004.
SWORD Zhao, Y., D. L. Eager, and M. K. Vernon, "Scalable On-Demand Streaming of Non-Linear Media", Proc. 23rd Annual Conf. IEEE Communications Society (Infocom 2004), Hong Kong, March 2004. (postscript, pdf)
(One of three papers selected by the Infocom 2004 PC for publication in IEEE/ACM Trans. on Networking. See the journal version above.)
One of four papers selected for fast-track publication in IEEE/ACM Transaction on Networking.
POEMS Adve, V. S., and M. K. Vernon, "Parallel Program Performance Prediction Using Deterministic Task Graph Analysis", ACM Trans. on Computer Systems (TOCS), Vol. 22, No. 1, Feb. 2004, pp. 94-136. (pdf)

2003

POEMS Krishnamurthy, A., R. Suri, and M. K. Vernon, "Two-Moment Approximations for Throughput and Mean Queue Length of a Fork/Join Station with General Input Processes", in Stochastic Modeling and Optimization of Manufacturing Systems Supply Chains, J. G. Shanthikumar, D. D. Yao, and W. H. M. Zijm (eds.), Kluwer, 2003, pp. 87-126. (postscript, pdf)
SWORD Samios, C. (Babis) and M. K. Vernon, "Modeling the Throughput of TCP Vegas", Proc. ACM SIGMETRICS 2003 Int'l. Conf. on Measurement and Modeling of Computer Systems (Sigmetrics 2003) San Diego, June 2003. (postscript, pdf)
POEMS Krishnamurthy, A., R. Suri, and M. K. Vernon, "Approximations for a Fork/Join Station with Inputs from Finite Populations", Proc. Industrial Engineering Research Conf., Portland, OR, May 2003. (postscript, pdf)

SWORD Mahanti, A., D. L. Eager, M. K. Vernon, and D. Sundaram-Stukel, "Scalable On-Demand Media Streaming with Packet Loss Recovery", IEEE/ACM Trans. on Networking, Vol. 11, No. 2, April 2003, pp. 195-209. (pdf)
One of three papers selected by the ACM SIGCOMM 2001 program committee.
POEMS Adve, V., J. Browne, B. Ensink, J. Rice, P. Teller, M. Vernon, and S. Wright, "An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid", Proc IPDPS 2003 Workshop on Next Generation Systems, Nice, France, April 2003.
POEMS Sorin, D. J., J. L. Lemon, D. L. Eager, and M. K. Vernon, "Analytic Evaluation of Shared Memory Architectures for Heterogeneous Applications", IEEE Trans. on Parallel and Distributed Systems, Vol. 14, No. 2, Feb. 2003. (postscript, pdf)

2002

SWORD Tan, H., D. L. Eager, and M. K. Vernon, "Delimiting the Effectiveness of Scalable Streaming Protocols", Proc. IFIP WG 7.3 22nd Int'l. Symp. on Computer Performance Modeling and Evaluation (Performance 2002), Rome, September 2002. (postscript, pdf)
HPJS Chiang, S.-H., A. Arpaci-Dusseau, and M. K. Vernon, "The Impact of More Accurate Requested Runtimes on Production Job Scheduling Performance", Lecture Notes in Computer Science (LNCS) 2537: Job Scheduling Strategies for Parallel Processing, 8th Int'l. Workshop (JSSPP 2002), Edinburgh, July 2002, edited by D. G. Feitelson, L. Rudolph, and U. Schwiegelshohn, Springer-Verlag, Berlin, 2002. (postscript, pdf)
POEMS Buaklee, D., G. Tracy, M. K. Vernon, and S. Wright, "Near-optimal Adaptive Control of a Large Grid Application", Proc. 16th Annual ACM Int'l. Conf. on Supercomputing (ICS 2002), New York, June 2002. (postscript, pdf)
SWORD Almeida, J. M., D. L. Eager, M. C. Ferris, and M. K. Vernon, "Provisioning Content Distribution Networks for Streaming Media", Proc. 21st Annual Joint Conf. of IEEE Computer and Communications Societies (Infocom 2002), New York, June 2002. (postscript, pdf)
SWORD Zhao, Y., D. L. Eager, and M. K. Vernon, "Network Bandwidth Requirements for Scalable On-Demand Streaming", Proc. 21st Annual Joint Conf. of IEEE Computer and Communications Societies (Infocom 2002), New York, June 2002. (postscript)
Revised version published in IEEE/ACM Trans. on Networking, Aug. 2007. See the journal version above.
SWORD
&POEMS
Tan, H., D. L. Eager, M. K. Vernon, and H. Guo, "Quality of Service Evaluations of Multicast Streaming Protocols", Proc. ACM SIGMETRICS 2002 Int'l. Conf. on Measurement and Modeling of Computer Systems (SIGMETRICS 2002), Marina del Rey, CA, June 2002. (postscript, pdf)
SWORD Zhao, Yanping, D. L. Eager, and M. K. Vernon, "Efficient Delivery Techniques for Variable Bit Rate Multimedia", Proc. Multimedia Computing and Networking 2002, San Jose, Jan. 2002. (postscript, pdf)

2001

SWORD Eager, D., M. Vernon, and J. Zahorjan, "Minimizing Bandwidth Requirements for On-Demand Data Delivery", IEEE Trans. on Knowledge and Data Engineering, Vol 13, No. 5, Special Section of invited papers from MIS'99, Sep/Oct. 2001, pp. 742-757. (postscript, pdf)
SWORD Mahanti, A., D. L. Eager, M. K. Vernon, and D. Sundaram-Stukel, "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, August 2001, pp. 97-108.
One of three papers selected by the SIGCOMM 2001 PC for publication in IEEE/ACM Trans. on Networking, above.
SWORD Almeida, J. M., J. Krueger, D. L. Eager, and M. K. Vernon, "Analysis of Educational Media Server Workloads", Proc. 11th Int'l. Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV 2001), June 2001. (postscript, pdf)

HPJS Chiang, Su-Hui and Mary Vernon, "Characteristics of a Large Shared Memory Production Workload", Proc. 7th Workshop on Job Scheduling Strategies for Parallel Processing, Cambridge, MA, June 2001. Lecture Notes in Computer Science, Vol. 2221, Springer-Verlag. (postscript, pdf)

POEMS Krishnamurthy, A., R. Suri, and M. K. Vernon, "Analytical Performance Analysis of Kanban Systems using a New Approximation for Fork/Join Stations", Industrial Engineering Research Conf., Dallas, May 2001.

HPJS Chiang, S.-H. and M. K. Vernon, "Production Job Scheduling for Parallel Shared Memory Systems", Proc. Int'l. Parallel and Distributed Processing Symp. 2001 (IPDPS 2001), San Francisco, April 2001. (postscript, pdf)

POEMS Krishnamurthy, A., R. Suri, and M. K. Vernon, "Two Moment Approximations for Fork/Join Stations with Applications to Modeling Kanban Systems", Proc. 12th Conf. Production and Management Society (POMS2001), Orlando, Mar 30-Apr 2, 2001.

SWORD Almeida, J. M., D. L. Eager, and M. K. Vernon, "A Hybrid Caching Strategy for Streaming Media Files", Proc. Multimedia Computing and Networking 2001, San Jose, Jan. 2001. (postscript, pdf)

2000


POEMS V. S. Adve, R. Bagrodia, J. C. Browne, Deelman, E., A. Dube, E. Houstis, J. Rice, R. Sakellariou, D. Sundaram-Stukel, P. J. Teller, and M. K. Vernon, "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, Vol. 26, No. 11, Nov. 2000, pp. 1027-1048. (postscript, pdf)

SWORD Eager, D. L., M. C. Ferris, and M. K. Vernon, "Optimized Caching in Systems with Heterogeneous Client Populations", Performance Evaluation, Special Issue on Internet Performance Modeling, September 2000, pp. 163-185.
(postscript , pdf)

POEMS Krishnamurthy, A., R. Suri, and M. K. Vernon, "A New Approach for Analyzing Queueing Models of Material Control Strategies in Manufacturing Systems", Proc. 4th Int'l. Workshop on Queueing Networks with Finite Capacity (QNETs2000), West Yorkshire, U.K., July 2000. (postscript, pdf)

POEMS Eager, D. L., D. J. Sorin, and M. K. Vernon, "AMVA Techniques for High Service Time Variability", Proc. ACM SIGMETRICS 2000 Int'l. Conf. on Measurement and Modeling of Computer Systems, Santa Clara, CA, June 2000. (postscript, pdf)

POEMS Krishnamurthy, A., R. Suri, and M. K. Vernon, "Push Can Perform Better than Pull for Flexible Manufacturing Systems with Multiple Products", Proc. Industrial Engineering Research Conf., Cleveland, OH, May 2000. (postscript, pdf)

SWORD Eager, D., M. Vernon, and J. Zahorjan, "Bandwidth Skimming: A Technique for Cost-Effective Video-on-Demand", Proc. Multimedia Computing and Networking 2000 (MMCN'00), San Jose, CA, January 25-27, 2000. (postscript, pdf)

1999


SWORD Eager, D., M. Vernon, and J. Zahorjan, "Optimal and Efficient Merging Schedules for Video-on-Demand Servers", Proc. 7th ACM Multimedia Conf. (Multimedia '99), Orlando, Nov., 1999, pp. 199-202. (postscript , pdf)

SWORD Eager, D., M. Vernon, and J. Zahorjan, "Minimizing Bandwidth Requirements for On-Demand Data Delivery" Proc. 5th Int'l. Workshop on Multimedia Information Systems (MIS'99), Indian Wells, CA, October 21-23, 1999. One of four award papers invited for publication in IEEE TKDE, above.

POEMS Sundaram-Stukel, D. and M. K. Vernon, "Predictive Analysis of a Wavefront Application Using LogGP", Proc. 7th ACM SIGPLAN Symp. on Principles and Practices of Parallel Programming (PPoPP '99), Atlanta, GA, May 1999, pp. 141-150. (postscript, pdf)

SWORD Eager, D. L., M. C. Ferris, and M. K. Vernon, "Optimized Regional Caching for On-Demand Data Delivery", Proc. 1999 Multimedia Computing and Networking (MMCN '99), San Jose, CA, January 25-27, 1999, pp. 301-316. (pdf, 11/16/98)

1998


POEMS Deelman, E., A. Dube, A. Hoisie, Y. Luo, R. Oliver, D. Sundaram-Stukel, H. Wasserman, V. S. Adve, R. Bagrodia, J. C. Browne, E. Houstis, O. Lubeck, J. Rice, P. Teller, M. K. Vernon, "POEMS: End-to-end Performance Design of Large Parallel Adaptive Computational Systems", Proc. 1st Int'l. Workshop on Software and Performance (WOSP '98), Santa Fe, New Mexico, October 1998.

This paper was invited for publication in IEEE Trans. on Software Engineering (above)

SWORD Eager, D. L., and M. K. Vernon, "Dynamic Skyscraper Broadcasts for Video-on-Demand", Proc. 4th Int'l. Workshop on Advances in Multimedia Information Systems (MIS '98), Lecture Notes in Computer Science 1508, edited by S. Jajodia, M. T. Ozsu, and A. Dogac, Springer, Istanbul, Sept. 1998, pp. 18-32. (pdf)

POEMS Sorin, D., V. Pai, S. V. Adve, M. K. Vernon, and D. A. Wood, "Analytic Evaluation of Shared Memory Systems with ILP Processors", Proc. 25th Int'l. Symp. on Computer Architecture (ISCA '98), Barcelona, July 1998, pp. 180-191. (pdf)

Technical report with detailed equations: Sorin, D., M. K. Vernon, V. Pai, S. V. Adve, and D. A. Wood, "A Customized MVA Model for ILP Multiprocessors", Computer Sciences Technical Report No. 1369, University of Wisconsin-Madison, March 1998. (pdf)

1997

HPJS Kennedy, K., C. F. Bender, J. W. D. Connolly, J. L. Hennessy, M. K. Vernon, and L. Smarr, "A Nationwide Parallel Computing Environment", Comm. of the ACM, Vol. 40, No. 11, Nov. 1997, pp. 62-73.
POEMS Frank, M. I., A. Agarwal, and M. K. Vernon, "LoPC: Modeling Contention in Parallel Algorithms", Proc. PPoPP '97, Las Vegas, June 1997, pp. 276-287. (pdf)

SWORD Tsiolis, A. K., and M. K. Vernon, "Group Guaranteed Channel Capacity in Multimedia Storage Servers", Proc. ACM Sigmetrics '97, Seattle, June 1997, pp. 285-297. (pdf)
POEMS Voelker, G. M., H. A. Jamrozik, M. K. Vernon, H. M. Levy, and E. D. Lazowska, "Managing Server Load in Global Memory Systems", Proc. ACM Sigmetrics '97, Seattle, June 1997, pp. 127-138. (pdf)

1996


POEMS Jamrozik, H. A., M. J. Feeley, G. M. Voelker, J. Evans II, A. R. Karlin, H. M. Levy, and M. K. Vernon, "Reducing Network Latency Using Subpages in a Global Memory Environment", Proc. ASPLOS-VII, Cambridge, Massachusetts, Oct. 1996, pp. 258-267. (pdf)

 
Computer Sciences | UW Home