Cristina Cifuentes
Cristina Cifuentes
Architect and Research Director, Oracle Labs
Verified email at
Cited by
Cited by
Reverse compilation techniques
C Cifuentes
Queensland University of Technology, Brisbane, 1994
Decompilation of binary programs
C Cifuentes, KJ Gough
Software: Practice and Experience 25 (7), 811-829, 1995
Java™ on the bare metal of wireless sensor devices: the squawk Java virtual machine
D Simon, C Cifuentes, D Cleal, J Daniels, D White
Proceedings of the 2nd international conference on Virtual execution …, 2006
System & method of linking separately compiled simulations
M Ball, C Cifuentes, D Allison, L Chen, A Narang
US Patent App. 10/357,782, 2004
UQBT: Adaptable binary translation at low cost
C Cifuentes, M Van Emmerik
Computer 33 (3), 60-66, 2000
Recovery of jump table case statements from binary code
C Cifuentes, M Van Emmerik
Science of Computer Programming 40 (2-3), 171-188, 2001
Machine-adaptable dynamic binary translation
D Ung, C Cifuentes
ACM Sigplan Notices 35 (7), 41-51, 2000
Intraprocedural static slicing of binary executables
C Cifuentes, A Fraboulet
1997 Proceedings International Conference on Software Maintenance, 188-195, 1997
Assembly to high-level language translation
C Cifuentes, D Simon, A Fraboulet
Proceedings. International Conference on Software Maintenance (Cat. No …, 1998
Binary translation: Static, dynamic, retargetable?
C Cifuentes, VM Malhotra
icsm 96, 340-349, 1996
Specifying the semantics of machine instructions
C Cifuentes, S Sendall
Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 …, 1998
Walkabout-a retargetable dynamic binary translation framework
C Cifuentes, B Lewis, D Ung
Workshop on Binary Translation, 22-25, 2002
Boosting the performance of flow-sensitive points-to analysis using value flow
L Li, C Cifuentes, N Keynes
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
The squawk virtual machine: Java™ on the bare metal
D Simon, C Cifuentes
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
Structuring decompiled graphs
C Cifuentes
International Conference on Compiler Construction, 91-105, 1996
The design of a resourceable and retargetable binary translator
C Cifuentes, M Van Emmerik, N Ramsey
Sixth Working Conference on Reverse Engineering (Cat. No. PR00303), 280-291, 1999
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
Parfait: designing a scalable bug checker
C Cifuentes, B Scholz
Proceedings of the 2008 workshop on Static analysis, 4-11, 2008
Optimising hot paths in a dynamic binary translator
D Ung, C Cifuentes
ACM SIGARCH Computer Architecture News 29 (1), 55-65, 2001
Efficient model checking technique for finding software defects
MJV Basauri, CN Cifuentes
US Patent 8,732,669, 2014
The system can't perform the operation now. Try again later.
Articles 1–20