Reflections on software failure analysis. - Paschal C. Amusuo; Aishwarya Sharma; Siddharth R. Rao; Abbey Vincent; James C. Davis 001 (ESEC/SIGSOFT FSE, 2022)

Towards Rehosting Embedded Applications as Linux Applications. - Jayashree Srinivasan; Sai Ritvik Tanksalkar; Paschal C. Amusuo; James C. Davis 001; Aravind Machiry (DSN-S, 2023)

Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. - Paschal C. Amusuo; Ricardo Andrés Calvo Méndez; Zhongwei Xu; Aravind Machiry; James C. Davis 001 (ASE, 2023)

Preventing Supply Chain Vulnerabilities in Java with a Fine-Grained Permission Manager. - Paschal C. Amusuo; Kyle A. Robinson; Santiago Torres-Arias; Laurent Simon; James C. Davis 001 (CoRR, 2023)

Enabling Unit Proofing for Software Implementation Verification. - Paschal C. Amusuo; Parth V. Patil; Owen Cochell; Taylor Le Lievre; James C. Davis 001 (CoRR, 2024)

Empirically-Informed Approaches to Shift Vulnerability Detection to the Left. - Paschal C. Amusuo (ICSE Companion, 2025)

A Unit Proofing Framework for Code-level Verification: A Research Agenda. - Paschal C. Amusuo; Parth V. Patil; Owen Cochell; Taylor Le Lievre; James C. Davis 001 (NIER@ICSE, 2025)

$ZTD_{ text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies. - Paschal C. Amusuo; Kyle A. Robinson; Tanmay Singla; Huiyun Peng; Aravind Machiry; Santiago Torres-Arias; Laurent Simon; James C. Davis 001 (ICSE, 2025)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification. - Paschal C. Amusuo; Owen Cochell; Taylor Le Lievre; Parth V. Patil; Aravind Machiry; James C. Davis 001 (CoRR, 2025)

LEMIX: Enabling Testing of Embedded Applications as Linux Applications. - Sai Ritvik Tanksalkar; Siddharth Muralee; Srihari Danduri; Paschal C. Amusuo; Antonio Bianchi; James C. Davis 001; Aravind Machiry (CoRR, 2025)