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
20:52
Techniques for IDE-friendly Compiler Construction and Applications in Blockchain | Bhavya Bhatt
21:44
Engineering behind OCaml's Effect handlers | Manas Jayanth | IICT'24
19:55
No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24
23:19
Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar
18:01
Formal verification of smart contracts | Vikramaditya Kokil | IICT'24
17:53
SLIM: A High-Level Abstraction on LLVM IR Suitable forProgram Analysis | Aditi Raste | IICT'24
18:46