Manas Thakur

Employment

• Indian Institute of Technology Bombay Assistant Professor
  2022 - Present
• Indian Institute of Technology Mandi Assistant Professor
  2019 - 2022
• Indian Institute of Technology Mandi Visiting Assistant Professor
  2019 - 2019
• Indian Institute of Technology Madras Project Associate
  2019 - 2019

Education

• Indian Institute of Technology Madras Ph.D.
• Indian Institute of Technology Madras M.S.

Projects & Funding

Projects & funding information is unavailable.

Publications (14)

• IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
  Proceedings of the ACM on Programming Languages 2026 DOI: 10.1145/3798273
  +Save
• VFlatten: Selective Value-Object Flattening using Hybrid Static and Dynamic Analysis
  IEEE/ACM International Symposium on Code Generation and Optimization 2026
  +Save
• CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3763149
  +Save
• Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3656389
  +Save
• Partial Program Analysis for Staged Compilation Systems
  Formal Methods in System Design 2024 DOI: 10.1007/s10703-024-00458-x
  +Save
• Debugging Dynamic Language Features in a Multi-tier Virtual Machine
  Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages 2023 DOI: 10.1145/3623507.3623549
  +Save
• Reusing Just-in-Time Compiled Code
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3622839
  +Save
• Variational Study of the Impact of Call Graphs on Precision of Android Taint Analysis
  16th Innovations in Software Engineering Conference 2023 DOI: 10.1145/3578527.3578545
  +Save
• ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes
  Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering 2022
  +Save
• Principles of Staged Static+Dynamic Partial Analysis
  Static Analysis Symposium 2022 DOI: 10.1007/978-3-031-22308-2_4
  +Save