Cristina Cifuentes, PhD
Principal Investigator Parfait Project
Sun Microsystems Laboratories
Sun Microsystems Laboratories
Level 10, 80 Albert 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
