| System & method of linking separately compiled simulations M Ball, C Cifuentes, D Allison, L Chen, A Narang US Patent App. 10/357,782, 2004 | 399 | 2004 |
| Reverse compilation techniques C Cifuentes Queensland University of Technology, Brisbane, 1994 | 365 | 1994 |
| Decompilation of binary programs C Cifuentes, KJ Gough Software: Practice and Experience 25 (7), 811-829, 1995 | 357 | 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 | 313 | 2006 |
| UQBT: Adaptable binary translation at low cost C Cifuentes, M Van Emmerik Computer 33 (3), 60-66, 2000 | 214 | 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 | 207 | 2001 |
| Machine-adaptable dynamic binary translation D Ung, C Cifuentes ACM Sigplan Notices 35 (7), 41-51, 2000 | 175 | 2000 |
| Intraprocedural static slicing of binary executables C Cifuentes, A Fraboulet 1997 Proceedings International Conference on Software Maintenance, 188-195, 1997 | 148 | 1997 |
| Assembly to high-level language translation C Cifuentes, D Simon, A Fraboulet Proceedings. International Conference on Software Maintenance (Cat. No …, 1998 | 135 | 1998 |
| Binary translation: Static, dynamic, retargetable? Cifuentes, Malhotra 1996 Proceedings of International Conference on Software Maintenance, 340-349, 1996 | 118 | 1996 |
| 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 | 115 | 2011 |
| Walkabout: A retargetable dynamic binary translation framework C Cifuentes, B Lewis, D Ung Sun Microsystems, Inc., 2002 | 90 | 2002 |
| Specifying the semantics of machine instructions C Cifuentes, S Sendall Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 …, 1998 | 88 | 1998 |
| 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 | 80 | 2005 |
| Structuring decompiled graphs C Cifuentes International Conference on Compiler Construction, 91-105, 1996 | 79 | 1996 |
| Parfait: designing a scalable bug checker C Cifuentes, B Scholz Proceedings of the 2008 workshop on Static analysis, 4-11, 2008 | 77 | 2008 |
| User-input dependence analysis via graph reachability B Scholz, C Zhang, C Cifuentes 2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008 | 69 | 2008 |
| 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 | 69 | 1999 |
| BegBunch: benchmarking for C bug detection tools C Cifuentes, C Hoermann, N Keynes, L Li, S Long, E Mealy, M Mounteney, ... Proceedings of the 2nd International Workshop on Defects in Large Software …, 2009 | 67 | 2009 |
| Efficient model checking technique for finding software defects MJV Basauri, CN Cifuentes US Patent 8,732,669, 2014 | 63 | 2014 |
