43 citations · 70 across the 4 of their papers we have counts for
5 papers
Phase Transition Behavior in Knowledge Compilation
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements of modern SAT solvers. Motivated by these prior studies of phase transit…
Deep Learning for Bug-Localization in Student Programs
Rahul Gupta, Aditya Kanade, Shirish Shevade
Providing feedback is an integral part of teaching. Most open online courses on programming make use of automated grading systems to support programming assignments and give real-t…
Deep Reinforcement Learning for Programming Language Correction
Rahul Gupta, Aditya Kanade, Shirish Shevade
Novice programmers often struggle with the formal syntax of programming languages. To assist them, we design a novel programming language correction framework amenable to reinforce…
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs
Pallavi Maiya, Rahul Gupta, Aditya Kanade +1
Event-driven multi-threaded programming is fast becoming a preferred style of developing efficient and responsive applications. In this concurrency model, multiple threads execute…
Time Temperature Superposition in Soft Glassy Materials
Rahul Gupta, Bharat Baldewa, Yogesh M. Joshi
Soft glassy materials are out of thermodynamic equilibrium and show time dependent slowing down of the relaxation dynamics. Under such situation these materials follow Boltzmann su…