default search action
Niranjan Hasabnis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j2]Re'em Harel, Tal Kadosh, Niranjan Hasabnis, Timothy G. Mattson, Yuval Pinter, Gal Oren:
PragFormer: Data-Driven Parallel Source Code Classification with Transformers. Int. J. Parallel Program. 53(1): 2 (2025) - 2024
- [j1]Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). Dagstuhl Artifacts Ser. 10(2): 17:1-17:2 (2024) - [c14]Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. ECOOP 2024: 32:1-32:28 - [c13]Le Chen, Arijit Bhattacharjee, Nesreen K. Ahmed, Niranjan Hasabnis, Gal Oren, Vy A. Vo, Ali Jannesari:
OMPGPT: A Generative Pre-trained Transformer Model for OpenMP. Euro-Par (1) 2024: 121-134 - [i19]Le Chen, Arijit Bhattacharjee, Nesreen K. Ahmed, Niranjan Hasabnis, Gal Oren, Vy A. Vo, Ali Jannesari:
OMPGPT: A Generative Pre-trained Transformer Model for OpenMP. CoRR abs/2401.16445 (2024) - [i18]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, Vy A. Vo, Juan Pablo Muñoz, Theodore L. Willke, Tim Mattson, Ali Jannesari:
The Landscape and Challenges of HPC Research and LLMs. CoRR abs/2402.02018 (2024) - [i17]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, Gal Oren:
MPIrigen: MPI Code Generation through Domain-Specific Language Models. CoRR abs/2402.09126 (2024) - [i16]Renato Golin, Lorenzo Chelini, Adam Siemieniuk, Kavitha Madhu, Niranjan Hasabnis, Hans Pabst, Evangelos Georganas, Alexander Heinecke:
Towards a high-performance AI compiler with upstream MLIR. CoRR abs/2404.15204 (2024) - [i15]Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. CoRR abs/2404.18249 (2024) - [i14]Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Verified Code Transpilation with LLMs. CoRR abs/2406.03003 (2024) - [i13]Tal Kadosh, Niranjan Hasabnis, Prema Soundararajan, Vy A. Vo, Mihai Capota, Nesreen K. Ahmed, Yuval Pinter, Gal Oren:
OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation. CoRR abs/2409.14771 (2024) - 2023
- [c12]Tal Kadosh, Niranjan Hasabnis, Timothy G. Mattson, Yuval Pinter, Gal Oren:
Quantifying OpenMP: Statistical Insights into Usage and Adoption. HPEC 2023: 1-7 - [c11]Tal Kadosh, Nadav Schneider, Niranjan Hasabnis, Timothy G. Mattson, Yuval Pinter, Gal Oren:
Advising OpenMP Parallelization via A Graph-Based Approach with Transformers. IWOMP 2023: 3-17 - [c10]Nadav Schneider
, Tal Kadosh
MPI-RICAL: Data-Driven MPI Distributed Parallelism Assistance with Transformers. SC Workshops 2023: 1-10 - [i12]Nadav Schneider, Tal Kadosh, Niranjan Hasabnis, Timothy G. Mattson, Yuval Pinter, Gal Oren:
MPI-rical: Data-Driven MPI Distributed Parallelism Assistance with Transformers. CoRR abs/2305.09438 (2023) - [i11]Tal Kadosh, Nadav Schneider, Niranjan Hasabnis, Timothy G. Mattson, Yuval Pinter, Gal Oren:
Advising OpenMP Parallelization via a Graph-Based Approach with Transformers. CoRR abs/2305.11999 (2023) - [i10]Tal Kadosh, Niranjan Hasabnis, Timothy G. Mattson, Yuval Pinter, Gal Oren:
Quantifying OpenMP: Statistical Insights into Usage and Adoption. CoRR abs/2308.08002 (2023) - [i9]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:
Scope is all you need: Transforming LLMs for HPC Code. CoRR abs/2308.09440 (2023) - [i8]Le Chen, Arijit Bhattacharjee, Nesreen K. Ahmed, Niranjan Hasabnis, Gal Oren, Bin Lei, Ali Jannesari:
CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset. CoRR abs/2311.06505 (2023) - [i7]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, Gal Oren:
Domain-Specific Code Language Models: Unraveling the Potential for HPC Codes and Tasks. CoRR abs/2312.13322 (2023) - 2022
- [c9]Niranjan Hasabnis:
GitRank: A Framework to Rank GitHub Repositories. MSR 2022: 729-731 - [c8]Niranjan Hasabnis:
Are machine programming systems using right source-code measures to select code repositories? MaLTeSQuE@ESEC/SIGSOFT FSE 2022: 11-16 - [i6]Niranjan Hasabnis:
GitRank: A Framework to Rank GitHub Repositories. CoRR abs/2205.02360 (2022) - [i5]Niranjan Hasabnis:
Are Machine Programming Systems using Right Source-Code Measures to Select Code Repositories? CoRR abs/2209.11946 (2022) - [i4]Mohammad Hossain, Derssie Mebratu, Niranjan Hasabnis, Jun Jin, Gaurav Chaudhary, Noah Shen:
CWD: A Machine Learning based Approach to Detect Unknown Cloud Workloads. CoRR abs/2211.15739 (2022) - 2021
- [c7]Niranjan Hasabnis, Justin Gottschlich
ControlFlag: a self-supervised idiosyncratic pattern detection system for software control structures. MAPS@PLDI 2021: 32-42 - [c6]Derssie Mebratu, Niranjan Hasabnis, Pietro Mercati
Automatic Tuning of Tensorflow's CPU Backend Using Gradient-Free Optimization Algorithms. ISC Workshops 2021: 249-266 - [i3]Derssie Mebratu, Niranjan Hasabnis, Pietro Mercati, Gaurit Sharma, Shamima Najnin:
Automatic Tuning of Tensorflow's CPU Backend using Gradient-Free Optimization Algorithms. CoRR abs/2109.06266 (2021) - 2020
- [i2]Niranjan Hasabnis, Justin Gottschlich:
ControlFlag: A Self-supervised Idiosyncratic Pattern Detection System for Software Control Structures. CoRR abs/2011.03616 (2020)
2010 – 2019
- 2018
- [i1]Niranjan Hasabnis:
Auto-tuning TensorFlow Threading Model for CPU Backend. CoRR abs/1812.01665 (2018) - 2016
- [c5]Niranjan Hasabnis, R. Sekar:
Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers. ASPLOS 2016: 311-324 - [c4]Niranjan Hasabnis, R. Sekar:
Extracting instruction semantics via symbolic execution of code generators. SIGSOFT FSE 2016: 301-313 - 2015
- [c3]Niranjan Hasabnis, Rui Qiao, R. Sekar:
Checking correctness of code generator architecture specifications. CGO 2015: 167-178 - 2014
- [c2]Mingwei Zhang, Rui Qiao, Niranjan Hasabnis, R. Sekar:
A platform for secure static binary instrumentation. VEE 2014: 129-140 - 2012
- [c1]Niranjan Hasabnis, Ashish Misra, R. Sekar:
Light-weight bounds checking. CGO 2012: 135-144
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: