Contact
Office
(434) 982-2209
Location
Rice Hall 428
P.O. Box 400740
Charlottesville, VA 22904

Jack W. Davidson

Professor, Computer Science Director, Cyber Defense Program of Study
Contact
Office
(434) 982-2209
Location
Rice Hall 428
P.O. Box 400740
Charlottesville, VA 22904
Personal Website

About

Jack W. Davidson is a Professor of Computer Science in the School of Engineering and Applied Science at the University of Virginia. He joined the faculty in 1981 after receiving his Ph.D. in Computer Science from the University of Arizona. Professor Davidson’s research interests include compilers, computer security, programming languages, computer architecture, and embedded systems. He is the principal investigator on several ongoing grants to develop comprehensive methods for protecting software from malicious attacks.

Professor Davidson is a Fellow of the ACM and a Life Fellow of the IEEE. He served as an Associate Editor of ACM’s Transactions on Programming Languages and Systems for six years, and as an Associate Editor of ACM’s Transactions on Architecture and Compiler Optimizations for eight years. He served as Chair of ACM’s Special Interest Group on Programming Languages (SIGPLAN) from 2005 to 2007. He currently serves on the ACM Executive Council and is chair of ACM’s Digital Library Board that oversees the operation and development of ACM’s Digital Library.

Professor Davidson is co-author of two best-selling introductory programming textbooks, C++ Program Design: An Introduction to Object-Oriented Programming, 3rd edition and Java 5.0 Program Design: An Introduction to Object-Oriented Programming, 2nd edition. He and his colleague, James P. Cohoon, received the 2008 IEEE Taylor L. Booth Award for their sustained effort to transform introductory computer science education.

Education

​Ph.D. University of Arizona, 1981

​M.S. Southern Methodist University, 1977

​B.A.S. Southern Methodist University, 1975

Securing computer systems that society relies for critical services such as: transportation, communication, power, defense, and finance.

Jack W. Davidson Professor of Computer Science

Research Interests

Cybersecurity
Risk Management
Systems Integration
Computer Architecture
Grid/Cloud/High-performance Computing
Programming Languages and Compilers

Selected Publications

High-performance Reliable Network-multicast over a Trial Deployment. Cluster Computing, February 2022, pp. 1–22. Y. Tan, M. Veeraraghavan, H. Lee, S. Emmerson, J.W. Davidson
Abstract
Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing. CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, November 2021, pp. 351–365. S. Nagy, A. Nguyen-tuong, J.D. Hiser, J.W. Davidson, M. Hicks
Abstract
Breaking Through Binaries: Compiler-quality Instrumentation for Better Binary-only Fuzzing. Proceedings of the 30th USENIX Security Symposium, Minneapolis, MN, August 2021, pp. 1683–1700. S. Nagy, A. Nguyen-tuong, J.D. Hiser, J.W. Davidson, M. Hicks
Abstract
ILR: Where did my gadgets go? Proceedings of the 2012 IEEE Symposium on Security and Privacy, San Francisco, May 2012, pp. 571–585. J. Hiser, A. Nguyen-tuong, M. Co, M. Hall, J.W. Davidson.
Abstract
Security through Redundant Data Diversity. Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, AK, June 2008, pp. 187–196. A. Nguyen-tuong, D. Evans, J. C. Knight, B. Cox, J.W. Davidson
Abstract

Awards

IEEE Life Fellow 2020
ACM Distinguished Service Award 2010
ACM Fellow 2008
IEEE Computer Society Taylor L. Booth Award 2008
ACM Undergraduate Teaching Award, School of Engineering and Applied Science 2000

Featured Grants & Projects

Double Helix: High Assurance N-variant Systems Funding Agency: Advanced Research Projects Agency (DARPA) Double Helix is a $5.9M four-year joint project of University of Virginia, SRI International, and Arizona State Univeristy. Double Helix is a binary analysis and transformation system that will process binary applications to defend (ATDs) and produce variants with diverse binary structures that are intended to be deployed within a multi-variant fault-tolerant system. A unique aspect of Double Helix is that it will employ structured diversity to guarantee that variants behave differently when attacked providing high-assurance operation for mission-critical systems.
Read More
Trusted and Resilient Mission Operation Funding Agency: Air Force Research Laboratory This $1.25M one-year project is a joint effort of University of Michigan, Arizona State University, Kestrel Institute, Raytheon BBN, and Carnegie Mellon University. The goal of the project is to develop and evaluate a novel system for improving the trust and resiliency of cyber physical systems. The project focuses on resilient systems that avoid or recover from attacks, trust violations or environmental changes to complete missions. Because such resiliency is often achieved by adapting to new circumstances or repairing weaknesses, we also focus on providing trust to the human operator that the changed system operates correctly.