Publications

1. Zichen Xie, Mrigank Pawagi, Yuxin Liu, Aaditi Rai, Lize Shao, John Berberian Jr., Sicong Che and Wenxi Wang

   VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation

   Preprint Artifact

   Bib

   @misc{XieETAL26VeriContest,
       author = {Xie, Zichen and Pawagi, Mrigank and Liu, Yuxin and Rai, Aaditi and Shao, Lize and Berberian Jr., John and Che, Sicong and Wang, Wenxi},
       title = {{VeriContest: A} Competitive-Programming Benchmark for Verifiable Code Generation}, 
       year = {2026},
       eprint = {2605.08553},
       archivePrefix = {arXiv},
       primaryClass = {cs.SE},
       url = {https://arxiv.org/abs/2605.08553}, 
   }
   

2. Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun and Wenxi Wang

   RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications

   40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)

   Paper Poster Slides Video Artifact

   Bib

   @inproceedings{PawagiETAL25RFCScope,
       author = {Pawagi, Mrigank and Shao, Lize and Lee, Hyeonmin and Sun, Yixin and Wang, Wenxi},
       title = {{RFCScope: D}etecting Logical Ambiguities in Internet Protocol Specifications}, 
       booktitle = {2025 40th IEEE/ACM International Conference on Automated Software Engineering}, 
       year = {2025},
   }

3. Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Saurabh Sinha and Reyhaneh Jabbarvand

   AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation

   Proceedings of the ACM on Software Engineering (FSE 2025)

   Paper Artifact

   Bib

   @article{IbrahimzadaETAL25AlphaTrans,
       author = {Ibrahimzada, Ali Reza and Ke, Kaiyao and Pawagi, Mrigank and Abid, Muhammad Salman and Pan, Rangeet and Sinha, Saurabh and Jabbarvand, Reyhaneh},
       title = {{AlphaTrans: A} Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation},
       journal = {Proceedings of the ACM on Software Engineering},
       year = {2025},
   }

4. Muhammad Salman Abid, Mrigank Pawagi, Sugam Adhikari, Xuyan Cheng, Ryed Badr, Md Wahiduzzaman, Vedant Rathi, Ronghui Qi, Choiyin Li, Lu Liu, Rohit Sai Naidu, Licheng Lin, Que Liu, Asif Zubayer Palak, Mehzabin Haque, Xinyu Chen, Darko Marinov and Saikat Dutta

   GlueTest: Testing Code Translation via Language Interoperability

   IEEE International Conference on Software Maintenance and Evolution (ICSME 2024 NIER)

   Paper Artifact

   Bib

   @inproceedings{AbidETAL24GlueTest,
       author = {Abid, Muhammad Salman and Pawagi, Mrigank and Adhikari, Sugam and Cheng, Xuyan and Badr, Ryed and Wahiduzzaman, Md and Rathi, Vedant and Qi, Ronghui and Li, Choiyin and Liu, Lu and Naidu, Rohit Sai and Lin, Licheng and Liu, Que and Palak, Asif Zubayer and Haque, Mehzabin and Chen, Xinyu and Marinov, Darko and Dutta, Saikat}, 
       title = {{GlueTest: T}esting Code Translation via Language Interoperability}, 
       booktitle = {IEEE International Conference on Software Maintenance and Evolution},
       year = {2024},
   }

5. Mrigank Pawagi and Viraj Kumar

   Probeable Problems for Beginner-level Programming-with-AI Contests

   Proceedings of the 2024 ACM Conference on International Computing Education Research (ICER 2024)

   Paper Artifact

   Bib

   @inproceedings{PawagiKumar24Probeable,
       author = {Pawagi, Mrigank and Kumar, Viraj},
       title = {{P}robeable {P}roblems for Beginner-level Programming-with-{AI} Contests},
       booktitle = {Proceedings of the 2024 ACM Conference on International Computing Education Research},
       year = {2024},
   }

6. Mrigank Pawagi, Anirudh Gupta, Siddharth Reddy Rolla and Kintan Saha

   HinglishEval: Evaluating the Effectiveness of Code-Generation Models on Hinglish Prompts

   Computing Education Research (COMPUTE 2024)

   Paper Artifact

   Bib

   @inproceedings{PawagiETAL25HinglishEval,
       author = {Pawagi, Mrigank and Gupta, Anirudh and Rolla, Siddharth Reddy and Saha, Kintan},
       title = {{HinglishEval: E}valuating the Effectiveness of Code-Generation Models on Hinglish Prompts},
       booktitle = {Computing Education Research},
       year = {2025},
   }

7. Mrigank Pawagi and Viraj Kumar

   GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements

   Proceedings of the 16th Annual ACM India Compute Conference (COMPUTE 2023)

   Paper Slides Poster Artifact

   Bib

   @inproceedings{PawagiKumar23GuardRails,
       author = {Pawagi, Mrigank and Kumar, Viraj},
       title = {{GuardRails: A}utomated Suggestions for Clarifying Ambiguous Purpose Statements},
       booktitle = {Proceedings of the 16th Annual ACM India Compute Conference},
       year = {2023},
   }