Mary K. Vernon
{{short description|American computer scientist (born 1953)}}
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.[http://pages.cs.wisc.edu/~vernon/ Faculty profile], Univ. of Wisconsin, retrieved 2015-06-30.
Vernon graduated from the University of California, Los Angeles in 1975 with a B.S. in chemistry,[http://discoveryportal.org/faculty.aspx?id=4323 Researcher: Mary Vernon], Wisconsin Discovery Portal, retrieved 2015-06-30. and earned her Ph.D. in computer science from UCLA in 1983 under the supervision of Gerald Estrin.{{mathgenealogy|id=82243}} 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."[http://awards.acm.org/award_winners/vernon_1777267.cfm ACM Fellows award citation], retrieved 2015-06-30. In 2019, she won the ACM SIGMETRICS Achievement award for "contributions to analytic performance modeling techniques and to analytic design of a wide range of impactful computer and communication system architectures."{{Cite web|url=https://www.sigmetrics.org/awards.shtml|title=ACM Sigmetrics}}
Selected publications
- {{citation
| last1 = Holliday | first1 = Mark A.
| last2 = Vernon | first2 = Mary K.
| date = December 1987
| doi = 10.1109/TSE.1987.233141
| hdl = 1793/10030 | hdl-access = free
| issue = 12
| journal = IEEE Transactions on Software Engineering
| pages = 1297–1310
| title = A generalized timed Petri net model for performance analysis
| volume = SE-13| s2cid = 18145031
}}.
- {{citation
| last1 = Goodman | first1 = James R. | author1-link = James R. Goodman
| last2 = Vernon | first2 = Mary K.
| last3 = Woest | first3 = Philip J.
| contribution = Efficient synchronization primitives for large-scale cache-coherent multiprocessors
| doi = 10.1145/70082.68188
| isbn = 978-0-89791-300-3
| location = New York, NY, USA
| pages = 64–75
| publisher = ACM
| title = Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS III)
| year = 1989| s2cid = 7422600 | url = https://minds.wisconsin.edu/bitstream/1793/59060/1/TR814.pdf | doi-access = free
}}.
- {{citation
| last1 = Leutenegger | first1 = Scott T.
| last2 = Vernon | first2 = Mary K.
| contribution = The performance of multiprogrammed multiprocessor scheduling algorithms
| doi = 10.1145/98457.98761
| location = New York, NY, USA
| pages = 226–236
| publisher = ACM
| title = Proceedings of the 1990 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '90)
| year = 1990| isbn = 978-0897913591
| s2cid = 16440752
}}.
- {{citation
| last1 = Almeida | first1 = Jussara M. | author1-link = Jussara M. Almeida
| last2 = Krueger | first2 = Jeffrey
| last3 = Eager | first3 = Derek L.
| last4 = Vernon | first4 = Mary K.
| contribution = Analysis of educational media server workloads
| doi = 10.1145/378344.378348
| location = New York, NY, USA
| pages = 21–30
| publisher = ACM
| title = Proceedings of the 11th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV '01)
| year = 2001| isbn = 978-1581133707
| citeseerx = 10.1.1.1.2714
| s2cid = 5398367
}}.
References
{{reflist}}
{{Authority control}}
{{DEFAULTSORT:Vernon, Mary K.}}
Category:American computer scientists
Category:American women computer scientists
Category:American industrial engineers
Category:University of California, Los Angeles alumni
Category:University of Wisconsin–Madison faculty
Category:American women academics
{{US-compu-bio-stub}}