activity
20122021
most citedA framework for the extraction of Deep Neural Networks by leveraging public data

40 citations · 85 across the 8 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

cs.SE2018

Active Learning for Efficient Testing of Student Programs

Ishan Rastogi, Aditya Kanade, Shirish Shevade

In this work, we propose an automated method to identify semantic bugs in student programs, called ATAS, which builds upon the recent advances in both symbolic execution and active…

cs.AI2018★ 22 cited

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…