Title: Fixing the see-saw: Enabling precise optimizations in JIT compilers, efficiently
Abstract:
Just-in-time (JIT) compilers offer novel ways to optimize programs based on their execution profile and have found significant usage in languages with managed runtimes. However, as the JIT-compilation time directly affects the execution time of a program, precision-enhancement techniques from the static-analysis world seldom find way into these otherwise powerful systems.
In this talk, I would first illustrate the above challenge using examples of program analysis aimed at enabling stack allocation of heap objects in Java. We would see how we have developed techniques to not only allocate a large number of objects on stack (leading to reduced garbage collection and improved performance), but to also handle challenges posed by possible dynamism in Java Virtual Machines. We would also understand how we facilitate code specialization in even newer dimensions by reusing compiled code for the lazy dynamic language R. All parts of the story would be bound by our encompassing goal: efficiency during program execution.
Speaker Bio:
Professor Manas Thakur is a faculty member in the Department of Computer Science and Engineering at the Indian Institute of Technology (IIT) Bombay. His research interests include program analysis, compiler optimizations, programming languages, software engineering, and parallelization. He heads the CompL (pronunciation: "Compel") research group at IIT Bombay.
Professor Manas holds PhD and Master's degrees in Computer Science and Engineering from IIT Madras. His thesis titled "Precise and Efficient Analysis of Java Programs" earned him one of the institute's research awards and jointly the IBM Best Thesis Award in 2019-20. Before joining IIT Bombay, he was at IIT Mandi for three years, during which he received the Teaching Honour Roll Award in 2021
Website: https://www.cse.iitb.ac.in/~manas/
Research Group: https://www.cse.iitb.ac.in/~manas/students.html
Google Scholar: https://scholar.google.com/citations?user=4DCfL7UAAAAJ&hl=en&oi=sra
