Formal verification of smart contracts | Vikramaditya Kokil | IICT'24
23:20
Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar
18:22
What is Dyalog APL and What Can It Do For You? | Aarush Bhat | IICT'24
19:55
No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24
18:33
Tutoriel Kafka pour les débutants | Tout ce que vous devez savoir
20:52
Techniques for IDE-friendly Compiler Construction and Applications in Blockchain | Bhavya Bhatt
1:17:07
DL4Compilers – Turbo-charging compiler optimizations via Deep Learning | IICT 2024
18:06
Memspect: Tiny Static Analysis Framework for Real-World C Codebases | Hari varsha | IICT'24
16:59