PLATO: Programming Languages Analysis Transformation Optimization

×

Talks at IICT 2024

1. A Correspondence Between ϕ-function Placement in SSA and Reaching Definitions Analysis : Supriya Bhide

2. CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis : Pritam Gharat

3. Optimizations for Object Oriented Programs : Prof. Manas Thakur

4. Program Analysis for Managed Runtimes in Presence of Dynamic Features : Aditya Anand

5. SLIM: A High-Level Abstraction on LLVM IR Suitable forProgram Analysis : Aditi Raste

6. Why generating Three Address Code for Javascript is hard : Meetesh Mehta

Research Posters (PLACID-2025)

1. Liveness-based Sparse Points-to Analysis

2. Program Analysis for Managed Runtimes in Presence of Dynamic Features

3. Polyglot Program Optimization

4. LatticeHashForest

5. Incremental Analysis for Reviewing Alarms

6. CoS-SSA for Recursive Programs

7. Optimizations in Java JIT Compilers Based on Value Types

8. Efficient Flow-Sensitive (FS) Points-to Analysis via Flow-Insensitive (FI) Insight

9. Heap Reference Analysis

10. Optimizing Dynamic Languages

11. Simplified LLVM Instruction Modelling (SLIM) for Analysis and Optimizations

12. From Bottlenecks to Breakthroughs : Scaling Pointer Analysis using Coalescing Algorithm

13. Enhancing VASCO Framework

14. Interprocedural Scalar Replacement

15. A better MOSS alternative?

16. PTA-Viz

17. Context Sensitive(CoS) SSA for Interprocedural Program Analysis and Optimisation