Details for Cristina Cifuentes

Adjunct Reader, School of Information Technology and Electrical Engineering, The University of Queensland

Researcher, Sun Microsystems Laboratories

Index

• Research Projects (while at UQ, 1996-2000)

• Other Projects (1990-2001)

• Publications

Research Projects

While at The University of Queensland, 1996-2000

• I worked on the University of Queensland Binary Translation (UQBT) project with Mike Van Emmerik and students Shane Sendall, Doug Simon, David Ung and Trent Waddington. 

• I formed the Computers and Law group along with Anne Fitzgerald, then Technology Lawyer at Software Engineering Australia.

• I supervised the following student research projects (the code base and thesis for some of these is now available online): 
• David Starkoff: 
• Copyright: Law and Practice in a Digital World (Honours thesis, 2001)
• Gabriel Hauber
• Optimization Techniques for Binary Code Translated from a Register Based Machine to a Stack Based Machine (Honours thesis, 1999)
• Graham Weekes
• Investigating the Use of Structured Data to Search for Software Components in an Internet Environment (Honours thesis, 1999)
• Ian Walters
• Reducing Machine Dependence in Emulator Design (Honours thesis, 1998)
• Shane Sendall: 
• Java disassembly (Project work, 1997)
• Specification of Machine Instruction Semantics (Honours thesis, 1997)
• Doug Simon:
  • Structuring of Assembly Programs (Honours thesis, 1997)
• David Ung: 
• Retargetable loader (Honours thesis, 1996)
• Dynamic Binary Translation (PhD thesis, expected 2002)

I currently co-supervise Mike Van Emmerik's PhD work on decompilation of legacy applications for software migration purposes, David Ung's PhD work on retargetable dynamic binary translation techniques, and Jens Troeger's PhD work on dynamic binary translation. 

Other Projects

• 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

• Binary translation

• Decompilation and software maintenance

• Legal aspects of computing