United StatesChange Country, Oracle Worldwide Web Sites Communities I am a... I want to...

Dr. Andrew Craik

 Andrew Craik

Dr. Andrew Craik
Senior Member of Technical Staff
Parfait Project
Oracle Labs


300 Ann Street
Brisbane, QLD 4001


Andrew Craik is a Software Engineer for Oracle Labs. His research interests include compilation, concurrency, program analysis, programming languages and operating systems. He graduated with distinction from the University of Waterloo with a Bachelor of Applied Science Honours Computer Engineering - Cooperative Program in June 2007. He then completed his PhD under the supervision of Dr. Wayne Kelly and Prof. Paul Roe at the Queensland University of Technology in Brisbane, Australia. He graduated from QUT in early 2011 with his thesis "A Framework for Reasoning about Parallelism in Modern Object-Oriented Languages".

During the course of his undergraduate career, he had the opportunity to undertake 4 month periods of full-time work with a number of positions including IBM UK, OpenText Corporation in Waterloo, Ontario and the IBM Canada Software Labs in Markham, Ontario where he worked for the Java JIT compiler development group.

He has traveled extensively and has lived in Canada, the United Kingdom, Kuwait, and Australia. He is currently working on improving the infrastructure used to generate the LLVM bitcode analyzed by Parfait including the Clang compiler and LLVM linker. In his spare time he volunteers with St John Ambulance providing first aid in the community and running his division's first aid training program.

Latest Publications

  • ESEC-FSE11 tool demo: Static Deep Error Checking in Large System Applications using Parfait
    Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo Basauri, Andrew Robert Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann, Slides, (Sep 1, 2011)
  • Static Deep Error Checking in Large System Applications using Parfait
    Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo Basauri, Andrew Browne, Jakub Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann, In Proceedings, (Jul 4, 2011)
  • Static deep error checking in large system applications using parfait.
    Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann, in proceedings, (2011)
     See all 


    Back to list of People