Organization
Attending
Schedule

2024 Program

Sun 29 Sep
Displayed time zone: India (Chennai, Kolkata, Mumbai, New Delhi)
8:00 - 9:00
Breakfast
9:00 - 10:00
Invited talk
Optimizations for Object Oriented Programs

Manas Thakur

10:00 - 10:20
CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis
Pritam Gharat, Uday P. Khedker, Alan Mycroft, Supriya Bhide and Aditya Pradhan
10:20 - 10:40
A Correspondence Between ϕ-function Placement in SSA and Reaching Definitions Analysis
Supriya Bhide, Uday Khedker and Pritam Gharat
10:40 - 11:00
pliron: An Extensible IR Framework in Rust
Vaivaswatha Nagaraj
11:00 - 11:30
Invited talk
Tea break

0

11:30-11:50
SLIM: A High-Level Abstraction on LLVM IR Suitable for Program Analysis
Aditi Raste, Aditya Pradhan, Akshat Oke and Uday Khedker
11:50 - 12:10
Why generating Three Address Code for Javascript is hard
Meetesh Kalpesh Mehta
12:10-12:30
Program Analysis for Managed Runtimes in Presence of Dynamic Features
Aditya Anand
12:30-12:50
Engineering behind OCaml's Effect handlers
Manas Jayanth
12:50 - 14:00
Invited talk
Lunch

0

14:00-15:00
Invited talk
Translation Validation

Supratik Chakraborty

15:00-15:20
Memspect: Tiny Static Analysis Framework for Real-World C Codebases
Hari Varsha
15:20 - 15:50
Invited talk
Tea break

0

15:50 - 16:10
Fuzzing Programs with Structure-aware Fuzzers: An Industrial Case Study
Das K Darshana, P Krishnahari, Kuriakose T Libna and C M Parvathy
16:10 - 16:30
Automated Verification of Concurrent Programs
Divyanjali Sharma and Subodh Sharma

Carefully crafted by Embrays Technologies