Email Gateway (Aug 23 2022 at 08:55): Email Gateway (Aug 23 2022 at 08:55):From: Mark Utting <m.utting@uq.edu.au>
Dear Isabelle Users
If you are interested in doing a PhD in Australia, using Isabelle to verify compiler optimizations, please read on...
We have two PhD positions available part of a new project funded by Oracle Labs Australia to model and verify sophisticated compiler optimisations in the Graal Java compiler<http://www.graalvm.org>. Graal is a high-performance polyglot virtual machine (VM) that not only supports JVM-based languages such as Java, Scala, Kotlin and Groovy, and LLVM-based languages like C and C++, but also more dynamic languages like Python and JavaScript. This research project focuses on verifying optimization passes of the Graal compiler, using the Isabelle interactive theorem prover.
For more details please see:
https://scholarships.uq.edu.au/scholarship/phd-scholarship-verifying-compiler-optimization-passes
Cheers
Mark
Associate Professor Mark Utting
MSc Waikato, PhD UNSW
Software Engineering | Cyber Security
School of Information Technology and Electrical Engineering
The University of Queensland
Brisbane Qld 4072 Australia
T +61 7 3365 3310
E m.utting@uq.edu.au<mailto:m.utting@uq.edu.au> W https://cyber.uq.edu.au<https://cyber.uq.edu.au/>
CRICOS Provider: 00025B
[https://support.staff.uq.edu.au/ci/inlineImage/get/4826099/277631508108acd58f44b90a9297a394]
The University of Queensland is embracing the Green Office philosophy. Please consider the environment before printing this email.
This email (including any attached files) is intended solely for the addressee and may contain confidential information of The University of Queensland. If you are not the addressee, you are notified that any transmission, distribution, printing or photocopying of this email is prohibited. If you have received this email in error, please delete and notify me. Unless explicitly stated, the opinions expressed in this email do not represent the official position of The University of Queensland.
image001.jpg
Last updated: Nov 21 2024 at 12:39 UTC