Manas Thakur
Office: CC 308 (New CSE Building)
Department of Computer Science & Engineering
Indian Institute of Technology Bombay
Powai, Mumbai 400 076, Maharashtra, India
Email: manas@cse.iitb.ac.in
Phone (intra): 7739
Research Interests: Program analysis, Compiler optimizations, Programming languages
Featured interview in BitStream 2024: Read here!
Want to do research with me?
Go over the Openings page to understand the requirements and how it might be.
Read this primer on enhancing (and reducing) the chances of receiving an email response.
Next research admission rounds at CSE IITB will be in Summer 2025; keep following the admissions page for details.
Recent work:
Staged Analysis for JITs [OOPSLA 2025, FMSD 2024, SAS 2022, SPLASH-C 2022, OOPSLA 2019, TOPLAS 2019]
Optimizations in Presence of Dynamism [PLDI 2024, OOPSLA 2023, VMIL 2023]
Context-Sensitive Pointer Analysis [Onward! 2020, CC 2020, CC 2019]
Parallelization using SMT Solvers [CASCON 2022, ECOOP/ISSTA 2021]
Functional Refactoring [ECOOP/ISSTA 2021]
Highlights @CompL
Aditya's paper is accepted for publication at OOPSLA 2025.
Shiv, Shrikha and Heemmanshuu's submission gets accepted at Scala 2025.
New CompLers from Autumn 2025: Anirudh, Aneeket, Kavya, Vedant, and Sania.
Manas awarded Faculty of the Year 2024 by IBM CAS.
Arjun and Aditya's talk proposals get accepted at SERI 2024.