Cristina Cifuentes

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Practical and effective symbolic analysis for buffer overflow detection.

[BibT_eX]

[DOI]

Lian Li

Nathan Keynes

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009

Program analysis for bug detection using parfait: invited talk.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

User-Input Dependence Analysis via Graph Reachability.

[BibT_eX]

[DOI]

Bernhard Scholz

Chenyi Zhang

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Parfait - A Scalable Bug Checker for C Code.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Parfait - Designing a Scalable Bug Checker.

[BibT_eX]

[DOI]

Bernhard Scholz

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2006

Dynamic binary translation using run-time feedbacks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Java<sup>TM</sup> on the bare metal of wireless sensor devices: the squawk Java virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

2005

The squawk virtual machine: Java on the bare metal.

[BibT_eX]

[DOI]

Doug Simon

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Partitioning of Code for a Massively Parallel Machine.

[BibT_eX]

[DOI]

Michael Ball

Deepankar Bairagi

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September, 2004

2003

A transformational approach to binary translation of delayed branches.

[BibT_eX]

[DOI]

Norman Ramsey

ACM Trans. Program. Lang. Syst., 2003

2002

Analysis of Virtual Method Invocation for Binary Translation.

[BibT_eX]

[DOI]

Jens Tröger

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

2001

Optimising hot paths in a dynamic binary translator.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 2001

Recovery of jump table case statements from binary code.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

The Profession - Reverse Engineering and the Computing Profession.

[BibT_eX]

[DOI]

Computer, 2001

Computer Security Analysis through Decompilation and High-Level Debugging.

[BibT_eX]

[DOI]

Trent Waddington

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

2000

UQBT: Adaptive Binary Translation at Low Cost.

[BibT_eX]

[DOI]

Computer, 2000

The legal status of reverse engineering of computer software.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2000

Dynamic Re-engineering of Binary Code with Run-time Feedbacks.

[BibT_eX]

[DOI]

Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

Machine-adaptable dynamic binary translation.

[BibT_eX]

[DOI]

Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

Procedure Abstraction Recovery from Binary Code.

[BibT_eX]

[DOI]

Doug Simon

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999

The Design of a Resourceable and Retargetable Binary Translator.

[BibT_eX]

[DOI]

Norman Ramsey

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

The Impact of Copyright on the Development of Cutting Edge Binary Reverse Engineering Technology.

[BibT_eX]

[DOI]

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

1998

Specifying the Semantics of Machine Instructions.

[BibT_eX]

[DOI]

Shane Sendall

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Assembly to High-Level Language Translation.

[BibT_eX]

[DOI]

Doug Simon

Antoine Fraboulet

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Introducing a legal strand in the computer science curriculum.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, 1998

1997

[BibT_eX]

Aust. Comput. J., 1997

Intraprocedural Static Slicing of Binary Executables.

[BibT_eX]

[DOI]

Antoine Fraboulet

Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

SRL 3/4-A Simple Retargetable Loader.

[BibT_eX]

[DOI]

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

Software Patents.

[BibT_eX]

[DOI]

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

1996

Interprocedural data flow decompilation.

[BibT_eX]

[DOI]

J. Program. Lang., 1996

Australian Recommendations on Computer Software Protection.

[BibT_eX]

[DOI]

Comput. J., 1996

Introduction of a CASE tool to teach structured analysis.

[BibT_eX]

[DOI]

Carmen Lockwood

Comput. Educ., 1996

Partial Automation of an Integrated Reverse Engineering Environment of Binary Code.

[BibT_eX]

[DOI]

Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

Binary Translation: Static, Dynamic, Retargetable?

[BibT_eX]

[DOI]

Vishv M. Malhotra

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

Structuring Decompiled Graphs.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 6th International Conference, 1996

Teaching C/C++ to computer science students with pascal programming experience.

[BibT_eX]

[DOI]

Barry Brannan

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

Decompilation of Binary Programs.

[BibT_eX]

[DOI]

K. John Gough

Softw. Pract. Exp., 1995

An Environment for the Reverse Engineering of Executable Programs.

[BibT_eX]

[DOI]