Extracting Equivalent SQL from Imperative Code in Database Applications. - K. Venkatesh Emani; Karthik Ramachandra 002; Subhro Bhattacharya; S. Sudarshan 001 (SIGMOD Conference, 2016)