OR

Browse By

Verifying Graal Optimization Passes (2019–2026)

Grant type:
Oracle Labs
Researchers:

  • Emeritus Professor Ian Hayes

    Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Oracle Labs