Paschal C. Amusuo

According to our database, Paschal C. Amusuo authored at least 10 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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, Aravind Machiry

CoRR, March, 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

CoRR, March, 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

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 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

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27, 2025

Empirically-Informed Approaches to Shift Vulnerability Detection to the Left.

Paschal C. Amusuo

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Enabling Unit Proofing for Software Implementation Verification.

Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis

CoRR, 2024

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

CoRR, 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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Towards Rehosting Embedded Applications as Linux Applications.

Jayashree Srinivasan, Sai Ritvik Tanksalkar, Paschal C. Amusuo, James C. Davis, Aravind Machiry

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Reflections on software failure analysis.

Paschal C. Amusuo, Aishwarya Sharma, Siddharth R. Rao, Abbey Vincent, James C. Davis

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022