Publications

Here are my current list of publications.

Peer-reviewed conference papers

1. Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification.
   P. Amusuo, O. Cochell, T. Le Lievre, P. V. Patil, A. Machiry, J. C. Davis
   ICSE 2026

2. ZTD_JAVA: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies.
   P. Amusuo, K. Robinson, S. Torres-Arias, L. Simon, J. Davis
   ICSE 2025

3. LEMIX: Enabling Testing of Embedded Applications as Linux Applications S. R. Tanksalkar, S. Muralee, S. Danduri, P. Amusuo, A. Bianchi, J. C. Davis, A. K. Machiry USENIX Security Symposium 2025

4. Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.
   P. Amusuo, R. Méndez, Z. Xu, A. Machiry, J. Davis
   ASE 2023

Peer-reviewed short papers

1. A Unit Proofing Framework for Code-level Verification: A Research Agenda.
   P. Amusuo, P. V. Patil, O. Cochell, T. Le Lievre, J. C. Davis
   ICSE-NIER 2025

2. Empirically-Informed Approaches to Shift Vulnerability Detection to the Left.
   P. Amusuo
   ICSE 2025 (Doctoral Symposium)

3. Towards Rehosting Embedded Applications as Linux Applications.
   J. Srinivasan, S. Tanksalkar, P. Amusuo, J. Davis, A. Machiry
   DSN 2023

4. Reflections on Software Failure Analysis.
   P. Amusuo, A. Sharma, S. Rao, A. Vincent, J. Davis.
   ESEC/FSE-IVR 2022.

5. Experience Paper: A First Offering of Software Engineering.
   J. Davis, P. Amusuo, and J. Bushagour.
   ICSE-DREE 2022.

Technical Reports

1. FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI P. Amusuo, D. Liu, R. A. Calvo Mendez, J. Metzman, O. Chang, J. C. Davis Arxiv 2025

Posters

1. A Preliminary Study on the Characteristic and Detectability of Vulnerabilities in Real-Time Operating Systems.
   P. Amusuo, A. Machiry, J. Davis.
   23rd Annual Security Symposium of the Purdue Center for Education and Research in Information Assurance and Security (CERIAS 2022).