Details for Mike Van Emmerik
|
 |
- Recent Publications:
- M. Van Emmerik. Static Single Assignment for Decompilation. PhD thesis, School of ITEE, University of Queensland, 2007.
- M. Van Emmerik and T. Waddington. "Using a Decompiler for Real-World Source Recovery", the Working Conference on Reverse Engineering Delft, Netherlands, 9th-12th November 2004. An extended version of the paper can be downloaded here.
- C Cifuentes, M Van Emmerik, N Ramsey and B Lewis,
Experience in the Design, Implementation and Use of a Retargetable
Static Binary Translation Framework, Sun Microsystems Laboratories,
Technical Report TR-2002-105, January 2002.
- C Cifuentes and M Van Emmerik. Recovery of Jump Table Case Statements from Binary Code. Science of Computer Programming, 40 (2001): 171-188
- C Cifuentes, T Waddington, and M Van Emmerik. Computer Security Analysis through Decompilation and High-Level Debugging. Decompilation Techniques Workshop, Proceedings of the Eighth Working Conference on Reverse Engineering , Stuttgart, Germany, October 2001, IEEE-CS Press, pp 375-380.
- C Cifuentes and M Van Emmerik. UQBT: Adaptable Binary Translation at Low Cost. Computer, Vol 33, No 3, March 2000, IEEE Computer Society Press, pp 60-66
- C Cifuentes, M Van Emmerik, D Ung, D Simon and T Waddington. Preliminary Experiences with the Use of the UQBT Binary Translation Framework. Proceedings of the Workshop on Binary Translation, NewPort Beach, Oct 16, 1999. Technical Committee on Computer Architecture Newsletter, IEEE-CS Press, Dec 1999, pp 12-22.
- C Cifuentes, M Van Emmerik, and N. Ramseyr. The Design of a Resourceable and Retargetable Binary Translator. Proceedings of the Sixth Working Conference on Reverse Engineering, Atlanta, USA, October1999, IEEE-CS Press, pp 280-291.
- C Cifuentes and M Van Emmerik. Recovery of Jump Table Case Statements from Binary Code. Proceedings of the International Workshop on Program Comprehension, Pittsburgh, USA, May 1999, IEEE-CS Press, pp 192-199.
- M Van Emmerik. Identifying Library Functions in Executable Files Using Patterns. Proceedings of the 1998 Australian Software Engineering Conference, Adelaide, 9th to 13th November, 1998, IEEE-CS Press, pp 90-97. Available from IEEE Xplorer (alternative and proceedings). An earlier version is available in postscript form.
- Education:
- Bachelor of Engineering, University of Queensland, First Class Honours 1980.
- Bachelor of Science (Specialising in Computer Science), University of Queensland, 1979.
- Matriculated St Edmunds' College, Ipswich, Queensland 1975. Dux of school; highest Tertiary Entrance score, straight 7s in year 12.
- Research Interests
- Decompilation of binary programs; recovering types from the semantics of instructions; binary translation. See the boomerang open source decompiler project, the DeCompilation page, BinaryTranslation page, the UQBT page, and the dcc home page.
- Using SML-NJ
- Using the New Jersey Machine Code Toolkit
- Using the New Jersey Machine Code Toolkit (ML version)
- Tabstops in vi
- Using CVS
- Making and Using Spec Benchmarks
- Forcing unix filenames to lower case
- Running and using VPO/VPCC
- Adding a network printer to Windows/NT
- Floating Point Emulation Interrupts
- Some Notes on the ELF Binary File Format
- Passing Parameters
- Using STL features like string and list
- Using Visio to produce EPS files for LyX / LaTeX
- Using Latex and Latex2html
- Setting up X Windows when you have an Xterm
- Setting up and using Dotty
- Editing Binary Files
- Problems Making UQBT1.0 Alpha
- Printing PowerPoint Summaries
- Hints on using LyX to write a PhD thesis
- Hints on using LyX to write a conference paper
- Using the Boehm Garbage Collector
with existing C++ code
Mike's Personal Home Page,
Academic page, and
resumé.