Program Analysis for Managed Runtimes in Presence of Dynamic Features | Aditya Anand | IICT'24
23:49
CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis | Pritam Gharat | IICT'24
19:28
Why generating Three Address Code for Javascript is hard | Meetesh Kalpesh Mehta | IICT'24
20:52
Techniques for IDE-friendly Compiler Construction and Applications in Blockchain | Bhavya Bhatt
54:18
Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24
21:44
Engineering behind OCaml's Effect handlers | Manas Jayanth | IICT'24
17:53
SLIM: A High-Level Abstraction on LLVM IR Suitable forProgram Analysis | Aditi Raste | IICT'24
18:01
Formal verification of smart contracts | Vikramaditya Kokil | IICT'24
19:55