Shetal Shah

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 14

Top Topics

Data Generation

Quantified Boolean Formulae

Top Venues

Publications

Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
Learning Monitor Ensembles for Operational Design Domains. RV (2023)
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD (2021)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
Boolean functional synthesis: hardness and practical algorithms. Formal Methods Syst. Des. 57 (1) (2021)
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR (2021)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. FMCAD (2019)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. CoRR (2019)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
What's Hard About Boolean Functional Synthesis? CAV (1) (2018)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
What's hard about Boolean Functional Synthesis. CoRR (2018)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
Towards Parallel Boolean Functional Synthesis. TACAS (1) (2017)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
Towards Parallel Boolean Functional Synthesis. CoRR (2017)
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
Skolem Functions for Factored Formulas. FMCAD (2015)
Amol Bhangdiya, Bikash Chandra, Biplab Kar, Bharath Radhakrishnan, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan
The XDa-TA system for automated grading of SQL query assignments. ICDE (2015)
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
Skolem Functions for Factored Formulas. CoRR (2015)
Bikash Chandra, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan
Data generation for testing and grading SQL queries. VLDB J. 24 (6) (2015)
Bikash Chandra, Amol Bhangadia, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan
Data Generation for Testing and Grading SQL Queries. CoRR (2014)
Bikash Chandra, Bhupesh Chawda, Shetal Shah, S. Sudarshan, Ankit Shah
Extending XData to kill SQL query mutants in the wild. DBTest (2013)
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep Patidar, Bhanu Pratap Gupta, Devang Vira
Generating test data for killing SQL mutants: A constraint-based approach. ICDE (2011)
Shetal Shah, Krithi Ramamritham
Handling Non-linear Polynomial Queries over Dynamic Data. ICDE (2008)
Shetal Shah, Krithi Ramamritham, Chinya V. Ravishankar
Client Assignment in Content Dissemination Networks for Dynamic Data. VLDB (2005)
Shweta Agrawal, Krithi Ramamritham, Shetal Shah
Construction of a Coherency Preserving Dynamic Data Dissemination Network. RTSS (2004)
Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy
Resilient and Coherence Preserving Dissemination of Dynamic Data Using Cooperating Peers. IEEE Trans. Knowl. Data Eng. 16 (7) (2004)
Shetal Shah, Shyamshankar Dharmarajan, Krithi Ramamritham
An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data. VLDB (2003)
Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy
Maintaining Coherency of Dynamic Data in Cooperating Repositories. VLDB (2002)