Ph.D. University of Arizona, 1981M.S. Southern Methodist University, 1977B.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 include:
Cybersecurity, Risk Management, Systems Integration, Computer Architecture
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.
IEEE Life Fellow2020
ACM Distinguished Service Award2010
IEEE Computer Society Taylor L. Booth Award2008
ACM Undergraduate Teaching Award, School of Engineering and Applied Science,2000
Programming Languages and Compilers
High-performance Reliable Network-multicast over a Trial Deployment. Cluster Computing, February 2022, pp. 1–22. ABSYuanlong Tan, Malathi Veeraraghavan. Hwajung Lee, Steve Emmerson, Jack. W. Davidson
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. ABSStefan Nagy, Anh Nguyen-Tuong, Jason D. Hiser, Jack W. Davidson, and Matthew Hicks
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. ABSStefan Nagy, Anh Nguyen-Tuong, Jason D. Hiser, Jack W. Davidson, and Matthew Hicks.
ILR: Where did my gadgets go? Proceedings of the 2012 IEEE Symposium on Security and Privacy, San Francisco, May 2012, pp. 571–585. ABSJ. Hiser, A. Nguyen-Tuong, M. Co, M. Hall, and J. W. Davidson.
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. ABSA. Nguyen-Tuong, D. Evans, J. C. Knight, B. Cox, and J. W. Davidson.
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.
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.