Mary K. Vernon

Mary Katherine Vernon (född 1953) är en amerikansk datavetare som arbetar som professor i datavetenskap och industriteknik vid University of Wisconsin–Madison . Hennes forskning handlar om högpresterande datorarkitektur och strömmande media .

Vernon tog examen från University of California, Los Angeles 1975 med en kandidatexamen i kemi och fick sin doktorsexamen. i datavetenskap från UCLA 1983 under ledning av Gerald Estrin . Hon utsågs till Fellow i Association for Computing Machinery 1996 "för grundläggande bidrag till prestandaanalys av parallella datorarkitekturer och för ledarskap inom dataforskningssamhället." 2019 vann hon ACM SIGMETRICS Achievement Award för "bidrag till analytiska prestandamodelleringstekniker och till analytisk design av ett brett utbud av effektfulla dator- och kommunikationssystemarkitekturer."

Utvalda publikationer

•   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 , S2CID 318 .
•    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, s. 64–75, doi : 10.1145/70082.68188 , ISBN 978-0-89791-300-3 , S2CID 7422600 .
•    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 , S2CID 16440752 .
•     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, s. 21–30, CiteSeerX 10.1.1.1.2714 , doi : 10.1145/378344.378348 , ISBN 978-1581133707 , S2CID 5398367 .