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
Course in Spring 2025: Advanced Compilers.
PC Memberships in 2025: PLDI, APLAS, ISMM, SAS.
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:
Optimizations in Presence of Dynamism [PLDI 2024, OOPSLA 2023, VMIL 2023]
Staged Analysis for JIT Compilers [FMSD 2024, SAS 2022, SPLASH-C 2022, OOPSLA 2019, TOPLAS 2019]
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
New CompLers from Spring 2025: Samarth, Kush, and Bhavya.
Manas awarded Faculty of the Year 2024 by IBM CAS.
Arjun's and Aditya's talk proposals get accepted at SERI 2024.
Aditya's paper is accepted for publication at FMSD 2024.
Aditya, Adithya, Swapnil and Priyam's paper is accepted for publication at PLDI 2024.