Sarat Chandra Varanasi

According to our database, Sarat Chandra Varanasi authored at least 26 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

CoRR, 2024

Formal Methods in Requirements Engineering: Survey and Future Directions.

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.

Sarat Chandra Varanasi, Baoluo Meng

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2023

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

Theory Pract. Log. Program., July, 2023

Logic-Based Explainable and Incremental Machine Learning.

Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta

Proceedings of the Prolog: The Next 50 Years, 2023

Prolog: Past, Present, and Future.

Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2023

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos

Proceedings of the Practical Aspects of Declarative Languages, 2023

Towards a Correct-by-Construction Design of Integrated Modular Avionics.

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

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

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

CoRR, 2022

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

LTL Model Checking using Coinductive Answer Set Programming.

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Tutorial: Automating Commonsense Reasoning.

Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

CASPR: A Commonsense Reasoning-based Conversational Socialbot.

Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta

CoRR, 2021

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

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

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

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

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Knowledge-driven Natural Language Understanding of English Text and its Applications.

Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Generating Concurrent Programs From Sequential Data Structure Knowledge.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

CoRR, 2020

SQuARE: Semantics-based Question Answering and Reasoning Engine.

Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Pointer Data Structure Synthesis from Answer Set Programming Specifications.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

CoRR, 2020

2019

Imperative Program Synthesis from Answer Set Programs.

Sarat Chandra Varanasi

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Synthesizing Imperative Code from Answer Set Programming Specifications.

Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Approximation and Heuristics for Community Detection.

Jing Yuan, Weili Wu, Sarat Chandra Varanasi

Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 2018