About Me

I’m a first-year PhD student in the Department of Computer Science at Cornell University. My research interests broadly span Computer Systems, with the goal of creating reliable and secure software. I got my Bachelor’s degree in Computer Science from Habib University in 2022.

I was previously an undergraduate research intern in Software Engineering at the University of Illinois Urbana-Champaign, supervised by Darko Marinov and Saikat Dutta on improving the reliability of testing methodologies for code translations, particularly for programs written in Java. I also worked briefly with the Intelligent CAT Lab on validating code translation with LLMs.

Publications

  • 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, and Reyhaneh Jabbarvand
    ACM Conference on Foundations of Software Engineering (FSE’25), 2025
    [ARXIV] [Code]

  • 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
    40th International Conference on Software Maintenance and Evolution (ICSME NIER), 2024
    [PDF] [Code]

  • Fabric Sketch Augmentation & Styling via Deep Learning & Image Synthesis
    Omema Ahmed, Muhammad Salman Abid, Aiman Junaid, Syeda Saleha Raza
    Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART), 2023
    [PDF] [Code]

  • Automation of Fabric Pattern Construction using Genetic Algorithms
    Omema Ahmed, Muhammad Salman Abid, Aiman Junaid, Syeda Saleha Raza
    6th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence (ISMSI), 2022
    [PDF]

Work Experience

  • Senior Software Engineer
    Creditbook | Feb 2024 - August 2024
    • Owning multiple production environments on AWS (managed environments + CDNs)
    • Developing CreditBook’s core banking system & enabling effective real-time lending ops, the LMS
  • Software Engineer
    Creditbook | June 2022 - Feb 2024
    • Leading integration of production payment systems with JazzCash, Pakistan’s largest digital wallet provider.
    • Designing custom authorizers for serverless functions, enabling in-house integration with MongoDB’s Realm service