6 citations · 17 across the 11 of their papers we have counts for
3 papers · 1 filter
Generating Concurrent Programs From Sequential Data Structure Knowledge
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
In this paper we tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent b…
SQuARE: Semantics-based Question Answering and Reasoning Engine
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin +1
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) and from its early days, it has received significant attention through questi…
Pointer Data Structure Synthesis from Answer Set Programming Specifications
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We develop an inductive proof-technique to generate imperative programs for pointer data structures from behavioural specifications expressed in the Answer Set Programming (ASP) fo…