Search Results for author: Sarat Chandra Varanasi

Found 6 papers, 0 papers with code

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP

no code implementations20 May 2023 Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

We present Locksynth, a tool that automatically derives synchronization needed for destructive updates to concurrent data structures that involve a constant number of shared heap memory write operations.

C++ code

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

no code implementations25 Aug 2022 Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos, Brendan Hall

In this paper, we leverage Answer Set Programming to encode the AMA safety code and automate compliance checks.

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming

no code implementations17 Sep 2021 Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior.

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

no code implementations10 Sep 2021 Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements.

SQuARE: Semantics-based Question Answering and Reasoning Engine

no code implementations22 Sep 2020 Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta

We introduce a general semantics-based framework for natural language QA and also describe the SQuARE system, an application of this framework.

Natural Language Understanding Question Answering

Cannot find the paper you are looking for? You can Submit a new open access paper.