| Light-weight bounds checking N Hasabnis, A Misra, R Sekar Proceedings of the Tenth International Symposium on Code Generation and …, 2012 | 124 | 2012 |
| A platform for secure static binary instrumentation M Zhang, R Qiao, N Hasabnis, R Sekar Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on …, 2014 | 113 | 2014 |
| Lifting assembly to intermediate representation: A novel approach leveraging compilers N Hasabnis, R Sekar Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 63 | 2016 |
| The landscape and challenges of HPC research and LLMs L Chen, NK Ahmed, A Dutta, A Bhattacharjee, S Yu, QI Mahmud, ... arXiv preprint arXiv:2402.02018, 2024 | 43 | 2024 |
| Verified code transpilation with LLMs S Bhatia, J Qiu, N Hasabnis, SA Seshia, A Cheung Advances in Neural Information Processing Systems 37, 41394-41424, 2024 | 40 | 2024 |
| Ompgpt: A generative pre-trained transformer model for openmp L Chen, A Bhattacharjee, N Ahmed, N Hasabnis, G Oren, V Vo, ... European Conference on Parallel Processing, 121-134, 2024 | 37 | 2024 |
| Inter-architecture compatability module to allow code module of one architecture to use library module of another architecture N Hasabnis, S Srinivas, J Bobba US Patent 10,120,663, 2018 | 35 | 2018 |
| Extracting instruction semantics via symbolic execution of code generators N Hasabnis, R Sekar Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 29 | 2016 |
| Advising openmp parallelization via a graph-based approach with transformers T Kadosh, N Schneider, N Hasabnis, T Mattson, Y Pinter, G Oren International Workshop on OpenMP, 3-17, 2023 | 27 | 2023 |
| Quantifying openmp: Statistical insights into usage and adoption T Kadosh, N Hasabnis, T Mattson, Y Pinter, G Oren 2023 IEEE High Performance Extreme Computing Conference (HPEC), 1-7, 2023 | 24 | 2023 |
| Scope is all you need: Transforming LLMs for HPC Code T Kadosh, N Hasabnis, VA Vo, N Schneider, N Krien, A Wasay, N Ahmed, ... arXiv preprint arXiv:2308.09440, 2023 | 23 | 2023 |
| MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks T Kadosh, N Hasabnis, VA Vo, N Schneider, N Krien, M Capota, A Wasay, ... IEEE High Performance Extreme Computing (HPEC), 2023 | 20 | 2023 |
| Auto-tuning tensorflow threading model for cpu backend N Hasabnis 2018 IEEE/ACM Machine Learning in HPC Environments (MLHPC), 14-25, 2018 | 17 | 2018 |
| ControlFlag: a self-supervised idiosyncratic pattern detection system for software control structures N Hasabnis, J Gottschlich Proceedings of the 5th ACM SIGPLAN International Symposium on Machine …, 2021 | 16 | 2021 |
| Checking correctness of code generator architecture specifications N Hasabnis, R Qiao, R Sekar 2015 IEEE/ACM International Symposium on Code Generation and Optimization …, 2015 | 15 | 2015 |
| Mpi-rical: Data-driven mpi distributed parallelism assistance with transformers N Schneider, T Kadosh, N Hasabnis, T Mattson, Y Pinter, G Oren Proceedings of the SC'23 Workshops of the International Conference on High …, 2023 | 14 | 2023 |
| PragFormer: Data-Driven Parallel Source Code Classification with Transformers R Harel, T Kadosh, N Hasabnis, T Mattson, Y Pinter, G Oren International Journal of Parallel Programming 53 (1), 2, 2025 | 12* | 2025 |
| Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version) J Qiu, C Cai, S Bhatia, N Hasabnis, SA Seshia, A Cheung arXiv preprint arXiv:2404.18249, 2024 | 12 | 2024 |
| Misim: A neural code semantics similarity system using the context-aware semantics structure F Ye, S Zhou, A Venkat, R Marcus, N Tatbul, JJ Tithi, N Hasabnis, ... arXiv preprint arXiv:2006.05265, 2020 | 12 | 2020 |
| Mpirigen: Mpi code generation through domain-specific language models N Schneider, N Hasabnis, VA Vo, T Kadosh, N Krien, M Capota, G Tamir, ... Proceedings of the 2024 Workshop on AI For Systems, 1-6, 2024 | 11 | 2024 |
Gal OrenVisiting Scholar, Stanford | Assistant Professor of CS, TechnionVerified email at stanford.edu
