Maintaining Coherency of Dynamic Data in Cooperating Repositories. - Shetal Shah; Krithi Ramamritham; Prashant J. Shenoy (VLDB, 2002)

An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data. - Shetal Shah; Shyamshankar Dharmarajan; Krithi Ramamritham (VLDB, 2003)

Construction of a Coherency Preserving Dynamic Data Dissemination Network. - Shweta Agrawal; Krithi Ramamritham; Shetal Shah (RTSS, 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)

Client Assignment in Content Dissemination Networks for Dynamic Data. - Shetal Shah; Krithi Ramamritham; Chinya V. Ravishankar (VLDB, 2005)

Streaming Data Dissemination Using Peer-Peer Systems. - Shetal Shah; Krithi Ramamritham (Stream Data Management, 2005)

Handling Non-linear Polynomial Queries over Dynamic Data. - Shetal Shah; Krithi Ramamritham (ICDE, 2008)

Generating test data for killing SQL mutants: A constraint-based approach. - Shetal Shah; S. Sudarshan 001; Suhas Kajbaje; Sandeep Patidar; Bhanu Pratap Gupta; Devang Vira (ICDE, 2011)

Extending XData to kill SQL query mutants in the wild. - Bikash Chandra; Bhupesh Chawda; Shetal Shah; S. Sudarshan 001; Ankit Shah (DBTest, 2013)

Data Generation for Testing and Grading SQL Queries. - Bikash Chandra; Amol Bhangadia; Bhupesh Chawda; Biplab Kar; K. V. Maheshwara Reddy; Shetal Shah; S. Sudarshan 001 (CoRR, 2014)

Skolem Functions for Factored Formulas. - Ajith K. John; Shetal Shah; Supratik Chakraborty; Ashutosh Trivedi 001; S. Akshay 001 (FMCAD, 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 001 (ICDE, 2015)

Data generation for testing and grading SQL queries. - Bikash Chandra; Bhupesh Chawda; Biplab Kar; K. V. Maheshwara Reddy; Shetal Shah; S. Sudarshan 001 (VLDB J., 2015)

Towards Parallel Boolean Functional Synthesis. - S. Akshay 001; Supratik Chakraborty; Ajith K. John; Shetal Shah (TACAS (1), 2017)

What's Hard About Boolean Functional Synthesis? - S. Akshay 001; Supratik Chakraborty; Shubham Goel 001; Sumith Kulal; Shetal Shah (CAV (1), 2018)

Knowledge Compilation for Boolean Functional Synthesis. - S. Akshay 001; Jatin Arora 002; Supratik Chakraborty; Shankara Narayanan Krishna; Divya Raghunathan; Shetal Shah (FMCAD, 2019)

Synthesizing Pareto-Optimal Interpretations for Black-Box Models. - Hazem Torfah; Shetal Shah; Supratik Chakraborty; S. Akshay 001; Sanjit A. Seshia (FMCAD, 2021)

Boolean functional synthesis: hardness and practical algorithms. - S. Akshay 001; Supratik Chakraborty; Shubham Goel 001; Sumith Kulal; Shetal Shah (Formal Methods Syst. Des., 2021)

Learning Monitor Ensembles for Operational Design Domains. - Hazem Torfah; Aniruddha R. Joshi; Shetal Shah; S. Akshay 001; Supratik Chakraborty; Sanjit A. Seshia (RV, 2023)

Tractable representations for Boolean functional synthesis. - S. Akshay 001; Supratik Chakraborty; Shetal Shah (Ann. Math. Artif. Intell., 2024)