Light-weight bounds checking. - Niranjan Hasabnis; Ashish Misra; R. Sekar 001 (CGO, 2012)

A platform for secure static binary instrumentation. - Mingwei Zhang 005; Rui Qiao 002; Niranjan Hasabnis; R. Sekar 001 (VEE, 2014)

Checking correctness of code generator architecture specifications. - Niranjan Hasabnis; Rui Qiao 002; R. Sekar 001 (CGO, 2015)

Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers. - Niranjan Hasabnis; R. Sekar 001 (ASPLOS, 2016)

Extracting instruction semantics via symbolic execution of code generators. - Niranjan Hasabnis; R. Sekar 001 (SIGSOFT FSE, 2016)

Auto-tuning TensorFlow Threading Model for CPU Backend. - Niranjan Hasabnis (CoRR, 2018)

ControlFlag: a self-supervised idiosyncratic pattern detection system for software control structures. - Niranjan Hasabnis; Justin Gottschlich (MAPS@PLDI, 2021)

Automatic Tuning of Tensorflow's CPU Backend Using Gradient-Free Optimization Algorithms. - Derssie Mebratu; Niranjan Hasabnis; Pietro Mercati; Gaurit Sharma; Shamima Najnin (ISC Workshops, 2021)

GitRank: A Framework to Rank GitHub Repositories. - Niranjan Hasabnis (MSR, 2022)

Are machine programming systems using right source-code measures to select code repositories? - Niranjan Hasabnis (MaLTeSQuE@ESEC/SIGSOFT FSE, 2022)

CWD: A Machine Learning based Approach to Detect Unknown Cloud Workloads. - Mohammad Hossain; Derssie Mebratu; Niranjan Hasabnis; Jun Jin 002; Gaurav Chaudhary; Noah Shen (CoRR, 2022)

Quantifying OpenMP: Statistical Insights into Usage and Adoption. - Tal Kadosh; Niranjan Hasabnis; Timothy G. Mattson; Yuval Pinter; Gal Oren 001 (HPEC, 2023)

Advising OpenMP Parallelization via A Graph-Based Approach with Transformers. - Tal Kadosh; Nadav Schneider; Niranjan Hasabnis; Timothy G. Mattson; Yuval Pinter; Gal Oren 001 (IWOMP, 2023)

MPI-RICAL: Data-Driven MPI Distributed Parallelism Assistance with Transformers. - Nadav Schneider; Tal Kadosh; Niranjan Hasabnis; Timothy G. Mattson; Yuval Pinter; Gal Oren 001 (SC Workshops, 2023)

Scope is all you need: Transforming LLMs for HPC Code. - Tal Kadosh; Niranjan Hasabnis; Vy A. Vo; Nadav Schneider; Neva Krien; Abdul Wasay; Nesreen K. Ahmed; Ted Willke; Guy Tamir; Yuval Pinter; Timothy G. Mattson; Gal Oren 001 (CoRR, 2023)

CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset. - Le Chen; Arijit Bhattacharjee; Nesreen K. Ahmed; Niranjan Hasabnis; Gal Oren 001; Bin Lei; Ali Jannesari (CoRR, 2023)

Domain-Specific Code Language Models: Unraveling the Potential for HPC Codes and Tasks. - Tal Kadosh; Niranjan Hasabnis; Vy A. Vo; Nadav Schneider; Neva Krien; Mihai Capota; Abdul Wasay; Nesreen K. Ahmed; Ted Willke; Guy Tamir; Yuval Pinter; Timothy G. Mattson; et al. (CoRR, 2023)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (ECOOP, 2024)

OMPGPT: A Generative Pre-trained Transformer Model for OpenMP. - Le Chen; Arijit Bhattacharjee; Nesreen K. Ahmed; Niranjan Hasabnis; Gal Oren 001; Vy A. Vo; Ali Jannesari (Euro-Par (1), 2024)

MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks. - Tal Kadosh; Niranjan Hasabnis; Vy A. Vo; Nadav Schneider; Neva Krien; Mihai Capota; Abdul Wasay; Guy Tamir; Ted Willke; Nesreen K. Ahmed; Yuval Pinter; Timothy G. Mattson; et al. (HPEC, 2024)

Verified Code Transpilation with LLMs. - Sahil Bhatia; Jie Qiu; Niranjan Hasabnis; Sanjit Seshia; Alvin Cheung (NeurIPS, 2024)

The Landscape and Challenges of HPC Research and LLMs. - Le Chen; Nesreen K. Ahmed; Akash Dutta; Arijit Bhattacharjee; Sixing Yu; Quazi Ishtiaque Mahmud; Waqwoya Abebe; Hung Phan; Aishwarya Sarkar; Branden Butler; Niranjan Hasabnis; Gal Oren 001; et al. (CoRR, 2024)

MPIrigen: MPI Code Generation through Domain-Specific Language Models. - Nadav Schneider; Niranjan Hasabnis; Vy A. Vo; Tal Kadosh; Neva Krien; Mihai Capota; Abdul Wasay; Guy Tamir; Ted Willke; Nesreen K. Ahmed; Yuval Pinter; Timothy G. Mattson; et al. (CoRR, 2024)

Towards a high-performance AI compiler with upstream MLIR. - Renato Golin; Lorenzo Chelini; Adam Siemieniuk; Kavitha Madhu; Niranjan Hasabnis; Hans Pabst; Evangelos Georganas; Alexander Heinecke (CoRR, 2024)

OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation. - Tal Kadosh; Niranjan Hasabnis; Prema Soundararajan; Vy A. Vo; Mihai Capota; Nesreen K. Ahmed; Yuval Pinter; Gal Oren 001 (CoRR, 2024)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (Dagstuhl Artifacts Ser., 2024)

PCEBench: A Multi-Dimensional Benchmark for Evaluating Large Language Models in Parallel Code Generation. - Le Chen; Nesreen K. Ahmed; Mihai Capota; Ted Willke; Niranjan Hasabnis; Ali Jannesari (IPDPS, 2025)

PragFormer: Data-Driven Parallel Source Code Classification with Transformers. - Re'em Harel; Tal Kadosh; Niranjan Hasabnis; Timothy G. Mattson; Yuval Pinter; Gal Oren 001 (Int. J. Parallel Program., 2025)

Can Large Language Models Predict Parallel Code Performance? - Gregory Bolet; Giorgis Georgakoudis; Harshitha Menon; Konstantinos Parasyris; Niranjan Hasabnis; Hayden Estes; Kirk W. Cameron; Gal Oren 001 (CoRR, 2025)