Sarat Chandra Varanasi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 22

Top Topics

Commonsense Reasoning

Causal Theories

Answer Set Programming

Top Venues

ICLP Technical Communications

Publications

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE (2024)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. CoRR (2023)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. Theory Pract. Log. Program. 23 (4) (2023)
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD (2023)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). PADL (2023)
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL (2023)
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
Tutorial: Automating Commonsense Reasoning. ICLP Workshops (2022)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). PADL (2022)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. CoRR (2022)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
Knowledge-driven Natural Language Understanding of English Text and its Applications. AAAI (2021)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications (2021)
Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta
CASPR: A Commonsense Reasoning-based Conversational Socialbot. CoRR (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
Knowledge-driven Natural Language Understanding of English Text and its Applications. CoRR (2021)
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops (2021)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta
SQuARE: Semantics-based Question Answering and Reasoning Engine. ICLP Technical Communications (2020)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Pointer Data Structure Synthesis from Answer Set Programming Specifications. CoRR (2020)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge. CoRR (2020)
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
Synthesizing Imperative Code from Answer Set Programming Specifications. LOPSTR (2019)
Sarat Chandra Varanasi
Imperative Program Synthesis from Answer Set Programs. ICLP Technical Communications (2019)