Hello folks! Greetings from the PL Analysis Translation and Optimization group (PLATO) at CSE, IIT Bombay!
Get ready for an exhilarating experience as we unveil the Programming Languages and Compilers In Industry Day (PLACID) on 29th and 30th March, 2025. Join us in exploring the backstage marvels of programming languages- the compilers industry engineers. Featuring talks by industry experts from leading compiler-focused companies and posters session featuring the research work done by our Undergraduate, Masters and PhD students. This exclusive event is designed to expose IIT Bombay students to the dynamic world of compilers and programming languages, offering insights into industry advancements. Don't miss this opportunity to dive into the heart of cutting-edge developments on the grand stage of programming languages and compiler technology!
MTS Software Development Engineer, AMD
GPU Compiler Development, LLVM, HIP/CUDA
Development Manager & Product Lead, MathWorks
Formal Modelling & Verification
Principal Scientist, TCS Research
Program Analysis, Regression Testing, Program Comprehension
Sr. Manager GPU Compiler Backend, NVIDIA Graphics Pvt. Ltd.
Compiler Construction, GPUs,
Co-founder & Chief Architect, Agrani Labs
Computer Architecture, Silicon Development
Senior System Software Engineer, NVIDIA
Compiler optimization, GCC compiler, TVM compiler
Senior Compiler Engineer , NVIDIA
Compiler optimization, Architecture, Static & Dynamic analysis and LLVM
Software-Wireless & Networking, Tejas Networks
DSls for Radio Access Networking
Sl.No | Title of the Poster | Presenter |
---|---|---|
1. | Liveness-based Sparse Points-to Analysis | - Aditi Raste |
2. | Program Analysis for Managed Runtimes in Presence of Dynamic Features | - Aditya Anand |
3. | Polyglot Program Optimization | - Anadi Mitra |
4. | LatticeHashForest | - Anamitra Ghorui |
5. | Incremental Analysis for Reviewing Alarms | - Anushri Jana |
6. | CoS-SSA for Recursive Programs | - Arpana Prajapati, Sathwika Reddy, Supriya Bhide |
7. | Optimizations in Java JIT Compilers Based on Value Types | - Bhavya Hirani |
8. | Efficient Flow-Sensitive (FS) Points-to Analysis via Flow-Insensitive (FI) Insight | - Chaitanya Garg |
9. | Heap Reference Analysis | - Gargi Bakshi, Palle Bhavana |
10. | Optimizing Dynamic Languages | - Meetesh Mehta |
11. | Simplified LLVM Instruction Modelling (SLIM) for Analysis and Optimizations | - Om Godage, Aman Sharma |
12. | From Bottlenecks to Breakthroughs : Scaling Pointer Analysis using Coalescing Algorithm | - Priyanshi Gupta |
13. | Enhancing VASCO Framework | - Rashmi Kokare |
14. | Interprocedural Scalar Replacement | - Rohit Singh Yadav |
15. | A better MOSS alternative? | - Ruchika Shirsath |
16. | PTA-Viz | - Siddharth Patil |
17. | Context Sensitive(CoS) SSA for Interprocedural Program Analysis and Optimisation | - Supriya Bhide, Arpana Prajapati, Sathwika Reddy |
Faculty, CSE, IITB
Faculty, CSE, IITB
Project Staff, CSE, IITB
PhD Student, CSE, IITB
PhD Student, CSE, IITB
PhD Student, CSE, IITB