Rahul Gupta

I am a graduate student at department of Computer Science & Automation, Indian Institute of Science, Bangalore. I work in Software Engineering and Analysis Lab (SEAL) with Dr. Aditya Kanade. I completed my B. Tech. in Computer Science and Engineering from Rajasthan Technical University, Kota, Rajasthan in 2011.

Research Interests

  • Program analysis and verification
  • Program repair
  • Programming education


  • DeepFix: Fixing common C language errors by deep learning. PDF
    Rahul Gupta, Soham Pal, Aditya Kanade, Shirish Shevade. AAAI 2017
  • Partial Order Reduction for Event-driven Multi-threaded Programs. PDF
    Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar. TACAS 2016


  • EM-Explorer is a proof-of-concept explicit state model checking framework which simulates the Android concurrency semantics given an execution trace of an Android application. It is instantiated with implementation of Vector-clock versions of two Partial Order Reduction (POR) techniques, 1) Dynamic POR (DPOR),  and 2) EM-DPOR (TACAS 2016 paper). The framework was tested on various popular Android application traces to compare the performance of above two POR techniques. It successfully showed that the latter is often orders of magnitude faster than the former.
  • DeepFix is an end to end deep learning based program repair framework for fixing common  programming errors (CPEs). DeepFix is capable of localizing and fixing multiple CPEs in a given C program of a limited size. It was tested on thousands of student programming assignment submissions. The tests demonstrated that DeepFix fixed many programs while taking only a few tens of milliseconds per program.

Teaching Assistance

  • noc17_ma04: Linear Algebra offered on NPTEL platform. (Spring '17)
  • E0219: Linear Algebra & Applications. (Fall '16)
  • E0239: Software Reliability Techniques. (Spring '16, '15)

Contact Information

Rahul Gupta
PhD candidate
Department of Computer Science & Automation,
Indian Institute of Science, Bangalore - 560012
email: rahulg on the iisc.ac.in domain

Last updated on Monday, July 10, 2016.