Education
Ph.D., Computer Science, August, 2006, University of Virginia, Charlottesville, VA
Dissertation Title: "Designing Energy-Efficient Fetch Engines"
|
|
M.C.S., Computer Science, August, 2001, University of Virginia, Charlottesville, VA
|
|
Certificate, Computer Science, May, 1999, Mills College, Oakland, CA
|
|
Certificate, Chinese Studies, May, 1993, Hopkins-Nanjing Center,
Johns Hopkins University School of Advanced International Studies, Nanjing, China
|
|
B.A., Asian Studies, December, 1991, University of California, Berkeley
|
|
Honors
|
Graduate Teaching Award, University of Virginia, 2003
|
|
Computer Science Award, Mills College, 1999
|
|
Employment and Teaching Experience
Research Scientist, Department of Computer Science, University of Virginia, Charlottesville, VA, 2010 - present
Student advising:
| Undergraduate thesis co-advisor, Andrew Sasai, ‘Software Dynamic Translators: A Performance Review,’ 2012. |
| Undergraduate thesis co-advisor, Edric Barnes, ‘Aiding Security Research Through Automated Static and Dynamic Analysis,’ 2011. |
|
|
Research Associate, Department of Computer Science, University of Virginia, Charlottesville, VA, Summer 2007 - 2010
Performing research in applying software dynamic translation to problems in computer security.
Student advising: Undergraduate thesis co-advisor, Nicholas Williams, ‘Improving Computer Security One Test Suite at a Time,’, 2007.
|
Lecturer, Department of Computer Science, University of Virginia, 2006 - 2007
|
CS 101E: Introduction to Computer Science, Spring 2007
|
|
CS 216: Program and Data Representation, Fall 2006 - Spring 2007
|
|
CS 333: Computer Architecture, Fall 2006
|
|
Instructor, Department of Computer Science, University of Virginia, Spring 2006
|
CS 110: Introduction to Information Technology, Spring 2006
|
|
|
Research Assistant, Department of Computer Science, University of Virginia, 1999-2006
|
Teaching Assistant, Department of Computer Science, University of Virginia, 1999 -2003
|
CS 101: Introduction to Computer Science, 1999-2000, 2002-2003
|
|
CS 201: Software Development Methods, Fall 2002
|
|
CS 654: Advanced Computer Architecture (Graduate-level), Fall 2001
|
|
Intern, IBM Austin Research Laboratory, Systems Software, Austin, TX, Summer 2002
Performed research in modifying the linux kernel to add the use of performance counters for system monitoring.
|
Intern, Cohesive Technology Solutions, Mountain View, CA, Summer 1999
Assisted in the installation and maintenance of linux-based network of computers
at a network backbone data center.
|
|
Research Assistant, Mills College, Oakland, CA, Fall 1998
|
Teaching Assistant, Department of Mathematics and Computer Science, Mills College, 1998 -1999
|
MCS 113: Digital Logic, Spring 1999
|
|
MCS 125: Theory of Algorithms, Spring 1999
|
|
MCS 124: Data Structures and Algorithm Analysis, Fall 1998
|
|
MCS 004: Discrete Math, Fall 1998
|
|
|
Publications
Refereed Conference and Workshop Proceedings
|
Rodes, B., Nguyen-Tuong, A., Hiser, J.D., Knight, J., Davidson, J.W., and Co, M. ‘Defense Against
Stack-Based Attacks Using Speculative Stack Layout Transformation, ’ to appear in International
Conference on Runtime Verification, Istanbul, Turkey, September, 2012.
|
|
Hiser, J.D., Nguyen-Tuong, A., Co, M., Hall, M., Davidson, J.W., ‘ILR: Where'd My Gadgets Go?,’ in 33rd IEEE Symposium on Security and Privacy, San Francisco, California, May, 2012, pp. 571--585.
|
|
Co, M., Davidson, J.W., Hiser, J.D., Knight, J.C., Nguyen-Tuong, A., Cok, D., Gopan, D., Melski, D., Lee, W., Song, C., Bracewell, T., Hyde, D., Mastropietro, B., ‘PEASOUP: Preventing Exploits Against Software Of Uncertain Provenance (Position Paper),’ in 7th International Workshop on Software Engineering for Secure Systems (SESS), Waikiki, Hawaii, May, 2011, pp. 43--49.
|
|
Co, M., Coleman, C.L., Davidson, J.W., Ghosh, S., Hiser, J.D., Knight, J.C., Nguyen-Tuong, A., ‘ A Lightweight Software Control System for Cyber Awareness and Security,’ in International Symposium on Resilient Control Systems, Idaho Falls, ID, August, 2009.
|
|
Hiser, J.W., Coleman, C., Co, M., Davidson, J.W., ‘MEDS: The Memory Error Detection System,’ in International Symposium on Engineering Secure Software and Systems (ESSoS), Leuven, Belgium, February, 2009, pp. 164-179.
|
|
Co, M., Weikle, D. A.B., Skadron, K., ‘A Break-Even Formulation for Evaluating Branch Predictor Energy Efficiency,’ in 2005 Workshop on Complexity-Effective Design (WCED) held in conjunction with the 32nd Annual ACM/IEEE International Symposium on Computer Architecture (ISCA), June, 2005.
|
|
Co, M., Skadron, K., ‘The Effects of Context Switching on Branch Predictor Performance,’ in 2001 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Tucson, AZ, November, 2001, pp. 77–84.
|
Journal Articles
|
Co, M., Skadron, K., ‘Evaluating Trace Cache Energy-Efficiency,’ ACM Transactions on Architecture and Code Optimization, Vol. 3, No. 4, December, 2006, pp. 450–476.
|
Technical Reports
|
Co, M., Weikle, D. A.B., Skadron, K. ‘Potential for Branch Predictor Adaptation at the Program and Phase Level for Performance and Energy-Efficiency,’ University of Virginia, Department of Computer Science Technical Report No. CS-2005-19, November, 2005.
|
|
Co, M., Skadron, K. ‘Evaluating Trace Cache Energy-Efficiency,’ University of Virginia, Department of Computer Science Technical Report No. CS-2004-31, October 10, 2004.
|
|
Co, M., Skadron, K. ‘Evaluating the Energy Efficiency of Trace Caches,’ University of Virginia, Department of Computer Science Technical Report No. CS-2003-19, October 28, 2003.
|
|
Professional Activities and Memberships
|
Reviewer, High-Performance Embedded Architecture and Compilation (HiPEAC), 2007; ACM Transactions on Architecture and Code Optimization (TACO), 2005, 2007, 2012; Euro-Par, 2005; IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2001; IEEE Workshop on Workload Characterization (WWC), 2000
|
|
New Student Mentor, University of Virginia, 2000-2002
|
|
Member, Association for Computing Machinery (ACM)
|
|
Member, Institute of Electrical and Electronics Engineering (IEEE)
|
|
Competencies and Interests
Computer Skills
|
Programming Languages: C, C++, Java, x86 assembly, PHP, HTML, CSS |
|
Utilities: vi, sh, perl, sed, gdb, Microsoft Visual Studio .NET
|
|
Software Competencies: CVS, Adobe FrameMaker, Microsoft Office Suite, SPSS, SAS, LaTeX
|
Language Abilities
|
English: Fluent spoken and written
|
|
Chinese (Mandarin): Advanced spoken and written
|
|
French: Intermediate reading
|
Personal Interests
|
Cycling, crochet, knitting
|
Community Involvement
|
Mountain bike racing, Member of Bike Factory Racing Team, 2008 - 2010. 2008 Virginia Series Champion, Women's XXC category.
|
Board of Directors, Secretary, and Webmaster, Charlottesville Area Mountain Bike Club, 2006–2008.
|
|
Member, International Mountain Biking Association (IMBA).
|
|
