United StatesChange Country, Oracle Worldwide Web Sites Communities I am a... I want to...

Dr. Cristina Cifuentes

 Cristina Cifuentes

Dr. Cristina Cifuentes
Consulting Member of Technical Staff
Program Analysis Project
Oracle Labs


300 Ann Street
Brisbane, QLD 4001


Cristina Cifuentes is a Senior Principal Engineer for Oracle Labs, working in the Static Program Analysis group.

Her research interests focus on the design and implementation of program analyses for large scale software, including bug checking, 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 is the treasurer of the ACM Special Interest Group on Programming Languages (SIGPLAN) since 2007. During 2002-3, 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.

For publications and more information, follow this link.

Cristina Cifuentes's Blog

Latest Publications

  • ESEC-FSE11 presentation: Boosting the performance of flow-sensitive points-to analysis using value flow
    Lian Li, Cristina Cifuentes and Nathan Keynes, Slides, (Sep 1, 2011)
  • ESEC-FSE11 tool demo: Static Deep Error Checking in Large System Applications using Parfait
    Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo Basauri, Andrew Robert Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann, Slides, (Sep 1, 2011)
  • Boosting the Performance of Flow-sensitive Points-to Analysis using Value Flow
    Lian Li, Cristina Cifuentes and Nathan Keynes, In Proceedings, (Jul 4, 2011)
  • Static Deep Error Checking in Large System Applications using Parfait
    Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo Basauri, Andrew Browne, Jakub Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann, In Proceedings, (Jul 4, 2011)
  • Beyond Points-to Analysis: Efficiently Computing Pointer Value Flows
    Lian Li, Cristina Cifuentes and Nathan Keynes, Conference, (Apr 4, 2011)
     See all 

    Latest Patents

  • Partitioning for a massively parallel simulation system
    (Mar 30, 2010)
  • Compiling and linking modules of a cycle-based logic design
    (Mar 18, 2008)

    Awards

    Awards

  • Adjunct Professor, School of Information Technology and Electrical Engineering, The University of Queensland - (May 29, 2006)
  • Queensland University of Technology - Outstanding Alumni Award, Faculty of Information Technology - (Aug 1, 2001)
  • Queensland University of Technology - Chancellor's Outstanding Alumnus Award - (Aug 1, 2001)


    Back to list of People