Just-in-Time Compilers

Can we help JIT compilers make better decisions when applying a code transformation? In this work, we have been developing several algorithms that enable a JIT compiler to reason not only about the cost of applying a code tranformation (e.g., method inlining), but also about the potential future benefits (e.g., further optimizations) of applying such a code transformation.

[1, 2]

Related Publications

2021

  1. CASCON
    Hotfixing Misuses of Crypto APIs in Java Programs
    Kristen Newbury, Karim Ali, and Andrew Craik
    In International Conference on Computer Science and Software Engineering, Nov 2021
  2. CASCON
    U Can’t Inline This!
    Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, and José Nelson Amaral
    In International Conference on Computer Science and Software Engineering, Nov 2021