Mrigank Pawagi

According to our database, Mrigank Pawagi authored at least 8 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation.

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

CoRR, May, 2026

2025

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

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

Proc. ACM Softw. Eng., 2025

RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications.

Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Repository-Level Compositional Code Translation and Validation.

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

CoRR, 2024

GlueTest: Testing Code Translation via Language Interoperability.

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, Saikat Dutta

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024

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

Mrigank Pawagi, Viraj Kumar

Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024

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

Mrigank Pawagi, Anirudh Gupta, Siddharth Reddy Rolla, Kintan Saha

Proceedings of the Computing Education Research - 17th Annual ACM India Compute Conference, 2024

2023

GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements.

Mrigank Pawagi, Viraj Kumar

Proceedings of the 16th Annual ACM India Compute Conference, 2023