Mary K. Vernon

Mary Katherine Vernon (born 1953) is an American computer scientist who works as a professor of computer science and industrial engineering at the University of Wisconsin–Madison. Her research concerns high-performance computer architecture and streaming media.[1]

Vernon graduated from the University of California, Los Angeles in 1975 with a B.S. in chemistry,[2] and earned her Ph.D. in computer science from UCLA in 1983 under the supervision of Gerald Estrin.[3] She was named a Fellow of the Association for Computing Machinery in 1996 "for fundamental contributions to performance analysis of parallel computer architectures and for leadership in the computing research community."[4]

Selected publications
  • Holliday, Mark A.; Vernon, Mary K. (December 1987), "A generalized timed Petri net model for performance analysis", IEEE Transactions on Software Engineering, SE-13 (12): 1297–1310, doi:10.1109/TSE.1987.233141.
  • Goodman, James R.; Vernon, Mary K.; Woest, Philip J. (1989), "Efficient synchronization primitives for large-scale cache-coherent multiprocessors", Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS III), New York, NY, USA: ACM, pp. 64–75, doi:10.1145/70082.68188, ISBN 978-0-89791-300-3.
  • Leutenegger, Scott T.; Vernon, Mary K. (1990), "The performance of multiprogrammed multiprocessor scheduling algorithms", Proceedings of the 1990 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '90), New York, NY, USA: ACM, pp. 226–236, doi:10.1145/98457.98761, ISBN 978-0897913591.
  • Almeida, Jussara M.; Krueger, Jeffrey; Eager, Derek L.; Vernon, Mary K. (2001), "Analysis of educational media server workloads", Proceedings of the 11th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV '01), New York, NY, USA: ACM, pp. 21–30, CiteSeerX 10.1.1.1.2714, doi:10.1145/378344.378348, ISBN 978-1581133707.
gollark: Less than twice.
gollark: ... Triple? No.
gollark: Just characterize the properties of the isomorphisms of a modular Frobenius cofunctor in the N-group of a functor sheaf.
gollark: It's like those fun tricks where you can prove 1 = 2 by subtly dividing by 0.
gollark: It is for a, b > 0.

References
  1. Faculty profile, Univ. of Wisconsin, retrieved 2015-06-30.
  2. Researcher: Mary Vernon, Wisconsin Discovery Portal, retrieved 2015-06-30.
  3. Mary K. Vernon at the Mathematics Genealogy Project
  4. ACM Fellows award citation, retrieved 2015-06-30.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.