scispace - formally typeset
C

Cristina Cifuentes

Researcher at Oracle Corporation

Publications -  87
Citations -  2804

Cristina Cifuentes is an academic researcher from Oracle Corporation. The author has contributed to research in topics: Executable & Binary translation. The author has an hindex of 28, co-authored 85 publications receiving 2711 citations. Previous affiliations of Cristina Cifuentes include Queensland University of Technology & University of Tasmania.

Papers
More filters
Proceedings ArticleDOI

Java™ on the bare metal of wireless sensor devices: the squawk Java virtual machine

TL;DR: The design and implementation of the Squawk VM is described as applied to the Sun™ Small Programmable Object Technology (SPOT) wireless device; a device developed at Sun Microsystems Laboratories for experimentation with wireless sensor and actuator applications.
Journal ArticleDOI

Decompilation of Binary Programs

TL;DR: The structure of a decompiler is presented, along with a thorough description of the different modules that form part of a decomiler, and the type of analyses that are performed on the machine code to regenerate high‐level language code.
Dissertation

Reverse compilation techniques

TL;DR: Techniques for writing reverse compilers or decompilers are presented in this thesis, based on compiler and optimization theory, and applied to decompilation in a unique way; these techniques have never before been published.
Patent

System & method of linking separately compiled simulations

TL;DR: In this article, a method for compiling a logic design is presented, where the logic design comprises a plurality of modules, compiling separately the plurality of module files into object files, and linking the plurality files to execute the logic.
Proceedings ArticleDOI

Intraprocedural static slicing of binary executables

TL;DR: In this article, the authors apply conventional intra-procedural static analysis to binary executables for the purposes of static analysis of machine code and assembly code, such as debugging code and determining the instructions that affect an indexed jump or an indirect call on a register.