Translation Validation | Prof. Supratik Chakraborty | IICT'24
1:17:07
DL4Compilers – Turbo-charging compiler optimizations via Deep Learning | IICT 2024
46:30
Building Compilers for AI Programming Frameworks | Prof. Uday Reddy Bondhugula | IICT 2024
54:18
Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24
18:01
Formal verification of smart contracts | Vikramaditya Kokil | IICT'24
16:59
C-lisp and Flexible Macro Programming with S-expressions | Vedanth P | IICT'24
30:23
Web3 and Program Analysis | Dr. Saurabh Joshi
1:06:43
Unveiling the Inner Workings of IREE: An MLIR-Based Compiler for Diverse H/W
19:55