Eleonora O Bounimova

Title: Eleonora O Bounimova: Innovator in Program Analysis

Introduction

Eleonora O Bounimova is a distinguished inventor based in Redmond, WA (US). She has made significant contributions to the field of program analysis, holding 2 patents that showcase her innovative approach to solving complex problems in software development.

Latest Patents

Her latest patents include "Processing predicates including pointer information," which describes a system for processing predicates during program analysis. This system converts location expressions in predicates into logical formulae interpretable by a theorem prover module, producing converted predicates. The conversion associates location expressions with location objects, representing variables as explicitly-specified location objects. Additionally, her patent "Program analysis through predicate abstraction and refinement" outlines an analysis engine that performs static analysis using CEGAR loop functionality. This engine features adjustable block sizes, subtrace analysis, pyramid state condition extraction, and selective concretization of procedure calls, among other capabilities.

Career Highlights

Eleonora currently works at Microsoft Technology Licensing, LLC, where she continues to develop innovative solutions in program analysis. Her work has significantly impacted the efficiency and effectiveness of software development processes.

Collaborations

She collaborates with notable colleagues, including Thomas J Ball and Vladimir A Levin, contributing to a dynamic and innovative work environment.

Conclusion

Eleonora O Bounimova is a remarkable inventor whose work in program analysis has advanced the field significantly. Her patents reflect her commitment to innovation and excellence in software development.