Cristina Cifuentes

Cristina Cifuentes, PhD Senior Research Manager Parfait Project Oracle Labs Oracle Labs Level 14, 300 Ann Street Brisbane QLD 4000 Australia

Research Interests

My research interests focus on the design and implementation of program analyses for large scale software, including bug checking and security 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.

Since 2006 I am in the Board of Advisors for Veracode, an application security company, and hold an Adjunct Professor position at The University of Queensland. I am the treasurer of the ACM Special Interest Group on Programming Languages (SIGPLAN) since 2007.

Projects

• Parfait: a static program analysis bug and security vulnerability checking tool for C/C++ systems code, Sun Microsystems Laboratories, 2007-present

• Squawk: a small Java(TM) virtual machine mainly written in the Java language, which drives the Sun SPOT wireless sensor device, Sun Microsystems Laboratories, 2004-2006.

• Phaser: Cycle-based Verilog compiler and massively parallel machine to simulate hardware designs, Sun Microsystems Laboratories, 2002-2003

• Walkabout: a retargetable dynamic binary translation framework, Sun Microsystems Laboratories, 2000-2001

• UQBT: a retargetable static binary translation framework, The University of Queensland, 1996-2001

• dcc: a decompiler for (80286,DOS) binaries, Queensland University of Technology, 1990-1994
 

Publications

• Program Analysis for Bug-Checking

• Compilers and Virtual Machines

• Binary translation

• Decompilation and software maintenance

• Legal aspects of computing
 

Professional

• ACM SIGPLAN Executive Committee, Treasurer and member-at-large, 2007-2012

• Veracode Board of Advisors, 2006-present

• Adjunct Professor at the School of Information Technology and Electrical Engineering, The University of Queensland, Australia, 2006-present

• Chair of the IEEE Reverse Engineering and Reengineering Committee, Technical Council on Software Engineering, 2002-2003

• Chancellor's Outstanding Alumnus, Queensland University of Technology, 2001