A. Osorio

Papers

Total Citations

H-Index

About

A. Osorio is a pioneering researcher in the field of automatic program analysis and reverse engineering. Their foundational work introduced a novel system for automatically analyzing assembled programs, translating executable code into an intermediate language by accounting for the specific characteristics of the underlying machine architecture. This early contribution, detailed in their 1983 paper "A System to Automatically Analyze Assembled Programs," laid critical groundwork for understanding and deconstructing binary software without source code access. While the paper has garnered 2 citations, its significance lies in its forward-looking approach to automated binary analysis, a field that has since become essential for cybersecurity, malware detection, and legacy software maintenance. Osorio’s research directly addresses the challenge of interpreting low-level machine code, enabling more efficient and scalable program understanding. Their work remains a touchstone for scholars exploring the intersection of compiler theory, machine description languages, and static analysis, demonstrating an enduring impact on how researchers approach the automatic interpretation of executable programs.