Shetal Shah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. | Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2023 | RV | Learning Monitor Ensembles for Operational Design Domains. | Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia |
| 2021 | FMCAD | Synthesizing Pareto-Optimal Interpretations for Black-Box Models. | Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia |
| 2019 | FMCAD | Knowledge Compilation for Boolean Functional Synthesis. | S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah |
| 2018 | CAV | What's Hard About Boolean Functional Synthesis? | S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah |
| 2017 | TACAS | Towards Parallel Boolean Functional Synthesis. | S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah |
| 2015 | FMCAD | Skolem Functions for Factored Formulas. | Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay |
| 2015 | ICDE | 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 |
| 2013 | SIGMOD | Extending XData to kill SQL query mutants in the wild. | Bikash Chandra, Bhupesh Chawda, Shetal Shah, S. Sudarshan, Ankit Shah |
| 2011 | ICDE | Generating test data for killing SQL mutants: A constraint-based approach. | Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep Patidar, Bhanu Pratap Gupta, Devang Vira |
| 2008 | ICDE | Handling Non-linear Polynomial Queries over Dynamic Data. | Shetal Shah, Krithi Ramamritham |
| 2005 | VLDB | Client Assignment in Content Dissemination Networks for Dynamic Data. | Shetal Shah, Krithi Ramamritham, Chinya V. Ravishankar |
| 2004 | RTSS | Construction of a Coherency Preserving Dynamic Data Dissemination Network. | Shweta Agrawal, Krithi Ramamritham, Shetal Shah |
| 2003 | VLDB | An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data. | Shetal Shah, Shyamshankar Dharmarajan, Krithi Ramamritham |
| 2002 | VLDB | Maintaining Coherency of Dynamic Data in Cooperating Repositories. | Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy |