Все публикации

Programming Languages Techniques for FPGA Compilation

Introduction to GPU architecture and IREE's GPU CodeGen Pipeline

New Age of compilation for AI HPC | Srihari Karnam and Judhajit Dutta | IICT'24

Memspect: Tiny Static Analysis Framework for Real-World C Codebases | Hari varsha | IICT'24

A Correspondence Between ϕ-function Placement in SSA and Reaching Definitions Analysis | Supriya B

Program Analysis for Managed Runtimes in Presence of Dynamic Features | Aditya Anand | IICT'24

Automated Verification of Concurrent Programs | Divyanjali Sharma | IICT'24

Engineering behind OCaml's Effect handlers | Manas Jayanth | IICT'24

Techniques for IDE-friendly Compiler Construction and Applications in Blockchain | Bhavya Bhatt

pliron: An Extensible IR Framework in Rust | Vaivaswatha Nagaraj | IICT'24

CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis | Pritam Gharat | IICT'24

Why generating Three Address Code for Javascript is hard | Meetesh Kalpesh Mehta | IICT'24

SLIM: A High-Level Abstraction on LLVM IR Suitable forProgram Analysis | Aditi Raste | IICT'24

What is Dyalog APL and What Can It Do For You? | Aarush Bhat | IICT'24

C-lisp and Flexible Macro Programming with S-expressions | Vedanth P | IICT'24

Formal verification of smart contracts | Vikramaditya Kokil | IICT'24

Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar

Towards Higher First Silicon Success via Improved Finite-State Machine Detection | Vikram Narayan

No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24

STGraph: A Framework for Temporal Graph Neural Networks | Kevin Jude Concessao | IICT'24

Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24

Translation Validation | Prof. Supratik Chakraborty | IICT'24

DL4Compilers – Turbo-charging compiler optimizations via Deep Learning | IICT 2024

FireDucks: Pandas Accelerator using MLIR | Sourav Saha, Kazuhisa Ishizaka and Ashu Thakur

visit shbcf.ru