Shetal Shah

According to our database, Shetal Shah authored at least 20 papers between 2002 and 2024.

Collaborative distances:

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

2024

Tractable representations for Boolean functional synthesis.

S. Akshay, Supratik Chakraborty, Shetal Shah

Ann. Math. Artif. Intell., October, 2024

2023

Learning Monitor Ensembles for Operational Design Domains.

Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2021

Boolean functional synthesis: hardness and practical algorithms.

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah

Formal Methods Syst. Des., 2021

Synthesizing Pareto-Optimal Interpretations for Black-Box Models.

Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia

Proceedings of the Formal Methods in Computer Aided Design, 2021

2019

Knowledge Compilation for Boolean Functional Synthesis.

S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

What's Hard About Boolean Functional Synthesis?

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Towards Parallel Boolean Functional Synthesis.

S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Data generation for testing and grading SQL queries.

Bikash Chandra, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan

VLDB J., 2015

The XDa-TA system for automated grading of SQL query assignments.

Amol Bhangdiya, Bikash Chandra, Biplab Kar, Bharath Radhakrishnan, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan

Proceedings of the 31st IEEE International Conference on Data Engineering, 2015

Skolem Functions for Factored Formulas.

Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay

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

2014

Data Generation for Testing and Grading SQL Queries.

Bikash Chandra, Amol Bhangadia, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan

CoRR, 2014

2013

Extending XData to kill SQL query mutants in the wild.

Bikash Chandra, Bhupesh Chawda, Shetal Shah, S. Sudarshan, Ankit Shah

Proceedings of the Sixth International Workshop on Testing Database Systems, 2013

2011

Generating test data for killing SQL mutants: A constraint-based approach.

Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep Patidar, Bhanu Pratap Gupta, Devang Vira

Proceedings of the 27th International Conference on Data Engineering, 2011

2008

Handling Non-linear Polynomial Queries over Dynamic Data.

Shetal Shah, Krithi Ramamritham

Proceedings of the 24th International Conference on Data Engineering, 2008

2005

Streaming Data Dissemination Using Peer-Peer Systems.

Shetal Shah, Krithi Ramamritham

Proceedings of the Stream Data Management, 2005

Client Assignment in Content Dissemination Networks for Dynamic Data.

Shetal Shah, Krithi Ramamritham, Chinya V. Ravishankar

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

2004

Resilient and Coherence Preserving Dissemination of Dynamic Data Using Cooperating Peers.

Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy

IEEE Trans. Knowl. Data Eng., 2004

Construction of a Coherency Preserving Dynamic Data Dissemination Network.

Shweta Agrawal, Krithi Ramamritham, Shetal Shah

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

2003

An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data.

Shetal Shah, Shyamshankar Dharmarajan, Krithi Ramamritham

Proceedings of 29th International Conference on Very Large Data Bases, 2003

2002

Maintaining Coherency of Dynamic Data in Cooperating Repositories.

Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy

Proceedings of 28th International Conference on Very Large Data Bases, 2002