Cristina Cifuentes
Cristina Cifuentes
Architect and Research Director, Oracle Labs
Verified email at oracle.com
Title
Cited by
Cited by
Year
Reverse compilation techniques
C Cifuentes
Queensland University of Technology, Brisbane, 1994
3281994
Decompilation of binary programs
C Cifuentes, KJ Gough
Software: Practice and Experience 25 (7), 811-829, 1995
2981995
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
2902006
System & method of linking separately compiled simulations
M Ball, C Cifuentes, D Allison, L Chen, A Narang
US Patent App. 10/357,782, 2004
2282004
UQBT: Adaptable binary translation at low cost
C Cifuentes, M Van Emmerik
Computer 33 (3), 60-66, 2000
1962000
Recovery of jump table case statements from binary code
C Cifuentes, M Van Emmerik
Science of Computer Programming 40 (2-3), 171-188, 2001
1752001
Machine-adaptable dynamic binary translation
D Ung, C Cifuentes
ACM SIGPLAN Notices 35 (7), 41-51, 2000
1402000
Assembly to high-level language translation
C Cifuentes, D Simon, A Fraboulet
Proceedings. International Conference on Software Maintenance (Cat. No …, 1998
1281998
Intraprocedural static slicing of binary executables
C Cifuentes, A Fraboulet
1997 Proceedings International Conference on Software Maintenance, 188-195, 1997
1281997
Binary translation: Static, dynamic, retargetable?
C Cifuentes, VM Malhotra
icsm 96, 340-349, 1996
1071996
Specifying the semantics of machine instructions
C Cifuentes, S Sendall
Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 …, 1998
851998
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
802011
Walkabout-a retargetable dynamic binary translation framework
C Cifuentes, B Lewis, D Ung
Workshop on Binary Translation, 22-25, 2002
782002
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
701999
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
692005
Structuring decompiled graphs
C Cifuentes
International Conference on Compiler Construction, 91-105, 1996
681996
Optimising hot paths in a dynamic binary translator
D Ung, C Cifuentes
ACM SIGARCH Computer Architecture News 29 (1), 55-65, 2001
612001
User-input dependence analysis via graph reachability
B Scholz, C Zhang, C Cifuentes
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
582008
Parfait: designing a scalable bug checker
C Cifuentes, B Scholz
Proceedings of the 2008 workshop on Static analysis, 4-11, 2008
582008
Efficient model checking technique for finding software defects
MJV Basauri, CN Cifuentes
US Patent 8,732,669, 2014
532014
The system can't perform the operation now. Try again later.
Articles 1–20