3 papers
cs.SE2026
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…
cs.SE2025
Learning From Software Failures: A Case Study at a National Space Research Center
Dharun Anandayuvaraj, Tanmay Singla, Zain Hammadeh +3
Software failures can have significant consequences, making learning from failures a critical aspect of software engineering. While software organizations are recommended to conduc…
cs.SE2024
FAIL: Analyzing Software Failures from the News Using LLMs
Dharun Anandayuvaraj, Matthew Campbell, Arav Tewari +1
Software failures inform engineering work, standards, regulations. For example, the Log4J vulnerability brought government and industry attention to evaluating and securing softwar…