14 citations · 16 across the 11 of their papers we have counts for
9 papers · 1 filter
Reproducibility is Not Enough: Artifact Verifiability in Decentralized-Build Package Ecosystems
Oreofe Solarin, Kelechi Kalu, James C. Davis +1
Reproducible and verifiable builds increase trust in distributed software artifacts by enabling independent parties to detect artifacts produced by compromised build or release pip…
Cheap Code, Costly Judgment: A Case Study on Governable Agentic Software Engineering
James C. Davis, Paschal C. Amusuo, Tanmay Singla +2
Generative AI is shifting software engineering from a practice organized around scarce implementation effort toward one organized around abundant, low-cost code production. This sh…
AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
Paschal C. Amusuo, Ricardo Calvo, Dharun Anandayuvaraj +5
Memory-safety errors remain a persistent source of zero-day vulnerabilities in low-level software. The problem is especially acute in embedded systems, where hardware protections a…
Towards a Benchmark for Dependency Decision-Making
Tanmay Singla, Berk Çakar, Paschal C. Amusuo +1
AI coding agents increasingly modify real software repositories and make dependency decisions, including adding, removing, or updating third-party packages. These choices can mater…
FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
Paschal C. Amusuo, Dongge Liu, Ricardo Andres Calvo Mendez +3
Fuzz testing has become a cornerstone technique for identifying software bugs and security vulnerabilities, with broad adoption in both industry and open-source communities. Direct…
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre +3
Memory safety defects pose a major threat to software reliability, enabling cyberattacks, outages, and crashes. To mitigate these risks, organizations adopt Compositional Bounded M…
A Unit Proofing Framework for Code-level Verification: A Research Agenda
Paschal C. Amusuo, Parth V. Patil, Owen Cochell +2
Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose…
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu +2
Embedded Network Stacks (ENS) enable low-resource devices to communicate with the outside world, facilitating the development of the Internet of Things and Cyber-Physical Systems.…
Reflections on Software Failure Analysis
Paschal C. Amusuo, Aishwarya Sharma, Siddharth R. Rao +2
Failure studies are important in revealing the root causes, behaviors, and life cycle of defects in software systems. These studies either focus on understanding the characteristic…