Michele Co

Curriculum Vitae

My CV is available in PDF or PS.

Department of Computer Science Office Phone: (434)982-2203
University of Virginia Home Phone: (434)284-1263
151 Engineer's Way Fax: (434)982-2214
P.O. Box 400740 Email: mc2zk@virginia.edu
Charlottesville, VA 22904-4740 URL: http://www.cs.virginia.edu/~mc2zk

Education

Ph.D., Computer Science, August, 2006, University of Virginia, Charlottesville, VA
Dissertation Title: "Designing Energy-Efficient Fetch Engines"
Advisors: Prof. Kevin Skadron and Dr. Dee A.B. Weikle
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 and Awards

DARPA Cyber Grand Challenge, Second Place Team (TECHx), Las Vegas, NV, 2016
Helped design and develop autonomous defense system, Xandra, to discover, prove, and correct software flaws in real-time.
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

Elnaggar, M., Hiser, J.D., Lin, T.X., Nguyen-Tuong, A., Co, M., Davidson, J.W., Bezzo, N. "Online control adaptation for safe and secure autonomous vehicle operations" in Proceedings of the 2017 IEEE NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Pasadena, CA, pp. 101—108.
Hawkins, W.H., Hiser, J.D., Co, M., Nguyen-Tuong, A., Davidson, J.W. "Zipr: Efficient Static Binary Rewriting for Security" in Proceedings of the 2017 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, 2017, pp. 559—566.
Co, M., Davidson, J.W., Hiser, J.D., Knight, J.C., Nguyen-Tuong, A., Weimer, W., Burket, J., Frazier, G.L., Frazier, T.M., Dutertre, B., Mason, I., Shankar, N., and Forrest, S. "Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery" in Proceedings of the 11th Annual ACM Cyber and Information Security Research Conference, Oak Ridge, TN, April, 2016, Article No. 17.
Hiser, J.D., Nguyen-Tuong, A., Co, M., Rodes, B., Hall, M., Coleman, C.L., Knight, J.C., and Davidson, J.W. "A Framework for Creating Binary Rewriting Tools (Short Paper)" in Proceedings of the 2014 Tenth European IEEE Dependable Computing Conference (EDCC), May, 2014, pp. 142—145,
Nguyen-Tuong, A., Hiser, J.D., Co, M., Davidson, J.W., Knight, J.C., Kennedy, N., Melski, D., Ella, W., and Hyde, D. "To B or not to B: Blessing OS commands with software DNA shotgun sequencing" in Proceedings of the 2014 Tenth European IEEE Dependable Computing Conference (EDCC), May, 2014, pp. 238—249.
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, " In: Qadeer S., Tasiran S. (eds) Runtime Verification. RV 2012. Lecture Notes in Computer Science, vol. 7687. Springer, Berlin, Heidelberg, September, 2012, pp. 308—313.
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, pp. 19—24.
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

Knight, J.C., Davidson, J.W., Nguyen-Tuong, A., Hiser, J.D., Co, M. "Diversity in Cybersecurity," IEEE Computer, Vol. 49, No. 4, 2016, pp. 94—98.
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

Davidson, J.W., Knight, J.C., Co, M., Hiser, J.D., Nguyen-Tuong, A. "Kevlar: Transitioning Helix for Research to Practice," Defense Technical Information Center Technical Report, Accession No. AD1005651, March, 2016.
Coleman, C.L., Co, M., Davidson, J.W., Knight, J.C., Nguyen-Tuong, A., Hiser, J.D. "Software Exploit Prevention and Remediation via Software Memory Protection," Defense Technical Information Center Technical Report, Accession No. ADA499993, May, 2009.
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.

Patents and Patent Applications

Nguyen-Tuong, A., Davidson, J.W., Hiser, J.D., Knight, J.C. and Co, M. 2017, "Methods, systems and computer readable media for detecting command injection attacks" US Patent 9,635,033, filed November 14, 2013, issued April 25, 2017.
Hiser, J.D., Nguyen-Tuong, A., Davidson, J.W., and Co, M. "Method of instruction location randomization (ILR) and related system" US Patent App. 14/381,464, filed February 27, 2013, published April 16, 2015. Patent pending.

Professional Activities and Memberships

Reviewer, International Symposium on Code Generation and Optimization (CGO), 2014; 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
Poster Chair, 2017 ACM Capital Region Celebration of Women in Computing, Georgetown University, February 24-25, 2017
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): Intermediate 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).