|
|
 Cristina Cifuentes - Research Director, Oracle Labs Australia Cristina Cifuentes is an Architect and the Principal Investigator of the Program Analysis group at Oracle Labs, Australia.
Her research interests focus on the design and implementation of program analyses for large scale software, including bug checking, vulnerability detection, binary translation and decompilation. Interests on compilation techniques for multi and uniprocessor machines led to new partitioning techniques for parallelizing code, and static and dynamic compilation techniques for small virtual machines.
Previous work focused on the creation of translation systems that aid in running software on other platforms; to help running legacy code on newer machines, as well as facilitating the running of software on non-existent machines. Earlier work focused on translation of binary code to a higher level of abstraction. This work has been applied in a variety of decompilation and security tools.
Cristina was the treasurer of the ACM Special Interest Group on Programming Languages (SIGPLAN) during 2007-2012. During 2002-2003, she was the Chair of the IEEE Committee on Reverse Engineering and Reengineering. She also had an interest in some of the legal aspects of computing, in particular, the implications of copyright legislation as applied to software.
- Transitioning Parfait into a Development Tool
- Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Article, (2012)
- Boosting the performance of flow-sensitive points-to analysis using value flow.
- Lian Li, Cristina Cifuentes, Nathan Keynes, SIGSOFT FSE 2011:343-353
- Static deep error checking in large system applications using Parfait.
- Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann, In Proceedings, (2011)
- Practical and effective symbolic analysis for buffer overflow detection.
- Lian Li, Cristina Cifuentes, Nathan Keynes, SIGSOFT FSE 2010:317-326
- BegBunch: Benchmarking for C Bug Detection Tools
- Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney, Bernhard Scholz, In Proceedings, (2009)
- Benchmarking Static C Bug-Checking Tools
- Cristina Cifuentes, In Proceedings, (2009)
- Improving Software Quality with Parfait
- Cristina Cifuentes, Misc, (2009)
- Program analysis for bug detection using Parfait: invited talk.
- Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz, In Proceedings, (2009)
- Parfait - A Scalable Bug Checker for C Code.
- Cristina Cifuentes, SCAM 2008:263-264
- Parfait - Designing a Scalable Bug Checker
- Cristina Cifuentes, Bernhard Scholz, In Proceedings, (2008)
- User-Input Dependence Analysis via Graph Reachability
- Bernard Scholz, Chenyi Zhang, Cristina Cifuentes, Technical Report, (2008)
- User-Input Dependence Analysis via Graph Reachability.
- Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes, SCAM 2008:25-34
- Dynamic binary translation using run-time feedbacks.
- David Ung, Cristina Cifuentes, Sci. Comput. Program. (SCP) 60(2):189-204 (2006)
- Java on the bare metal of wireless sensor devices: the Squawk Java virtual machine.
- Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White, In Proceedings, (2006)
- The Squawk virtual machine: Java on the bare metal.
- Doug Simon, Cristina Cifuentes, In Proceedings, (2005)
- Partitioning of Code for a Massively Parallel Machine
- Michael Ball, Cristina Cifuentes, Deepankar Bairagi, Technical Report, (2004)
- Partitioning of Code for a Massively Parallel Machine.
- Michael Ball, Cristina Cifuentes, Deepankar Bairagi, IEEE PACT 2004:225-236
- A transformational approach to binary translation of delayed branches.
- Norman Ramsey, Cristina Cifuentes, ACM Trans. Program. Lang. Syst. (TOPLAS) 25(2):210-224 (2003)
- A Transformational Approach to Binary Translation of Delayed Branches with Applications to SPARC® and PA-RISC Instructions Sets
- Cristina Cifuentes, Norman Ramsey, Technical Report, (2002)
- Analysis of Virtual Method Invocation for Binary Translation.
- Jens Troeger, Cristina Cifuentes, WCRE 2002:65-
- Experience in the Design, Implementation and Use of a Retargetable Static Binary Translation Framework
- Cristina Cifuentes, Mike Van Emmerik, Brian T. Lewis, Norman Ramsey, Technical Report, (2002)
- Walkabout-A Retargetable Dynamic Binary Translation Framework
- Brian T. Lewis, David Ung, Cristina Cifuentes, Technical Report, (2002)
- Computer Security Analysis through Decompilation and High-Level Debugging.
- Cristina Cifuentes, Trent Waddington, Mike Van Emmerik, WCRE 2001:375-380
- Optimising hot paths in a dynamic binary translator.
- David Ung, Cristina Cifuentes, SIGARCH Computer Architecture News (SIGARCH) 29(1):55-65 (2001)
- Recovery of jump table case statements from binary code.
- Cristina Cifuentes, Mike Van Emmerik, Sci. Comput. Program. (SCP) 40(2-3):171-188 (2001)
- The Profession - Reverse Engineering and the Computing Profession.
- Cristina Cifuentes, IEEE Computer (COMPUTER) 34(12):166-168 (2001)
- Dynamic Re-engineering of Binary Code with Run-time Feedbacks.
- David Ung, Cristina Cifuentes, WCRE 2000:2-10
- Machine-adaptable dynamic binary translation.
- David Ung, Cristina Cifuentes, Dynamo 2000:41-51
- Procedure Abstraction Recovery from Binary Code.
- Cristina Cifuentes, Doug Simon, CSMR 2000:55-64
- The legal status of reverse engineering of computer software.
- Cristina Cifuentes, Anne Fitzgerald, Ann. Software Eng. (ANSOFT) 9:337-351 (2000)
- UQBT: Adaptive Binary Translation at Low Cost.
- Cristina Cifuentes, Mike Van Emmerik, IEEE Computer (COMPUTER) 33(3):60-66 (2000)
- Recovery of Jump Table Case Statements from Binary Code.
- Cristina Cifuentes, Mike Van Emmerik, IWPC 1999:192-199
- The Design of a Resourceable and Retargetable Binary Translator.
- Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey, WCRE 1999:280-291
- The Impact of Copyright on the Development of Cutting Edge Binary Reverse Engineering Technology.
- Cristina Cifuentes, WCRE 1999:66-76
- Assembly to High-Level Language Translation.
- Cristina Cifuentes, Doug Simon, Antoine Fraboulet, ICSM 1998:228-237
- Introducing a legal strand in the computer science curriculum.
- Cristina Cifuentes, Anne Fitzgerald, ACSE 1998:19-26
- Specifying the Semantics of Machine Instructions.
- Cristina Cifuentes, Shane Sendall, IWPC 1998:126-
- Copyright in Shareware Programs Distributed on the Internet.
- Cristina Cifuentes, Anne Fitzgerald, In Proceedings, (1997)
- Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case.
- Cristina Cifuentes, Anne Fitzgerald, ICSE 1997:456-464
- Intraprocedural Static Slicing of Binary Executables.
- Cristina Cifuentes, Antoine Fraboulet, ICSM 1997:188-
- SRL 3/4-A Simple Retargetable Loader.
- David Ung, Cristina Cifuentes, Australian Software Engineering Conference 1997:60-69
- Software Patents.
- Cristina Cifuentes, Australian Software Engineering Conference 1997:111-115
- Australian Recommendations on Computer Software Protection.
- Cristina Cifuentes, Anne Fitzgerald, Comput. J. (CJ) 39(7):566-576 (1996)
- Binary Translation: Static, Dynamic, Retargetable?
- Cristina Cifuentes, Vishv Malhotra, ICSM 1996:340-349
- Interprocedural data flow decompilation.
- Cristina Cifuentes, J. Prog. Lang. (JPL) 4(2):77-99 (1996)
- Partial Automation of an Integrated Reverse Engineering Environment of Binary Code.
- Cristina Cifuentes, WCRE 1996:50-56
- Structuring Decompiled Graphs.
- Cristina Cifuentes, CC 1996:91-105
- Teaching C/C++ to computer science students with pascal programming experience.
- Cristina Cifuentes, Barry Brannan, ACSE 1996:189-196
- An Environment for the Reverse Engineering of Executable Programs.
- Cristina Cifuentes, APSEC 1995:410-419
- Decompilation of Binary Programs.
- Cristina Cifuentes, K. John Gough, Softw., Pract. Exper. (SPE) 25(7):811-829 (1995)
|
|
|