Faculty

Institution

Unit

Venue

Jack Davidson

Professor Computer Science

University of Virginia

Affiliations

School of Engineering and Applied Science

Department of Computer Science

Jack Davidson is currently serving as a Computer Science Professor Computer Science at University of Virginia.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jack Davidson

University of Virginia

Professor Computer Science

You can click a keyword to filter the displayed items

computer science computer engineering software analysis program analysis software engineering computer architecture system software microarchitecture compiler technology high performance computer architecture computer security optimizing compilers programming languages information security software security data security program optimization design automation systems engineering formal methods dynamic compilation parallel computing static program analysis high-performance architectures formal verification data science secure computing instruction-level parallelism parallel programming memory management software dynamic translation processor architectures communication security operating system security computational optimization runtime systems code generation software maintenance virtual machines language-based security engineering optimization data privacy genetic algorithms memory architectures parallel performance evaluation runtime verification virtualization security mathematical optimization multithreading (computer architecture) hardware architecture hardware acceleration source code analysis program transformation programming language teaching optimization phases dynamic binary translation evolutionary computation genetic programming static checking manycore processor dynamic optimization compiler support fuzzing software protection memory hierarchy code positioning n-variant systems instruction location randomization software tamper resistance alert preferences dynamic safety checkers benchmark suite resource contention high accuracy process procedures loop unrolling

Notable Scholarly Works

Notable Federal Grants

Collaborators

Helix++: A Platform for Efficiently Securing Software. arXiv (Cornell University) (2023)

Davidson, Jack W.Hiser, Jason D.Nguyen-Tuong, Anh

systems engineeringinformation securitysoftware engineeringsoftware security

Virginia Cyber Navigator Internship Program (Va-Cnip). Journal of The Colloquium for Information Systems Security Education (2023)

Angela OrebaughJack DavidsonDeborah JohnsonDaniel GrahamWorthy Martin

information securityeducationinstructional programinformation security educationcybersecurity education

ZIPR: A High-Impact, Robust, Open-Source, Multi-Platform, Static Binary Rewriter. arXiv (Cornell University) (2023)

Hiser, Jason D.Nguyen-Tuong, AnhDavidson, Jack W.

deep learningcomputer sciencerewriting systemssystems engineeringstatic binary rewriterfeedback loopasic implementation

High-Performance Reliable Network-Multicast Over a Trial Deployment. Cluster Computing (2022)

Yuanlong TanMalathi VeeraraghavanHwajung LeeSteven EmmersonJack W. Davidson

scalabilityadvanced networkingnetworked system designcommunications systemsdata sciencedistributed systemsreliable network multicasttelecommunication networksdata disseminationhigh-performance reliable network-multicastnetwork multicastmulticastdata management

SENTINEL: A Multi-Institution Enterprise Scale Platform for Data-Driven Cybersecurity Research. 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2022)

Alastair NottinghamMolly BuchananMark GardnerJason HiserJack Davidson

computer scienceinformation securitydata securityinformation technologycomputer securitydata sciencesystems engineeringdata-driven cybersecurity research

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). (2022)

Kevin LeachChristopher S. TimperleyKevin AngstadtAnh Nguyen-TuongJason HiserAaron PaulosPartha PalPatrick HurleyCarl ThomasJack W. DavidsonStephanie ForrestClaire Le GouesWestley Weimer

trustengineeringtrusted systemtransportation engineeringresilient autonomous vehiclessystems engineeringresilience engineeringreliability engineering

BIGMAP: Future-Proofing Fuzzers With Efficient Large Maps. (2021)

Alif AhmedJason D. HiserAnh Nguyen-TuongJack W. DavidsonKevin Skadron

computer scienceunacceptable runtime overheaddata securityexpensive coverage metricscomputer securitycomputer engineeringcoverage metricssoftware analysishash functionsprogram analysisfuzzing

Breaking Through Binaries: Compiler-Quality Instrumentation for Better Binary-Only Fuzzing. USENIX Security Symposium (2021)

Stefan NagyAnh Nguyen-TuongJason D. HiserJack W. DavidsonMatthew Hicks

computer sciencesoftware engineeringbetter binary-only fuzzingsoftware testingcomputer engineeringsoftware analysisprogram analysisfuzzing

Collaborative Information Sharing for ML-Based Threat Detection. arXiv (Cornell University) (2021)

Talha OngunSimona BoboilaAlina OpreaTina Eliassi-RadAlastair NottinghamJason HiserJack W. Davidson

computer scienceinformation securitydata securitymachine learningcomputer securitydata scienceadversarial machine learningthreat detectioncollaborative information sharingevasive self-propagating malwaremachine learning researchml-based threat detection

Nsf Workshop Report: Multi-Campus Cybersecurity Data Curation for Research and Education. Zenodo (CERN European Organization for Nuclear Research) (2021)

Davidson, JackWang, HowieWelch, Von

information securitydata securityengineeringdata curationinformation technologyknowledge discoverydata sciencesystems engineeringinformation managementknowledge managementeducational researchinformation science

1
2
3
4
5
17
10 / page

Jack Davidson

Professor Computer Science

University of Virginia

Affiliations

School of Engineering and Applied Science

Department of Computer Science

Jack Davidson is currently serving as a Computer Science Professor Computer Science at University of Virginia.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jack Davidson

University of Virginia

Professor Computer Science

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Helix++: A Platform for Efficiently Securing Software. arXiv (Cornell University) (2023)

Davidson, Jack W.Hiser, Jason D.Nguyen-Tuong, Anh

systems engineeringinformation securitysoftware engineeringsoftware security

Virginia Cyber Navigator Internship Program (Va-Cnip). Journal of The Colloquium for Information Systems Security Education (2023)

Angela OrebaughJack DavidsonDeborah JohnsonDaniel GrahamWorthy Martin

information securityeducationinstructional programinformation security educationcybersecurity education

ZIPR: A High-Impact, Robust, Open-Source, Multi-Platform, Static Binary Rewriter. arXiv (Cornell University) (2023)

Hiser, Jason D.Nguyen-Tuong, AnhDavidson, Jack W.

deep learningcomputer sciencerewriting systemssystems engineeringstatic binary rewriterfeedback loopasic implementation

High-Performance Reliable Network-Multicast Over a Trial Deployment. Cluster Computing (2022)

Yuanlong TanMalathi VeeraraghavanHwajung LeeSteven EmmersonJack W. Davidson

SENTINEL: A Multi-Institution Enterprise Scale Platform for Data-Driven Cybersecurity Research. 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2022)

Alastair NottinghamMolly BuchananMark GardnerJason HiserJack Davidson

computer scienceinformation securitydata securityinformation technologycomputer securitydata sciencesystems engineeringdata-driven cybersecurity research

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). (2022)

Kevin LeachChristopher S. TimperleyKevin AngstadtAnh Nguyen-TuongJason HiserAaron PaulosPartha PalPatrick HurleyCarl ThomasJack W. DavidsonStephanie ForrestClaire Le GouesWestley Weimer

trustengineeringtrusted systemtransportation engineeringresilient autonomous vehiclessystems engineeringresilience engineeringreliability engineering

BIGMAP: Future-Proofing Fuzzers With Efficient Large Maps. (2021)

Alif AhmedJason D. HiserAnh Nguyen-TuongJack W. DavidsonKevin Skadron

computer scienceunacceptable runtime overheaddata securityexpensive coverage metricscomputer securitycomputer engineeringcoverage metricssoftware analysishash functionsprogram analysisfuzzing

Breaking Through Binaries: Compiler-Quality Instrumentation for Better Binary-Only Fuzzing. USENIX Security Symposium (2021)

Stefan NagyAnh Nguyen-TuongJason D. HiserJack W. DavidsonMatthew Hicks

computer sciencesoftware engineeringbetter binary-only fuzzingsoftware testingcomputer engineeringsoftware analysisprogram analysisfuzzing

Collaborative Information Sharing for ML-Based Threat Detection. arXiv (Cornell University) (2021)

Talha OngunSimona BoboilaAlina OpreaTina Eliassi-RadAlastair NottinghamJason HiserJack W. Davidson

Nsf Workshop Report: Multi-Campus Cybersecurity Data Curation for Research and Education. Zenodo (CERN European Organization for Nuclear Research) (2021)

Davidson, JackWang, HowieWelch, Von

1
2
3
4
5
17
10 / page

Similar Faculty Members

Sandhya Dwarkadas

Institution

University of Virginia

computer science

computer architecture

Ashish Venkat

Institution

University of Virginia

computer science

computer engineering

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Jonathan Aldrich

Institution

Carnegie Mellon University

formal methods

electricity generation

Siddharth Garg

Institution

New York University

data security

homomorphic data encryption

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

John Shen

Institution

Carnegie Mellon University

computer science

computer engineering

Andrew C. Myers

Institution

Cornell University

data security

trustworthy software systems

Christian Collberg

Institution

University of Arizona

data security

information security

David Whalley

Institution

Florida State University

compiler tools

computer engineering

Similar Faculty Members

Sandhya Dwarkadas

Institution

University of Virginia

computer science

computer architecture

Ashish Venkat

Institution

University of Virginia

computer science

computer engineering

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Jonathan Aldrich

Institution

Carnegie Mellon University

formal methods

electricity generation

Siddharth Garg

Institution

New York University

data security

homomorphic data encryption

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

John Shen

Institution

Carnegie Mellon University

computer science

computer engineering

Andrew C. Myers

Institution

Cornell University

data security

trustworthy software systems

Christian Collberg

Institution

University of Arizona

data security

information security

David Whalley

Institution

Florida State University

compiler tools

computer engineering