Skip to content

Commit 0bb16f4

Browse files
authored
Update index.md
1 parent b8023d3 commit 0bb16f4

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

index.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,11 @@
11
## About me
22

3-
I am currently a Research Scientist at Machine Programming Lab in [Intel Labs](https://www.intel.com/content/www/us/en/research/overview.html). My research interests are at the intersection of application of artificial intelligence, machine learning, and formal method techniques to problems in compilers, HPC, software systems, and software engineering. Previously, I implemented and published an automated system, named [ControlFlag](https://www.intel.com/content/www/us/en/newsroom/news/machine-programming-tool-detects-bugs-code.html), that learns to detect programming errors in code. ControlFlag is [open-source now](https://github.com/IntelLabs/control-flag), and has been covered by several news outlets such as [Communications of ACM](https://cacm.acm.org/careers/256477-intel-opens-controlflag-machine-learning-system-for-improving-code-quality/fulltext), [Venturebeat](https://venturebeat.com/2020/12/03/intels-controlflag-taps-ai-to-automatically-detect-errors-in-code/), [ZDNet](https://www.zdnet.com/article/developers-intels-automated-debugging-tool-controlflag-is-now-open-source/), [TechRepublic](https://www.techrepublic.com/article/intel-unveils-machine-programming-tool-to-detect-bugs-in-code/), etc.
3+
I am currently a Research Scientist at Machine Programming Lab in [Intel Labs](https://www.intel.com/content/www/us/en/research/overview.html). My research interests are at the intersection of application of artificial intelligence, machine learning, and formal method techniques to problems in compilers, HPC, software systems, and software engineering. Recently, along with my collaborators, I am also exploring ability of AI models to automatically parallelize serial code for shared-memory and distributed-memory systems. Previously, I implemented and published an automated system, named [ControlFlag](https://www.intel.com/content/www/us/en/newsroom/news/machine-programming-tool-detects-bugs-code.html), that learns to detect programming errors in code. ControlFlag is [open-source now](https://github.com/IntelLabs/control-flag), and has been covered by several news outlets such as [Communications of ACM](https://cacm.acm.org/careers/256477-intel-opens-controlflag-machine-learning-system-for-improving-code-quality/fulltext), [Venturebeat](https://venturebeat.com/2020/12/03/intels-controlflag-taps-ai-to-automatically-detect-errors-in-code/), [ZDNet](https://www.zdnet.com/article/developers-intels-automated-debugging-tool-controlflag-is-now-open-source/), [TechRepublic](https://www.techrepublic.com/article/intel-unveils-machine-programming-tool-to-detect-bugs-in-code/), etc.
44

55
Prior to joining Intel, I was a PhD student at [Secure Systems Lab](http://seclab.cs.sunysb.edu/seclab/) at [Stony Brook University](https://www.stonybrook.edu/), and I was advised by Prof. R. Sekar. At Stony Brook, I conducted research in program analysis, symbolic execution, machine learning techniques to learn code translators, and binary analysis.
66

7-
## Publications
7+
## (Some of the) Publications
8+
(_Complete list is in [Google Scholar](https://scholar.google.com/citations?hl=en&user=p8vutGkAAAAJ&view_op=list_works&sortby=pubdate)_)
89

910
- Quantifying OpenMP: Statistical Insights into Usage and Adoption [[pdf]](https://arxiv.org/pdf/2308.08002.pdf)<br/>
1011
Tal Kadosh, Niranjan Hasabnis, Timothy Mattson, Yuval Pinter, Gal Oren <br/>
@@ -84,7 +85,7 @@ Mohammad Hossain, Derssie Mebratu, Niranjan Hasabnis, Jun Jin, Gaurav Chaudhary,
8485

8586
## Service
8687

87-
- [ICSE'24](https://conf.researchr.org/committee/icse-2024/icse-2024-software-engineering-in-practice-software-engineering-in-practice)
88+
- [ICSE'24](https://conf.researchr.org/committee/icse-2024/icse-2024-software-engineering-in-practice-software-engineering-in-practice), [FSE'24](https://2024.esec-fse.org/)
8889
- [MLforSys - NeurIPS'23](http://mlforsystems.org/), [FSE'23](https://2023.esec-fse.org/committee/fse-2023-industry-program-committee), [USENIX ATC'23](https://www.usenix.org/conference/atc23), [MSR'23](https://conf.researchr.org/track/msr-2023/msr-2023-industry-track#Call-for-Papers), [AIDB'23](https://sites.google.com/view/aidb2023), [ASE'23](https://conf.researchr.org/track/ase-2023/ase-2023-industry-showcase-papers)
8990
- [AIDB'22](https://sites.google.com/view/aidb2022/home/program-committee), [FSE'22](https://2022.esec-fse.org/committee/fse-2022-industry-program-committee), [USENIX ATC'22](https://www.usenix.org/conference/atc22/call-for-papers), [MSR'22](https://conf.researchr.org/home/msr-2022), [ASE'22](https://conf.researchr.org/committee/ase-2022/ase-2022-industry-showcase-program-committee)
9091
- [AIDB'21](https://sites.google.com/view/aidb2021/home/program-commitee), [MAPS'21](https://pldi21.sigplan.org/home/maps-2021)

0 commit comments

Comments
 (0)